Def. Алгебраическая система с двумя бинарными операциями ” + ” и ” . ”, относительно каждой из которых - абелева группа, а также выполнено свойство дистрибутивности: называется полем.
Примечание
Для единицы по сложению (т.е. нулевого элемента) требование существования обратного отсутствует