一類廣義正則半環上同余的特征

喬占科

(蘇州科技大學數學系,江蘇蘇州 215009)

一類廣義正則半環上同余的特征

喬占科

(蘇州科技大學數學系,江蘇蘇州 215009)

在半環中引入了一類理想的概念,討論了這類理想的性質,并研究了一類廣義正則半環上的同余,給出了這類半環上一種半環同余的特征.

半環同余;半環理想;分配半環

1 引言及預備知識

文[1-2]分別給出正則半群和擬正則半群上的同余,文[3]研究了一類正則半環上的同余.在此基礎上,本文通過研究半環理想,給出了一類廣義正則半環上同余的特征.

設非空集S有兩個代數運算,分別為加法“+”和乘法“·”,如果(S,+)和(S,·)均為半群且乘法對加法滿足分配律,即對任意a,b,c∈S有a(b+c)=ab+ac,(b+c)a=ba+ca.則稱S是半環.

設S是半環,如果對任意a,b,c∈S有ab+c=(a+c)(b+c),a+bc=(a+b)(a+c),則稱半環S是分配的;如果(S,·)是群,則稱S是可除半環.

設ρ是半環S上的等價關系,如果ρ同時是半群(S,+)和(S,·)上的同余,則稱ρ是半環S上的同余.半環S上的同余ρ如果使(S/ρ,·)是群,則稱ρ為可除半環同余.

設S是半環,如果半群(S,·)中每個元a都有正整數n使an正則,則稱半環S是擬正則的.在擬正則半環S中,對S中每個元a,使得an正則的最小正整數稱為a的正則指數.以RegS表示擬正則半環中乘法正則元集.a∈RegS,V(a)表示a的乘法逆元集.

本文所涉及到的其他術語和記號如未特別說明均見文[4-7].

2 主要結果

在本節中,半環S均指分配半環且(S,+)交換,(S,·)擬正則.對S中每個元a,凡出現an均指an正則且n是a的正則指數.(an)0∈V(a).

設H是半環S的子半環,如果(H,+)是(S,+)的理想,則稱H是半環S的理想.設H是S的理想,如果?H,則稱H是滿的.

(11)HaH∩HbH/=?.

這就證明了(5)到(11)均等價.因為(1)與(9)等價,因此上述十一條等價.

注如果U是S上的最小滿的、自共軛的閉理想,則定理對U也成立.

定理2.2設H是半環S上的滿的、自共軛的閉理想,定義(a,b)∈ρH,當且僅當符合定理1中的任意一條,則ρH是半環S上的可除半環同余.

證明利用文[3]和定理1即得.

[1]Latorre D R.Group congruences on regular semigroups[J].Semigroup Forum,1982,24:327-340.

[2]Hanumantha Rao S.Group congruences on eventually regular semigroups[J].J.Austral Math.Soc.,1988, 45:320-325.

[3]Li Shizheng,Li Shanhai,Yu Xiaoming.The least distributive lattice congruence on commutative distributive semiring[J].Chin.Quart.J.of Math.,2003,18(1):35-37.

[4]Howie J M.An Introduction to Semigroup Theory[M].London:Acadmic press,1976.

[5]Pastijn F,Guo Y.The lattice of idempotent distributive semiring varieties[J].Science in China,1999,42(8): 785-804.

[6]潭香,李剛,張玉芬.正則半群上的矩形群同余[J].純粹數學與應用數學,2002,18(2):161-164.

[7]Ghosh S M.Another note on the least lattice congruences on an idempotent commutatives semirings[J]. Soochow J.Math.,1996,22(3):357-362.

Some characterizations of the congruence on a generalized regular semiring

QIAO Zhan-ke
(Department of Mathematics,Suzhou University of Science and Technology,Suzhou 215009,China)

The concept of an ideal on a semiring is introduced,the properties of the ideal are discussed and the congruence on a generalized regular semiring is studied,some characterizations of a congruence on the semiring are given.

semiring congruence,semiring ideal,distributive semiring

O152.7

A

1008-5513(2009)03-0475-03

2008-02-29.

蘇州科技大學重點學科基金資助.

喬占科(1960-),副教授,研究方向：半群理論.

2000MSC:20M17