「ラグランジュの定理」「軌道の要素の数と商群の要素の数の関係」【代数学の基礎シリーズ】群論編 その15 https://for-spring.com/algebra/group-15/