论文部分内容阅读
一个伪补代数Ockham代数,是指一个<2,2,1,1,1,0,0>类型的代数(L;∧,∨,f,k,*,0,1).其中(L;∧,∨,f,k,0,1)是扩张 Ockham 代数,(L;∧,∨,*,0,1)是伪补代数,而且一元运算x(?)f(x),x(?)k(x)和x(?)x*可相互交换.特别地,若(L;∧,∨,f,k,0,1)是e2,0K1,1-代数(即一个扩张Ockham代数,其中偶自同态f和自同态k分别满足f3=f和k2=idL),则称(L;∧,∨,f,k,*,0,1)为伪补e2,0K1,1-代数(或称pe2,0K1,1-代数).它是伪补扩张Ockham代数中的一个重要的子代数类.在本硕士论文中,主要研究了这类代数的同余关系和代数的次直不可约性.有如下的主要结论:[定理3.2.2]设(L;° +,*)∈pe2,0K1,1.则下列论断成立:(1)G=ω(?)(L;*)是布尔代数;(2)Φ =ω((?)x∈L)x**=x°° =x ++;(3)Φ = G(?)((?)x∈L)x**=x°°.这里,Φ和G是由下面所定义的L上的两个同余:(x,y)∈Φ(?)x°=y°;(x,y)∈G(?)x*=y*.[定理3.2.3]若(L;°,+,*)∈pe2,0K1,1,及a,b∈L并且a≥b,则θ(a,b)= θ。(a,b)∨θ。(a+,b+)∨θ*(a,b)∨θ(a+,b+)= θlat(a,b)∨θlat(b°,a°)∨θlat(a°°,b°°)∨ θlat(a+,b+)∨θlat(b+°,a+°)∨θlat(a+°°,b+°°)∨θlat(at(a ∧b)*,1)∨θlat((a*∧b)*+,1).[定理4.1.4]设L∈pe2,0K1,1.则L是真次直不可约当且仅当Con L ≈{ω}(?)[G,Φ](?){τ }.其中ω和τ分别表示相等关系和泛关系.[定理4.2.2]如果L∈pe2,0K1,1为次直不可约,则|(L)|≤16.这里S(L)= {x∈L|x°°=x}.