23 / 98

正n多面体の各面が正q角形であるとする。
この多面体の回転群をGとすれば

G = nq


剰余類の復習してた。
こんなもん自明なんだけど、まあちょっと汎用化したらなんか良いよねぐらいのもんなんかな。