部分群であることの証明 のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 部分群であることの証明 へ行く。
  • 1 (2018-11-05 (月) 07:11:57)

(定理) 部分群であることの必要十分条件

仮定

• \( (G,\cdot) \) は群
• \( H \) は \( G \) の部分集合
• 任意の \( a, b \in H \) について、 \( a \cdot b^{-1} \in H \)

主張

\( (H, \cdot) \) は部分群

証明

1. (演算)
   仮定より、演算は定義されている。
2. (結合則)
   \( a, b, c \in H \) とする。 これらは \( G_1 \) の元でもあり、 \( G_1 \) 内では結合則が成り立っているので、 \( (ab)c = a(bc) \)
3. (単位元)
   \( a \in H \) のとき、仮定より、 \( a \cdot a^{-1} \in H \) となる。ところで \( aa^{-1} = e \) より、 \( e \in H \) 。
4. (逆元)
   上で、\( H \) に単位元が含まれていることは分かった。すると、任意の \( a \) について、仮定より、 \( e \cdot a^{-1} \) は \( H \) に含まれる。ところで \( e \cdot a^{-1} = a^{-1} \) より、 \( a^{-1} \in H \) 。