「正二十面体群は5次交代群と同型①」【代数学の基礎シリーズ】群論編 その48 https://for-spring.com/algebra/group-48/