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