关于内正则Duo序半群 On intra-regular and duo ordered semigroups.pdfVIP

第2l卷第4期 纺织高校基础科学学报 V01．21，No．4 BASICSCIENCES 0FTEXTILEUNIVERSITIESDec．，2008 2008年12月 JOURNAL 文章编号：1006—834l(2008)04一0393一05 关于内正则Duo序半群 施智杰1’2 (1．西北大学数学系．陕西西安710127}2．山西大同大学数学与计算机科学学院，山西大同037009) 摘要：给出内正嬲duo序羊群的刻戋l】，证明一个序半群S是内正则duo的当且仅当它是单且左单 且右单的半群半格．特另l】地，S是单且左单且右单的序羊群链当且仅当S是内正则duo的且S的 所有理想关于集合的包含关系构成链． 关键谣：内正剐序半群；duo序丰群；理想；单(左单，右单)序半群 中图分类号：O152．7 文献标识码：A 1 引言与定义 一个半群(S，·)称为序半群，如果S上有序关系“≤”使得Vz∈S，有口≤6号凹≤缸且z口≤西． 证明了一个poe一半群S左正则左duo的当且仅当S是左单半群的半格．随后又类似地给出了右正则右duo 序半群的刻划．本文给出内正则duo序半群的刻划，证明一个序半群S是内正则duo的当且仅当它是单且 左单且右单的半群半格。特别地，S是单且左单且右单的序半群链当且仅当s是内正则duo的且S的所有 理想关于集合的包含关系构成链． 设A，B≤S，记AB一{Ⅱ6I a∈A，6∈B)． 设H∈S，记(嫒]一{￡∈s I￡≤是，对某一是∈H}；若好={口)，记({口)]=(口]． 定义1[3】 设S是一个序半群，_『∈S且J≠万，称J为S的左理想，右理想，理想，如果(1)SI∈J(巧 ∈I『)；(2)若口∈J，6∈S，6≤口，有6∈，． U＆]，尺(口)=(口U舔]，J(口)=(口U＆U口sUs]． 定义2啪 的，如果S既是左duo的又是右duo的． 定义3【5】 S称为内正则的，如果Vn∈S，有口∈(2S]． 显然，若5是内正则的，有Jo)=(＆S]． 定义4￡53S称为是单的，如果S不包含任何真的理想，即对于S的任意理想j，j=S．这样，V口∈S， ∈S，(格]=S． 定义5[趵 口∈F，c∈S，口≤∥》c∈F． 收稿日期：2008一07一04 作者简介：施智杰(198l一)，女，山西省大同市人．山西大同大学助教．西北大学硕士研究生．EI涮l：s比蝎iel@163．com 万方数据万方数据 394 纺织高校基础科学学报 第21卷 设口∈F，用N(口)表示S的由口生成的滤子． 对于序半群S，以下定义的的二元关系显然是S上的等价关系： 篓一{(z，y)lL(z)一L(岁)}I 叨：={(z，y)lR(z)一R(y))； 只一{(z，y)II(z)=J(y))， 必一{(z，了)lN(z)=N(了)}l 咒=2 n现 定义6啪 序半群5的子半群T称为是半素的，如果口∈S，口z∈D净口∈T． 定义7￡33S上的一个同余盯称为半格同余，如果V口，6∈S，有(口2，口)∈玎且(幻，缸)∈口；半格同余 称为完全的，如果口≤6，有(口，幻)∈口． 文献[6]已经证明∥是S上的完全半格同余． 定义8 序半群S称为一个单且左单且右单的半群半格，如果存在一个S上的半格同余d，使得￥。 ∈S，5的子半群(z)，是单且左单且右单的，即存在一个S上的半格同余盯及s的单且左单且右单的子半 群族{SI口∈y(=S居)}满足 (1)s口n昂；∥，y口，p∈y，口≠岛 (2)S=U{S。l口∈y)l (3)S。S#≤，V口，p∈y． 定义9 s称为是单且左单且右单的序半群的链，如果存在S的一个半格同余口，使得yz∈S，(z)。是 S的一个单且左单且右单的序子半群且半格S居关于序关系“≤”：(z)。≤(y)，甘(z)，=(刭)。是一个链． S的理想链指的是所有的理想关于通常的集合关系“量”构成链．