Coxeter group
しかしながら、あるクラスの代数系が与えられたとき、その構造論、特にそれらがいつ同型になるのかという問題は基本的かつ重要な問題のひとつであり、コクセター群も例外ではない。特に、コクセター群はコクセター図形という組合せ論的対象を用いて具体的に定義される群であり、計算機との相性もよく、具体的に計算できる群として重要な例である。コクセター群の重要性もあって、この問題の解決は近年特に重要視されている。