位数 のバックアップ(No.1)


仮定

  • \( G \) は群
  • \( e ~(\in G) \) は単位元
  • \( a ~(\in G) \) は任意の元

定義

  • \( \#G \)\( G \) の元の数とする。
  • \( \#a \) を、 \( a^n = e \) なる最小の \( n \) とする。

これら二つを位数と言う。

\( G = \mathbb{Z}/4\mathbb{Z} \sim \{0, 1, 2, 3\} \) について、 \( \#G = 4 \) であり、 \( \#2 = 2 \) である。