【代数学】部分群の定義 代数学 2025.12.13 部分群の定義 定義(部分群) $G$ を群とし,$H$ を $G$ の部分集合とする. $H$ が $G$ の二項演算について群になっているとき,$H$ を $G$ の部分群という. 代数学の関連記事 【代数学】群の定義 【代数学】可換群(アーベル群)の定義 【代数学】群の単位元の一意性 【代数学】群の逆元の一意性 【代数学】部分群の定義 【代数学】環の定義