王雷波,方捷

(廣東技術(shù)師范學(xué)院計(jì)算機(jī)科學(xué)學(xué)院,廣州 廣東 510665)

雙重偽補(bǔ)代數(shù)的假值理想的一點(diǎn)注記

王雷波,方捷

(廣東技術(shù)師范學(xué)院計(jì)算機(jī)科學(xué)學(xué)院,廣州 廣東 510665)

介紹了雙重偽補(bǔ)代數(shù)的假值理想和假值同余的概念,并刻畫了它們的某些性質(zhì).特別地,給出了雙重偽補(bǔ)代數(shù)的假值理想和假值同余的特征表示.

雙重偽補(bǔ)代數(shù);假值理想;假值同余

1 引言

2 主要結(jié)果

表2 定義一元運(yùn)算“*”和“+”

圖1 雙重偽補(bǔ)代數(shù)L

為了刻畫雙重偽補(bǔ)代數(shù)的假值理想,需要下面的引理.

[1]Blyth T S,Varlet J C.Ockham Algebras[M].Oxford:Oxford University Press,1994.

[2]Rodrigues P J V,Silva H J.Ockham congruences whose quotient algebras are boolean[J].Communications in Algebra,2003,31:5391-5404.

[3]Adams M E,Katri?n′ak T.A note on subdirectly irreducible double p-algebras[J].J.Austral.Math.Soc., 1983,35:46-58.

[4]Beazer R.The determination congruence on double p-algebras[J].Algebra Universalis,1976,6:121-129.

[5]Davey B A.Subdirectly irreducible distributive double p-algebras[J].Algebra Universalis,1978,8:73-88.

[6]Varlet J C.Regularity in double p-algebras[J].Algebra Universalis,1984,18:95-105.

A note on the falsity ideals of a double pseudocomplemented algebra

Wang Leibo,Fang Jie
(School of Computer Sciences,Guangdong Polytechnic Normal University,Guangzhou 510665,China)

In this note,we introduce two notions of the falsity ideal and falsity congruence on a distributive double pseudocomplemented algebra,and describe some properties of falsity ideals and falsity congruences.In particular,we give a description of falsity ideals and falsity congruences on a distributive double pseudocomplemented algebra.

double pseudocomplemented algebra,falsity ideal,falsity congruence

O153.1

A

1008-5513(2012)01-0119-04

2010-09-14.

廣州技術(shù)師范學(xué)院科研基金.

王雷波(1983-),碩士,研究方向:格論與有序代數(shù).

2010 MSC:06D30