「域 (代數)」：各本之異

*'''乘法'''者, 集<math>F - {0}</math>上之一[[群]]結構也, 以1為其單位元, <math>\times</math>為其號<ref>吾人每為行文簡便故，省略此號。</ref>;

:此二運算之單位元相異, 即, 0 ≠ 1, 且二運算間滿足:

:任取F之元素a,b,c , 恆有 a<math>\times</math>(b + c) = (a<math>\times</math>b) + (a<math>\times</math>c) 且 (b + c)<math>\times</math>a = (b<math>\times</math>a) + (c<math>\times</math>a)

吾人復可證得：