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

        ?

        關(guān)于一元逆半群簇的一個(gè)問(wèn)題

        2015-10-18 00:46:56閆媛任苗苗
        關(guān)鍵詞:研究

        閆媛,任苗苗

        (西北大學(xué)數(shù)學(xué)學(xué)院,陜西西安710127)

        關(guān)于一元逆半群簇的一個(gè)問(wèn)題

        閆媛,任苗苗

        (西北大學(xué)數(shù)學(xué)學(xué)院,陜西西安710127)

        逆半群是一種非常重要的半群,為半群代數(shù)理論的發(fā)展提供了十分重要的思想和方法.主要研究了一元逆半群簇的基底個(gè)數(shù).利用等式邏輯證明了一元逆半群簇可由三個(gè)等式?jīng)Q定.

        一元逆半群;簇;基底

        1 引言及預(yù)備知識(shí)

        設(shè)(S,·)是半群且a∈S,若存在b∈S使得a=aba且b=bab,則稱b為a的逆元.若S的每個(gè)元素都存在唯一的逆元,則稱S是逆半群.逆半群是半群代數(shù)理論研究中成果最豐富的一個(gè)分支,它的結(jié)構(gòu)理論是許多其它類型半群研究的基礎(chǔ).在文獻(xiàn)[1]中就深入研究了逆半群的性質(zhì)以及結(jié)構(gòu)理論.

        設(shè)(S,·)是逆半群,對(duì)于所有的a∈S,用a′表示a的逆元,若把“′”看成S上的一元運(yùn)算,則稱(S,·,′)為由(S,·)誘導(dǎo)的一元逆半群.

        引理1.1[2]設(shè)S=(S,·,′),其中“·”和“′”分別為S上的二元運(yùn)算和一元運(yùn)算,考慮以下恒等式:

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

        (S2)xx′x≈x;

        (S3)x′xx′≈x′;

        (S4)(x′x)(yy′)≈(yy′)(x′x),

        則S為一元逆半群當(dāng)且僅當(dāng)S滿足恒等式(S1)-(S4).

        引理1.2[2]若S為一元逆半群,則S滿足以下恒等式:

        (S5)x′≈x;

        (S6)(xy)′≈y′x′.

        設(shè)K為F型非空代數(shù)類,若K對(duì)于子代數(shù),同態(tài)像和直積封閉,則稱K為簇.

        引理1.3[3]若K為F型非空代數(shù)類,則K為等式類當(dāng)且僅當(dāng)K為簇.

        因此可將一元逆半群簇記作[(S1),(S2),(S3),(S4)]并且稱(S1),(S2),(S3),(S4)為這個(gè)簇的基底.簇在代數(shù)學(xué)的發(fā)展過(guò)程中扮演著非常重要的角色,而簇的基底又決定著一個(gè)簇的構(gòu)成,因此研究簇的基底個(gè)數(shù)是有意義的.許多學(xué)者對(duì)各種不同類型簇的基底個(gè)數(shù)進(jìn)行了深入的研究,文獻(xiàn)[4]深入研究了一元逆半群簇的基底個(gè)數(shù),利用Prover9和Mace4軟件證明了一元逆半群簇的基底為三個(gè)等式的情形.文獻(xiàn)[5-6]則分別研究了布爾代數(shù)簇的基底可由三個(gè)等式和兩個(gè)等式?jīng)Q定的情形.本文主要用等式邏輯證明了一元逆半群簇可由三個(gè)等式?jīng)Q定,從而回答了文獻(xiàn)[2]中提出的第五個(gè)問(wèn)題.

        對(duì)于文中未提及的符號(hào),來(lái)源于文獻(xiàn)[7].

        2 主要結(jié)果及其證明

        定理2.1設(shè)S=(S,·,′),其中“·”和“′”分別為S上的二元運(yùn)算和一元運(yùn)算.則S為一元逆半群當(dāng)且僅當(dāng)S滿足以下恒等式:

        (S7)(xy′)z≈x(z′y)′;

        (S8)(xx′)′x≈x;

        (S9)(x′x)(yy′)≈(yy′)(x′x)′.

        推論2.1[(S1),(S2),(S3),(S4)]=[(S7),(S8),(S9)].

        [1]Petrich M.Inverse Semigroups[M].New York:Wiley,1984.

        [2]Araújo J,McCune W.Computer solutions of problems in inverse semigroups[J].Communications in Algebra,2010,38:1104-1121.

        [3]Burris S,Sankappanavar H P.A Course in Universal Algebra[M].New York:Springer Verlag,1981.

        [4]Araújo J,Kinyon M.An elegant 3-basis for inverse semigroup[J].Semigroup Forum,2011,82:319-323.

        [5]McCune W.Solution of the Robbins problem[J].J.Automat.Reason,1997,19(3):263-276.

        [6]McCune W,Veroff R.Short single axioms for Boolean algebra[J].J.Automat.Reason,2002,29(1):1-16.

        [7]Howie J M.Fundamentals of Semigroup Theory[M].Oxford:Oxford Science Publications,1995.

        A problem on the variety of unary inverse semigroups

        Yan Yuan,Ren Miaomiao
        (College of Mathematics,Northwest University,Xi′an710127,China)

        The inverse semigroups are very important semigroups and provide crucial ideas and methods for the development of algebraic theories of semigroups.In this paper we mainly study the numbers of bases of the variety of unary inverse semigroups.By using the equational logic we prove that the variety of unary inverse semigroups can be determined by three identities.

        unary inverse semigroup,variety,bases

        O152.7

        A

        1008-5513(2015)05-0498-05

        10.3969/j.issn.1008-5513.2015.05.009

        2015-04-30.

        陜西省自然科學(xué)基金(2015JQ1210).

        閆媛(1990-),碩士生,研究方向:代數(shù)學(xué).

        2010 MSC:20M17

        猜你喜歡
        研究
        FMS與YBT相關(guān)性的實(shí)證研究
        2020年國(guó)內(nèi)翻譯研究述評(píng)
        遼代千人邑研究述論
        視錯(cuò)覺(jué)在平面設(shè)計(jì)中的應(yīng)用與研究
        科技傳播(2019年22期)2020-01-14 03:06:54
        關(guān)于遼朝“一國(guó)兩制”研究的回顧與思考
        EMA伺服控制系統(tǒng)研究
        基于聲、光、磁、觸摸多功能控制的研究
        電子制作(2018年11期)2018-08-04 03:26:04
        新版C-NCAP側(cè)面碰撞假人損傷研究
        關(guān)于反傾銷會(huì)計(jì)研究的思考
        焊接膜層脫落的攻關(guān)研究
        電子制作(2017年23期)2017-02-02 07:17:19
        亚洲国产成人久久一区www | 成人爽a毛片免费网站中国| 老熟女老女人国产老太| 青青青爽在线视频观看| 国产成人av一区二区三区在线| 免费黄色福利| 国产精品久久一区二区蜜桃| 国产婷婷色一区二区三区深爱网| 午夜精品久久久久久99热| 国产精品搭讪系列在线观看| 国产在线精品亚洲视频在线| 亚洲av成熟国产一区二区| 中文字幕人妻熟在线影院| 国产精品久久久久久久成人午夜| 少妇高潮无码自拍| 日本久久精品福利视频| 人妻少妇精品视频专区| 中文字幕av日韩精品一区二区 | 人妻少妇精品专区性色av| 亚洲无码夜夜操| 国产一级黄色片一区二区| 成人免费a级毛片无码片2022| 久久久精品人妻一区二区三区| 久久狠色噜噜狠狠狠狠97| 亚洲av推荐网站在线观看| 人妻 丝袜美腿 中文字幕| a级国产乱理论片在线观看| 欧美亚洲另类自拍偷在线拍| 国产交换精品一区二区三区| 山外人精品影院| 国产成人午夜福利在线观看者| 亚洲精品中文字幕乱码人妻| 偷拍综合在线视频二区| 欧美大屁股xxxxhd黑色| 一区二区三区国产在线网站视频 | 少妇饥渴偷公乱a级无码| 一本无码人妻在中文字幕| 中文字幕人妻被公喝醉在线| 亚洲av乱码一区二区三区按摩| 亚洲av区无码字幕中文色| 日本亚洲成人中文字幕|