Множество K на котором определены две бинарные операции "+" - сложение и "∙" - умножение, удовлетворяющие следующим аксиомам:
1) (K;+) - абелева группа;
2) умножение ассоциативно;
∀a,b,c∈K (ab)c=a(bc);
3) умножение дистрибутивно относительно сложения
∀a,b,c∈K (a+b)c=ac+bc и a(b+c)=ab+ac ;
называется ... .