ガランガラのブログ
id:mathgara
初学者向け群論解説 その3 ~部分群について~
ここでは部分群の定義, 判定法などをまとめていきたいと思います. 早速定義から見ていきましょう. 定義 1.(部分群) を群とする. が の演算によって群になるとき, を の部分群という. 例を見る前に, 群の部分集合が部分群になっているかを判定する方法を紹介します. 命題 2.(部分群判定法) 群 の部分集合 が の部分群になる…