コクセター群
歴史的には で任意の鏡映群がコクセター群であること（すなわち任意の鏡映群に対して、基本関係が "r""i"2 または ("r""i""r""j")k で尽くされるような表示ができること）が示されており、実際この論文でコクセター群の概念が導入されている。逆に で有限コクセター群が必ず何らかの鏡映群として表現できることが示されており、したがってこれで有限コクセター群の分類は終了している。