generated at
field
の定義に、乗法に関する逆元を持ち込んだもの
0以外の要素で除法ができるのこと

定義
零環でない可換環で、0以外の元が単元であるもの





体の例
有理数体\mathbb{Q}
実数体\mathbb{R}
複素数体\mathbb{C}
有限体\mathbb{F}_p
\mathbb{Z}/5\mathbb{Z}.
ちなみに\mathbb{Z}/4\mathbb{Z}

参考