コクセター群
ウィキペディア フリーな encyclopedia
数学においてコクセター群(コクセターぐん、英: Coxeter group)とは鏡映変換で表示できる抽象群のことである。ハロルド・スコット・マクドナルド・コクセターに因んで名づけられた。有限コクセター群は何らかのユークリッド鏡映群(たとえば一般次元正多胞体の対称変換群など)になっている。もちろん、すべてのコクセター群が有限群とは限らないし、すべてのコクセター群をユークリッド的な鏡映や対称変換として記述できるわけでもない。コクセター群は鏡映群の抽象化として導入され(Coxeter 1934)、有限コクセター群の分類は完了している(Coxeter 1935) 。
![]() | この項目「コクセター群」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:en:Coxeter group 03:41, 11 August 2011) 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。(2011年8月) |
コクセター群は数学のいくつもの分野に現れる。一般次元正多胞体の対称変換群や単純リー代数のワイル群は有限コクセター群の例であり、ユークリッド平面や双曲平面の正則三角形分割 (regular tessellation) に対応する三角群や無限次元カッツ-ムーディ代数のワイル群は無限コクセター群の例である。
コクセター群に関する標準的な文献としては (Humphreys 1990) や (Davis 2007) などがある。