代数系坡的理想的一些结果

本文介绍代数系坡的理想理论的主要结果。定义1代数系(P;+,·)称为坡是指1)(P;+)是一个半格;2)(P;·)是一个交换半群;3)a·(b+c)=a·b+a·c;4)a·b+a=a。若对于加法和乘法存在单位元,则称为具单位元的坡。本文仅讨论具单位元的坡。