2008-12-15 23 / 98 数学 群論 正n多面体の各面が正q角形であるとする。 この多面体の回転群をGとすれば G = nq 剰余類の復習してた。 こんなもん自明なんだけど、まあちょっと汎用化したらなんか良いよねぐらいのもんなんかな。