王世强
<正> 本文包含几个关于合同关系(congruence relation)的零星结果,目的是解答G.Birkhoff 的“格论”第二版(见参考文献[1],以下简称 LT_2)中两个简单的未解决的问题.文中所用的术语和符号,大都依照该书.关于代数系统上的合同关系,其意义可参看 LT_2的“代数前言”。由一个代数系统 A 上的两个合同关系θ,θ′可以在A上定义一个新的关系θθ′如下:a,b∈A时,aθθ′b 的意义是:有 c∈A使aθc,cθ′b.θθ′称为θ与θ′的乘积,它一般不是 A 上的合同关系.它能成为合同关系的必要且充分的条件是(很容易证):θθ′=θ′θ换言之,就是:当 a,b∈A 时,(0.1)若有 c∈A 使 aθc,cθ′b;就有 d∈A 使 aθ′d,dθb.并且(0.2)若有 e∈A 使 aθ′e,eθb;就有 f∈A 使 aθf,fθ′b.这时θ与θ′