定義テンプレート の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 定義テンプレート へ行く。

* 仮定 [#c9335d3b]

- &mathjax{G}; は群
- &mathjax{H (<G)}; は &mathjax{G}; の部分群

* 定義 [#cd8b54cb]

&mathjax{H}; の任意の元 &mathjax{h~(\in H)}; が、 &mathjax{G}; の任意の元 &mathjax{g ~(\in G)}; に対して &mathjax{ghg^{-1} \in H}; を満たすなら、 &mathjax{H}; は &mathjax{G}; の正規部分群であるといい &mathjax{H \lhd G}; と表す。

* 例 [#ae2093c7]

- 可換な群 (Abel 群) なら、どんな部分群も正規 (それはそう) 。