「生成元と関係式で定義された群とその性質」【代数学の基礎シリーズ】群論編 その30 https://for-spring.com/algebra/group-30/