1.4. Field 


<The Detail of This Chapter.pdf>


(F, +) is a Abel group;

(F, *) is a Abel group;

(+, *) satisfy distributive law;

1 /= 0;

then, (F, +, *) is a field.