체

집합 $F$에 이항연산 $+,\cdot$가 주어졌을 때, $(F,+,\cdot )$가 다음 성질

1. 임의의 $x,y\in F$에 대해 $x+y=y+x$
2. 임의의 $x,y,z\in F$에 대해 $x+(y+z)=(x+y)+z$
3. $e\in F$가 존재해 임의의 $x\in F$에 대해 $x+e=x$
4. 임의의 $x\in F$에 대해 $x+y=e$인 $y\in F$가 존재
5. 임의의 $x,y\in F$에 대해 $x\cdot y=y\cdot x$
6. 임의의 $x,y,z\in F$에 대해 $x\cdot (y\cdot z)=(x\cdot y)\cdot z$
7. $e'\in F\setminus \{e\}$가 존재해 임의의 $x\in F$에 대해 $x\cdot e'=x$
8. 임의의 $x\in F\setminus \{e\}$에 대해 $x\cdot y=e'$인 $y\in F$가 존재
9. 임의의 $x,y,z\in F$에 대해 $x\cdot (y+z)=x\cdot y+x\cdot z$

을 만족하면 체(field)라고 한다. 이때 체에서 $e$와 $e'$는 유일하며, 각각 $0$과 $1$로 쓰기도 한다.