>>81
>exp(i)で生成される群
の意味を理解していないことは分かりました。