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


仮定

定義

  • \( + \) に対する単位元 \( 0_R \) 以外の任意の元 \( a \) で、乗法についての逆元 \( a^{-1}: aa^{-1} = a^{-1}a = 1_R \) がある。

\( \mathbb{Q}, \mathbb{R}, \mathbb{C} \) は体になる。

\( \mathbb{Z} \) は体ではない。なぜなら、たとえば \( 2 \) に対する逆元が存在しないから。