群の表示
ティーツェ変換
Schreierアルゴリズム(英語版): 部分群の表示を求めるアルゴリズム