ここでは部分群の定義, 判定法などをまとめていきたいと思います. 早速定義から見ていきましょう. 定義 1.(部分群) を群とする. が の演算によって群になるとき, を の部分群という. 例を見る前に, 群の部分集合が部分群になっているかを判定する方法を紹介…