【代数学】部分群の定義

部分群の定義

定義(部分群)

$G$ をとし,$H$ を $G$ の部分集合とする.

$H$ が $G$ の二項演算について群になっているとき,$H$ を $G$ の部分群という.

代数学の関連記事

タイトルとURLをコピーしました