コクセター群

数学においてコクセター群（コクセターぐん、英: Coxeter group）とは鏡映変換で表示できる抽象群のことである。ハロルド・スコット・マクドナルド・コクセターに因んで名づけられた。有限コクセター群は何らかの（たとえば一般次元正多胞体のなど）になっている。もちろん、すべてのコクセター群が有限群とは限らないし、すべてのコクセター群をユークリッド的な鏡映や対称変換として記述できるわけでもない。コクセター群はの抽象化として導入され、有限コクセター群の分類は完了している 。 コクセター群は数学のいくつもの分野に現れる。一般次元正多胞体のや単純リー代数のワイル群は有限コクセター群の例であり、ユークリッド平面やの (regular tessellation) に対応するや無限次元カッツ-ムーディ代数のワイル群は無限コクセター群の例である。 コクセター群に関する標準的な文献としては や などがある。