「準同型定理(部分群の対応)の証明」【代数学の基礎シリーズ】編 その6 https://for-spring.com/algebra/group-6/