Иными словами, множество
F с двумя бинарными операциями
(
сложение) и
(
умножение) называется
полем, если оно образует
коммутативную группу по сложению, все его ненулевые элементы образуют коммутативную группу по умножению, и выполняется свойство
дистрибутивности.