群 のバックアップ(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• 群 へ行く。
  • 1 (2018-11-02 (金) 22:04:29)
  • 2 (2019-04-23 (火) 14:45:53)

定義

集合 \( G \) が次の条件を満たすとき、 \( G \) は群であるという。

1. \( G \) の任意の 2 つの元 \( a, b \) に対して、二項演算 (積) \( \cdot : G \times G \longrightarrow G \) が定義されている。
2. 3 つの元 \( a, b, c \) に対して、結合則 \( a(bc) = (ab)c \) が成り立つ。
3. 単位元 \( e \) があり、任意の \( g \in G \) に対して \( ge = eg = g \) が成り立つ。
4. 任意の元 \( g \) に対し、逆元 \( g^{-1} \) があり、 \( gg^{-1} = g^{-1}g = e \) が成り立つ。

一般に、積に対して可換性 \( ab = ba \) は要求しない。積が可換である場合、 可換群あるいは Abel 群と呼ぶことがある。
逆元は一意的であり、単位元も一意的である。