Иными словами, множество
F с двумя бинарными операциями
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=2346)
(
сложение) и
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=3379)
(
умножение) называется
полем, если оно образует
коммутативную группу по сложению, все его ненулевые элементы образуют коммутативную группу по умножению, и выполняется свойство
дистрибутивности.