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