しかし有限群を生成元の規則で定義したときに、
2つの有限群が一致するかとか、例えば自明かどうかを決定する
一般的な手続きは存在しないそうだから、
それと多様体の基本群との関係を考えたとき、
どういうことになっているのかと思う。