Почтикольцо: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м спутал левое и правое (сено -- солома)
м Хорошо стало после орфографических правок
Строка 1:
'''ПочтикольцоПочти кольцо''' — [[Алгебра (универсальная алгебра)|алгебра]] <math>\langle R, \cdot , +\rangle</math>, [[бинарная операция|бинарные операции]] сложения и умножения в которой обладают свойствами:
# <math>\langle R, +\rangle</math> — [[группа (математика)|группа]] (не обязательно [[абелева группа|абелева]]);
# <math>\langle R,\cdot\rangle </math> — [[полугруппа]];
# <math>\forall x, y, z \in R</math> выполнено: <math>( x + y ) z = xz + yz</math>.
 
В качестве примера почтикольцапочти кольца можно рассмотреть <math>R = F\times F </math>, где <math>F</math> — произвольное [[Поле (алгебра)|поле]]. Умножение на парах <math>(x_1,x_2), (y_1,y_2)\in R</math> определяется в виде:
: <math>(x_1,x_2) \cdot (y_1,y_2)=(x_1y_1,x_1y_2+x_2)</math>,
а аддитивная операция:
: <math>(x_1,x_2) + (y_1,y_2)=(x_1+y_1,x_2+y_2)</math>.
 
В некоторых случаях рассматривается '''левое почтикольцопочти кольцо''', в котором в отличие от (правого) почтикольцапочти кольца дистрибутивный закон наложен следующим образом:
* <math>z(x+y) = zx + zy</math>.
 
ПочтикольцаПочти кольца могут быть рассмотрены как специальный случай [[Мультиоператорная группа|мультиоператорных групп]], наделённых одной бинарной ассоциативной операцией умножения в дополнительной сигнатуре, для которой выполнено свойство левой или правой дистрибутивности относительно аддитивной группы.
 
== Литература ==