Coxeter group
コクセター群は鏡映群の概念と深く結びついている。単純に見ると、コクセター群が（生成元と基本関係によって与えられる）抽象群である一方、鏡映群は（線型代数群の部分群またはその適当な一般化として与えられる）具体群である。実際、コクセター群は鏡映群の研究の過程でその抽象化として生まれたものである。鏡映群は鏡映（つまり位数 2 の合同変換）で生成される線型代数群の部分群であり、他方のコクセター群は対合（つまり位数 2 の変換、鏡映の抽象化）で生成されるが、これらの間の対応はある決まった仕方で与えられる（基本関係 ("r""i""r""j")k は π/"k" の角度で交わる超平面に対応しており、"r""i""r""j" の位数が "k" であるということが 2π/"k" の回転の抽象化になっている）。