亚洲免费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
        亚洲一区二区三区香蕉| 人妻熟妇乱又伦精品视频app | 国产最新地址| 国产女人成人精品视频| 无码专区无码专区视频网址| 免费观看在线视频一区| 高清国产精品一区二区| 草逼短视频免费看m3u8| 国产日产亚洲系列最新| 国产va免费精品高清在线观看 | 久久综合九色综合97婷婷| 亚洲妇女自偷自偷图片| 最新亚洲av日韩av二区| 日本丰满少妇高潮呻吟| 最新国产一区二区三区| 亚洲女同av在线观看| 国产精品爽爽ⅴa在线观看| 亚洲av无码一区二区三区观看| 久久亚洲中文字幕无码| 国产日产精品久久久久久| 亚洲影院在线观看av| 风流熟女一区二区三区| 精品国产三级a∨在线欧美| 一本一道久久综合狠狠老 | 亚洲精品国产国语| 亚洲av网站在线免费观看| 人妻熟妇乱又伦精品hd| 国产麻传媒精品国产av| 成人天堂资源www在线| 欧美日本道免费二区三区| 男女动态视频99精品| 疯狂三人交性欧美| 日韩av高清无码| 少妇被粗大猛进进出出| 蜜桃a人妻精品一区二区三区| 国产精品无码久久久久久| 久久人妻AV无码一区二区| 久久熟女乱一区二区三区四区| 久久婷婷综合激情五月| 无码国产伦一区二区三区视频| 欧韩视频一区二区无码|