コクセター群
鏡映群、コクセター群は、（位数 2 の元という意味での）対合からなる生成系を持つ群である。