体
$ \Bbb Qを一般化したような構造
集合$ Fと$ F上の二項演算$ +:F\times F\to F,\cdot:F\times F\to Fにて、以下を満たす組$ (F,+,\cdot)を体と呼ぶ 3. $ (F\setminus\{0_F\},\cdot)が可換群をなす 4. 分配法則:$ \forall a,b,c\in F;a\cdot(b+c)=a\cdot b+a\cdot c 5. $ 0_F\neq 1_F
$ 1_F:$ (F,\cdot)の単位元
両側単位元かどうかは知らない
$ 0_F= 1_Fな可換群も考え得るが、都合が悪いので通常は仮定するらしい
$ (F\setminus\{0_F\},\cdot)が可換群をなす環であるとも言える