亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        The Closed Subsemigroups of a Cli ff ord Semigroup

        2014-03-02 11:52:10

        (College of Mathematics and Information Science,Jiangxi Normal University, Nanchang,330022)

        The Closed Subsemigroups of a Cli ff ord Semigroup

        FU YIN-YIN AND ZHAO XIAN-ZHONG

        (College of Mathematics and Information Science,Jiangxi Normal University, Nanchang,330022)

        Communicated by Du Xian-kun

        semilattice,closed subsemigroup,Cli ff ord semigroup

        1 Introduction

        By a semiring we mean a type〈2,2〉algebra(S,+,·)satisfying the following identities:

        (SR1)x+(y+z)≈(x+y)+z;

        (SR2)x(yz)≈(xy)z;

        (SR3)x(y+z)≈xy+xz,(x+y)z=xz+yz.

        The power semiring of a semigroupSand the closed subsemigroups ofSare introduced and studied by Zhao[1].By studying of the power semiring of an idempotent semigroupSand the closed subsemigroups of an idempotent semigroupS,in[2–3],Pastijnet al.obtained the lattice of all subvarieties of the variety consisting of the semiringsSfor which(S,+)is a semilattice and(S,·)is an idempotent semigroup(the concepts of lattices and varietiesare introduced in[4]).This lattice is distributive and contains 78 varieties precisely.Each of those is fi nitely based and generated by a fi nite number of fi nite ordered bands.

        LetSbe a semigroup andP(S)the set of all nonempty subsets ofS.ForA,B∈P(S), we de fi ne

        Then(P(S),∪,?)becomes a semiring,which is called the power semiring ofS.A subsemigroupCof a semigroupSis said to be closed(see[1])if

        holds for alla,b∈S,s,t∈S1.The set of all closed subsemigroups ofSis denoted byP(S).

        LetSbe a semigroup andAa nonempty subset ofS.denotes the closed subsemigroup ofSgenerated byA,i.e.,the smallest closed subsemigroup ofScontainingA.De fi ne inductively(see[1])setsA(i)(i≥1)as follows:A(1)is the subsemigroup ofSgenerated byA;for anyi≥1,A(i+1)is the subsemigroup ofSgenerated by the set

        LetSbe a semigroup andthe set of all closed subsemigroups ofS.ThenP(S) becomes a semiring equipped with the addition and the multiplication as follows:

        Also,it is easy to see that the mapping

        is a semiring homomorphism.The kernel ofτwas written asρin[1].That is to say,

        2 Closed Subsemigroup

        Theorem 2.1Let G be a group and1the identity element of G.Then

        Proof.We fi rst prove that=G.It is obvious that{1}?G.Also,since 1=1aa?1for anya∈G,we havea=1aaa?1by the de fi nition of closed subsemigroups.

        That is to say,.So it follows that=G.

        In the following we prove that=Gfor everyA∈P(G).Since 1∈A?G,we haveThus it follows thatTherefore

        Since

        we have immediately that

        This completes the proof.

        By Theorem 2.1,immediately,we have

        Corollary 2.1Let G be a group.Then ρ=?,where?denotes the universal relation on G.

        By the de fi nition of closed subsemigroups,it is easy to see that every subsemilattice of a semilattice is closed.Thus we have immediately

        Theorem 2.2Let Y be a semilattice and Y′a nonempty subset of Y.Then

        where〈Y′〉denotes the subsemilattice of Y generated by Y′.

        Lemma 2.1Let S=[Y;Gα;?α,β]be a Cli ff ord semigroup.Then

        Proof.Denote bya?1the inverse ofainGα,and denote by 1αthe identity element ofGα,whereα∈Yanda∈Gα.Sincea=aa?1for anya∈Gα,we have 1α=aa?1a?1a∈{a}by the de fi nition of closed subsemigroups.Givenb∈Gα,since 1α=b?1b1α∈we haveb=b?1bb1α∈This implies thatGα?On the other hand,it is clear thatGαis a semigroup ofScontaininga.In the following we prove thatGαis closed.Suppose thatsat,sbt∈Gαfor somea,b∈S,s,t∈S1.Consider the following cases:

        (1)Ifs=1 andt=1,it is easy to see thatsabt=ab∈Gα;

        (2)Ifs≠1 andt=1,then there existμ,ν,γ∈Ysuch thata∈Gμ,b∈Gν,s∈Gγ. Thus we have

        and

        It follows immediately thatα=γμ=γνsincesat,sbt∈Gα.Hence,we can show thatα=γμν,and so

        (3)Ifs=1 andt≠1,then we can similarly prove thatsabt=abt∈Gα;

        (4)Ifs≠1 andt≠1,i.e.,s,t∈S,then there existμ,ν,γ,δ∈Ysuch thata∈Gμ,b∈Gν,s∈Gγ,t∈Gδ.Thus we have

        and

        It follows immediately thatα=γμδ=γνδsincesat,sbt∈Gα.Hence,we can show thatα=γμνδ,and so

        Lemma 2.2Let S=[Y;Gα;?α,β]be a Cli ff ord semigroup and A a nonempty subset of S.Then

        where

        as required.

        Lemma 2.3Let S=[Y;Gα;?α,β]be a Cli ff ord semigroup and Y′a nonempty subset of Y.Then

        whereY′denotes the closed subsemigroup of Y generated by Y′.

        Consider the following cases:

        (1)Ifs=1 andt=1,then it is easy to see that

        (2)Ifs≠1 andt=1,then there existα,β,γ∈Ysuch thata∈Gα,b∈Gβ,s∈Gγ. Thus we have

        and

        (3)Ifs=1 andt≠1,then we can similarly prove that

        (4)Ifs≠1 andt≠1,i.e.,s,t∈S,then there existα,β,γ,δ∈Ysuch thata∈Gα,b∈Gβ,s∈Gγ,t∈Gδ.Thus we have

        and

        This implies thatGα∩A≠?.Givena∈Gα∩A,we have

        by Lemma 2.1,and so

        as required.

        Theorem 2.3Let S=[Y;Gα;?α,β]be a Cli ff ord semigroup and A a nonempty subset of S.Then

        That is to say,

        We showed by Theorem 2.2 thatis the set of all subsemilattices of a semilatticeY.Also it is shown by Theorem 2.3 that

        for a Cli ff ord semigroupS=[Y;Gα;?α,β].Furthermore,we prove that the semiringP(S)is isomorphic to the semiringfor a Cli ff ord semigroupS=[Y;Gα;?α,β].The following Lemma 2.4 is needed.

        Proof.Let

        and

        Then we need to prove thatDis a subsemilattice ofYgenerated byI.

        It is obvious thatI?D.Also,it is easy to verify thatDis a subsemilattice ofY.In fact,for anyα,β∈D,one has

        Thenαβ∈D,and we have

        Suppose thatCis a subsemilattice ofYcontainingI.To proveD?C,we only need to prove by induction that

        since

        First,consider the casei=1.For any

        one has

        Assume thata=a1a2···as,wheream∈A(1≤m≤s).SinceA∈P(S),there existu1,u2,···,us∈Ysuch that

        It follows immediately thatum∈I(1≤m≤s),and sou1u2···us∈C.Since

        anda∈Gα,we getα=u1u2···us∈C.This shows that

        Next,assume that

        We prove that

        For anyα∈{α∈Y|Gα∩A(i+1)≠?},we have

        Then

        by the de fi nition of the setA(i+1)in[1].Let

        Consider the following cases:

        (1)Ifa∈A(i),it is obvious thatα∈C;

        (2)Ifa∈K,then we can saya=scdt,wheresct,sdt∈A(i),c,d∈S,s,t∈S1.SinceA(i)∈P(S),there existμ,ν∈Ysuch thatsct∈Gμ∩A(i)andsdt∈Gν∩A(i).It is easy to see thatμ,ν∈C.So we havea=scdt∈Gμνby the proof of Lemma 2.3.Sincea∈Gα, we haveα=μν∈C;

        (3)Ifa?H,then we havea=a1a2···asfor someai∈H(1≤i≤s).SinceH∈P(S), there exist anαi∈Ysuch that

        It follows from(1)and(2)that

        Then

        Thus we haveα=α1α2···αs∈Csincea∈Gα.This shows that

        and so

        as required.

        Theorem 2.4Let S=[Y;Gα;?α,β]be a Cli ff ord semigroup.Then

        is a semiring isomorphism;

        is a semiring homomorphism.

        Proof.(a)Suppose thatAis a nonempty subset ofS,and

        In the following,we prove thatφis an isomorphism in four steps.

        by Lemma 2.4.

        We prove

        In fact,let

        For allα∈I,there exists someβ∈Tsuch that

        Since{Gα|α∈Y}is a family of disjoint groups,we haveα=β∈T.Therefore

        Also,for allα∈T,

        That is to say,α∈I.Therefore we haveT?I.SoT=I.It follows immediately that

        i.e.,

        (3)φis injective.Indeed,letand there existsμ∈Ysuch thata∈Gμ∩.Ifthenμ∈by Lemma 2.4.So we immediately have

        (4)φis a homomorphism.Indeed,for allA,B∈P(S),by Lemma 2.4,we have

        and

        It is easy to prove that

        So we have

        and so

        On the other hand,for allγ∈H,there exista∈Aandb∈Bsuch that

        andab∈Gγ,we have

        i.e.,

        (b)Sinceτ:is a semiring homomorphism,andφ:is a semiring isomorphism by(a),it is easy to see thatφ?τ,i.e.,the composition ofφandτ,is a semiring homomorphism fromP(S)to.

        [1]Zhao X Z.Idempotent semirings with a commutative additive reduct.Semigroup Forum,2002, 64:289–296.

        [2]Ghosh S,Pastijn F,Zhao X Z.Varieties generated by ordered bands I.Order,2005,22:109–128.

        [3]Pastijn F.Varieties generated by ordered bands II.Order,2005,22:129–143.

        [4]Burris S,Sankappanavar H P.A Course in Universal Algebra.Berlin:Springer-Verlag,2000.

        [5]Howie J M.An Introduction to Semigroup Theory.Scotland:Univ.of St.Andrews,1976.

        tion:16Y60,20M07

        A

        1674-5647(2014)02-0097-09

        10.13447/j.1674-5647.2014.02.01

        Received date:April 9,2011.

        Foundation item:The NSF(2010GZS0093)of Jiangxi Province.

        E-mail address:469261217@qq.com(Fu Y Y).

        欧美日韩亚洲国产精品| 亚洲av精品一区二区三区| 亚洲色无码国产精品网站可下载 | 午夜视频在线观看视频在线播放| 色婷婷综合久久久久中文字幕| 久久久国产精品麻豆| 大白屁股流白浆一区二区三区| 日本a爱视频二区三区| 妺妺窝人体色www看人体| 国产精品麻花传媒二三区别 | 久久精品国产亚洲av桥本有菜| 69久久精品亚洲一区二区| 日本熟妇中出高潮视频| 成人免费无码视频在线网站| 初尝黑人巨砲波多野结衣| 91极品尤物国产在线播放| 亚洲男人在线天堂av| 论理视频二区三区四区在线观看| 香蕉免费一区二区三区| 男女边吃奶边做边爱视频| 久久成人永久免费播放| 偷拍美女一区二区三区视频| 大地资源网在线观看免费官网 | 国产又爽又粗又猛的视频| 亚洲两性视频一三区| 高潮av一区二区三区| av无码小缝喷白浆在线观看| 亚洲精品www久久久| 亚洲一区综合精品狠狠爱| 成人国产乱对白在线观看| 日本女u久久精品视频| 亚洲av无码日韩av无码网站冲| 理论片87福利理论电影| 2021年性爱喷水视频| 日本一区二区视频免费在线观看| 九九在线中文字幕无码| 亚洲国产另类精品| 免费二级毛片在线播放| av一区二区三区综合网站| 日本边添边摸边做边爱| 色偷偷久久一区二区三区|