Почтикольцо — алгебра ${\displaystyle \langle R,\cdot ,+\rangle }$ , бинарные операции сложения и умножения в которой обладают свойствами:

1. ${\displaystyle \langle R,+\rangle }$ — группа (не обязательно абелева );
2. ${\displaystyle \langle R,\cdot \rangle }$ — полугруппа ;
3. ${\displaystyle \forall x,y,z\in R}$ выполнено: ${\displaystyle (x+y)z=xz+yz}$ .

В качестве примера почтикольца можно рассмотреть ${\displaystyle R=F\times F}$ , где ${\displaystyle F}$ — произвольное поле . Умножение на парах ${\displaystyle (x_{1},x_{2}),(y_{1},y_{2})\in R}$ определяется в виде:

${\displaystyle (x_{1},x_{2})\cdot (y_{1},y_{2})=(x_{1}y_{1},x_{1}y_{2}+x_{2})}$ ,

а аддитивная операция:

${\displaystyle (x_{1},x_{2})+(y_{1},y_{2})=(x_{1}+y_{1},x_{2}+y_{2})}$ .

В некоторых случаях рассматривается левое почтикольцо , в котором, в отличие от (правого) почтикольца, дистрибутивный закон наложен следующим образом:

• ${\displaystyle z(x+y)=zx+zy}$ .

Почтикольца могут быть рассмотрены как специальный случай мультиоператорных групп , наделённых одной бинарной ассоциативной операцией умножения в дополнительной сигнатуре, для которой выполнено свойство левой или правой дистрибутивности относительно аддитивной группы.

Литература

• Артамонов В. А. . Глава VI. Универсальные алгебры // Общая алгебра / Под общ. ред. . — М. : Наука , 1991. — Т. 2. — С. 295—367. — 480 с. — (Справочная математическая библиотека). — 25 000 экз. — ISBN 5-9221-0400-4 .