正则带的半格结构

合集下载

所有双理想都是理想的半群

所有双理想都是理想的半群

综上所述 , 我们有 :
推 论 22 若 S是尢一逆 的 C 一半群 , S是周 期半 群. . 。 则

S, )它
f I

( )
()
少( )
图1 收 稿 日期 :0 1 0 2 1 — 4—1 7
基金项 目: 青海师范大学青年教师科学基金 (o94 . 200 )
作者简 介 : 程茜( 9 5一) 女 , 17 , 重庆人 , 青海 师范大学数 学系副教授 , 硕士研究生 , 要从 事半 群代 数方面的研究 . |
是半 格 E的任 意 双理想 , _ { ∈ e =E 则 U e E:≤ B=B B B: B; E= E 其任意 的 双主双 理想 eJ={ E: < E‘ ge g f且

g≤e其 中 e e . } E 对 于 Ciod半 群 S 是群 的强 半格 , Si[ Y; B , B是 Ciod半群 5的任意 非空 子集 , lfr f 即 G ; 机.] 设 - lf fr 令 8 是 半格 y的子集 , 满足 任意 be B都存 在ce , 得 be 且任 意 c M 存 在 be 使得 be 则 B可表 tM 使 G, t 都 e B, G ; 示 为 Bi U { A G }Ciod半群 的所 有双理 想都 是理 想 ;lf d半群 5的双 理 想 B是若 干个 G - A : ;lf fr Cio fr 的

1 ・ l
青海 民族大学学报 ( 教育科学版 )
们 的包 含关 系如 图 1所示 . 从3[ ] C 3 中对 一些 具体半 群 的理想 、 理想 及双 主双 理想讨 论可 看 出 , 合 S , ( )和 双 集 ) S
及结 构.

几类特殊半群与理想

几类特殊半群与理想
S的 每 个 主 理 想 是 完 全 正 则 的 , Vn∈ S, 对 则
引理 2。 S是 逆半 群 当且 仅 当 S是 正 则半 群
摘要 :通过理想刻划 了正 则半群、 半群 、 - 逆 E 逆半群等一类特殊半群 , 表明 了半群与其理想在性质 上保持 一致. 关键词 :理想 ;正则半群 ;带;半格
中 图 分 类 号 :012 7 5 . 文 献 标 识 码 :A
S v r lc t g r e f pa tc l r s m i r u s a d t e r i e l e e a a e o i s o r i u a e g o p n h i d a s
Te h ,I I h u 7 0 5 c 1 o 3 0 0,Chn z ia)
A b t a t e e a a t ua e g o p u h a e u a e g o p iv re s m ir u sr c :S v r lp ri lr s mir u s s c s r g lr s mi r u , n e s e g o p, a d E i v r e c n -n e s
j即 xEj故 j , , 为正则 的 . 反之 , S的 每个 主理 若
想是 正则 的 , Va 对 ∈S因 a∈j n , a是 正则 的 , ()即 故 S是 正则 的.
推 论 1 半 群 S是 完全 正则 的当且 仅 当 S 的每
个 主理 想是 完 全正则 的. 证明 半 群 S是 完 全 正 则 的 , S是 正 则 的 , 即
则由定理 1即知 S是正则 的当且仅 当 S的每个 主 理想 是 正 则 的. S是 完 全 正 则 的 , 若 j是 S 的 主理
想 ,∈ja a 。 ∈S, ~ ∈ V( )故 Vn n,

基于9种常用蕴涵算子上的模糊强正则子半群

基于9种常用蕴涵算子上的模糊强正则子半群

J n 2 1 u . 02
基 于 9种 常 用 蕴 涵 算 子 上 的模 糊 强 正 则 子 半群
姜 雪 张忠香 廖祖华 , 刘春 芝 曹 妹 张 扬 , , , ,
山西 高平 0 8 0 ) 440 ( . 南大 学 理 学 院 , 1江 江苏 无锡 2 4 2 ;. 1 1 2 2 山西高 平 中专 学校 ,
华 等研 究 了基 于蕴 含 算 子 上 的 广 义 模 糊 完 全 正 则
子群 的概 念 , 开创 了模 糊 代 数 研 究 的 新 领 域 , 此 从
许多 中外 学 者 将 模 糊 集 理 论 应 用 到 群 和环 等 代 数
结构 上 , 到 很 多 重要 的 群 与环 上 的模 糊 理 论 。 得
( ) 为 S的 R 0 糊 强 正 则 子 半 群 铮 ( ) 2A G模 一 i
A x ) ( 2 八A( ) V y∈S (i A )≥ ( y ≥£A( ) 7 Y ) , ;i ( )
糊 子集 集 。 定 义 1 1 半群 S中的模 糊 子集 A称 为模糊 子 半 .[ 群 , 且 仅 当 对 所 有 的 , ∈ S 有 A ( )≥ 当 Y A( A ( ) ) A y 。 定 义 1 2 .[ 在经典逻辑 中, 0和 1为 真 值 , 于 基
ag br le a,e rc e h o eia e u t ff z y ag b a n h st e r t l r s ls o u z e r . i c l K e wo ds:r g a s b e g o p,fz y to r g lr ub e ir u y r e ulr u s mir u u z sr ng e u a s s m g o p,R-uzy to g e u a s b e g o p,i pi a f z sr n r g l r u s mir u m lc —

数学进展——精选推荐

数学进展——精选推荐

数学进展2019-09-26Painlevé ⽅程的解析性质李叶⾈,何育赞,Li Yezhou,He Yuzan催化介质中的超Ornstein-Uhlenbeck 过程洪⽂明,HONG Wenming有向图的上⼴义指数周波,Zhou Bo级联算法在Besov和Triebel-Lizorkin空间上的有界性和收敛性(I) 孙颀彧,Sun Qiyu⾮正则算⼦的⼀个刻画陈滋利,Chen Zili应⽤正则化⼦建⽴求解不适定问题的正则化⽅法的探讨李功胜,马逸尘,Li Gongsheng,Ma Yichen⼀类本原⽆向图的⼴义上指数的极图邵燕灵,Shao Yanling具拟不变测度群胚流上的Toeplitz代数⽅⼩春,Fang Xiaochun⼆阶拟线性混合型⽅程的间断斜微商问题闻国椿,张福元,WEN Guochun,Zhang Fuyuan⽆穷维空间中的Lyapunov函数⽅法和随机稳定性刘凯,邹捷中,Liu Kai,Zou JiezhongBergman 穷竭, 完备与稳定性陈伯勇,张锦豪,Chen Boyong,Zhang Jinhao函数域Fq(T,lDl+d)的基本单位雍锡琪,Yong Xiqi⼀类半线性波动⽅程的Sobolev指数赖绍永,周盛凡,Lai Shaoyong,Zhou Shengfan⾮线性Schr{odinger⽅程的初边值问题王保祥,WANG Baoxiang第三类超Cartan域的Bergman核函数殷慰萍,Yin Weiping平⾯停⽌域族{FTzz R2+} 满⾜条件F1-- F4 周新全,Zhou XinquanLocale 的内部与边界贺伟,张耀明,He Wei,Zhang YaomingA 类量⼦群和 Hecke 代数的 Schur-Weyl 对偶蒋⽴宁,王正栋,JIANG Lining,WANG ZhengDong仿紧局部紧空间的序列覆盖L-映象李进⾦,Li Jinjin多元积分⽅程⾃适应解法的优化房⾉孙,马万,Fang Gensun,Ma Wan图的因⼦和因⼦分解的若⼲进展刘桂真,张兰菊,Liu Guizhen,Lanju关于{P2, Ci| i≥3}-覆盖图马润年,Ma Runnian关于完全仿紧空间的⼀些刻画朱培勇,Zhu Peiyong关于流形上鞅的内向爆发雷晓莉,向开南,Lei Xiaoli,XIANG Kainan特征为2的奇异⼆次⾯上3个类和4个类 -4 结合⽅案的⼏何构作⾼锁刚,王仰贤,GAO Suogang,WANG Yangxian 本原分式 Artin 的 Exchange 环上矩阵环陈焕⾉,Chen HuangenRn上的多线性奇异积分谌稳固,陆善镇,Chen Wengu,Lu Shanzhen素GPI-环⼴义形⼼扩张的本原性游松发,You Songfa关于正则轨道问题的⼀个例⼦吕克伟,曹景龙,Lu Kewei,Cao Jinglong门槛图与度极⼤图李炯⽣,张晓东,LI Jiongsheng,Zhang Xiaodong超--α对称稳定过程的局部灭绝性坚雄飞,赵学雷,JIAN XIONGFEI,Zhao Xuelei关于∑*-空间的⼀点注记彭良雪,林寿,Peng Liangxue,LIN ShouLocale 的内部与边界贺伟,张耀明,He Wei,Zhang Yaoming关于H. Wu问题詹华税,ZHAN HUASHUI纪念⼀代宗师许宝騄教授诞⾠90周年北京⼤学数学科学学院群与代数的表⽰理论(迎接ICM2002特约⽂章) 张继平,王建磐,肖杰,丁南庆Lie代数双极化与齐性仿凯勒流形的新进展侯⾃新,邓少强最⼩距离固定且优于Gilbert-Varshamov界的码吴新⽂关于完备李群与完备李代数梁科,邓少强有界局部紧Vilenkin群上的⼴义Calderón-zygmund算⼦ Tong Seng Quek,杨⼤春Lp空间中的多变量Subdivision算法黄达⼈,李云章,孙颀彧第⼀类Cartan-Egg域的Bergman核函数殷慰萍⼀类⾮线性抛物⽅程组解的存在性和Blow-up 张志跃在边界附近蜕化的椭圆型Monge-Ampère⽅程解的正则性保继光关于Extremal Ray的除⼦型收缩赵逸才数学机械化进展综述(迎接ICM2002特约⽂章) ⾼⼩⼭J-⾃共轭微分算⼦谱的定性分析王忠,孙炯第三类典型域的Busemann函数寇明,赵振刚图的最⼤亏格与重图上的有向Euler闭迹黄元秋,刘彦佩包含紧算⼦理想的Toeplitz算⼦代数的刻画许庆祥,Xu Qingxiang全拟脐⼦流形中的稳定积分流张学⼭,Zhang XueshanF函数值在Kv上⽆关性的度量徐⼴善Calderon-Zygmund奇异积分算⼦交换⼦在Herz型Hardy空间中的有界性刘宗光,Liu Zongguang ⼀些连续统的孤⽴链回归点周丽珍,林寿,ZHOU Lizhen,LIN Shou退化(K1,K2)-拟正则映射的正则性郑学良解析数论在中国(迎接ICM2002特约⽂章) 王元⽤L2能量法研究粘性守恒律解的渐近性态 Kenji Nishihara完全分配格上的全有界⼀致结构与邻近结构史福贵,郑崇友CH2中齐性曲⾯的分类马辉,马⽟杰关于模的幂⽐较陈焕⾉关于⼀类姜空间梅加强,徐森林分⽚C2凸函数Moreau-Yosida逼近的分⽚光滑性质孟凡⽂,郝英Banach空间中随机微分包含的弱解存在性定理吴健荣,薛⼩平,吴从炘带VMO系数的拟线性抛物型⽅程斜微商问题邹本腾图乘积的星⾊数孙磊,⾼波谈谈与图有关的⼏种复形的同调群谢⼒同,Xie Litong特殊Hermite展开的乘⼦定理张震球,Zhang Zhenqiu除环上⽆限⽅阵的对⾓化陈国龙亚投射环的积和矩阵扩张冯良贵,郝志峰,Feng Lianggui,HAO Zhifeng具有粘性的拟线性波动⽅程整体解的存在性胡茂林,Hu Maolin表特殊线性群中元素为平延换位⼦之积游宏,郑宝东,You Hong,Zheng Baodong⾼阶半线性椭圆型⽅程奇摄动边值问题莫嘉琪,S.Shao,Mo Jiaqi,S.Shao近三E则3-连通平⾯地图的计数蔡俊亮,刘彦佩,Cai Junliang,Liu Yanpei可控⾃然序富⾜半群郭⼩江,GUO Xiaojiang带有仲裁认证码的组合论下界李育强,Li YuqiangH1(D)空间的Bessel级数⽊乐华,MU Lehua具有某种断⾯的半群的研究进展汪⽴民模李超代数研究的若⼲进展张永正,王颖,张庆成90年代的⼴义度量空间理论林寿关于Pell数列的Ribenboim问题乐茂华关于Dirichlet L-函数的2k次加权均值易媛,张⽂鹏关于多线性振荡奇异积分在加权Hardy-型空间上的⼀致估计吴丛明,杨⼤春离散时间⾦融市场中的增长最优投资组合李平,严加安关于Poincaré-Hopf的奇点指数公式丁同仁消减舒尔模在特征值为2的域上的⼀个对称性质 Grant Walker,肖锁不具有性质(wa)的拓扑空间杨忠强某类多叶解析函数的性质刘⾦林逻辑,语义和计算机科学中的⼀些基本思想张国强破产论研究综述成世学关于Sumner-Blitch猜想的⼀个注记张莲珠L不可分解极⼩L矩阵李炯⽣,⾼⽟斌强耦合反应扩散⽅程组的定性分析江成顺,廉⽟忠,余昭平修正⾼阶Hermite插值及Hermite-Fejer插值在Lpw空间中逼近的正逆定理刘三阳,盛宝怀三维守恒律有限元⽅法逼近光滑解的误差估计应隆安H1(Rn)的极⼤函数特征李⽂明有Edgeworth展式的分布的随机加权逼近的重对数律王炳章,⽅⼩娟正则带的半格结构孔祥智,袁志玲Ramsey 函数估值和图论中的渐近⽅法李⾬⽣,臧⽂安,Li Yusheng,Zang Wenan图的扩张与稀疏矩阵计算中的若⼲优化问题林诒勋,Lin Yixun级联算法在Besov和Triebel-Lizorkin空间上的有界性和收敛性(II) 孙颀彧,Sun QiyuBondy定理的改进贺东奇,刘振宏,⽥丰,He Dongqi,Liu Zhenhong,Tian Feng发展型H-半变分不等式解的存在性刘振海,Simon L,Liu Zhenhai,Simon L2-(v,7,1) 设计的可解区传递⾃同构群刘伟俊,李慧陵,马传贵,Liu Weijun,Li Huiling,Ma Chuangui⼀个多线性奇异积分的弱型(H1, L1)估计谌稳固,胡国恩,Chen Wengu,Hu Guoen 可定向的具⾮负曲率完备⾮紧黎曼流形詹华税,ZHAN HUASHUI随机微分⽅程⼤偏差的⼀个稳定性结论及其应⽤张志祥,Zhang Zhixiang⼀种研究通信⽹络容错性的新参数--点韧性度的理论综述王志平,任光弱基g-函数在度量化中的应⽤⾼智民关于特殊序列上的多维除数函数的和吕⼴世,翟⽂⼴⼀个多线性振荡奇异积分的变形#函数估计谌稳固,陆善镇沿旋转曲⾯奇异积分的有界性潘翼彪,唐林,杨⼤春关于紧连续L-domain的⼀个刻画定理寇辉⽴⽅⾮负的不可约符号模式侯耀平Orlicz空间中的多元光滑模及其应⽤张璞,曹飞龙,徐宗本⼀个⼆元丢番图不等式翟⽂⼴,曹晓东Hamiltonian[k,k+1]-因⼦蔡茂诚,⽅奇志,李延军具有拟理想正则*-断⾯的正则半群李勇华第四类超Cartan域上的⽐较定理林萍,殷慰萍国内数学学科论著产出的结构以及与国际数学热门研究领域的⽐较冯⽟明注:本⽂为⽹友上传,不代表本站观点,与本站⽴场⽆关。

纯正的群的正则带的半格结构

纯正的群的正则带的半格结构
G一 半 格 都 是 半 群 的强 半 格 .另 一 方 面 显 然 半群 的 G一 半 格 强 于 半 群 的一 般 半 格 . 并 强 强
引理 12 . … 完 全 正 则 半 群 S 的 Gre e n关 系 为 同 余 当且 仅 当 S满 足等 式 ( b 0 口 b ) . 口 ) =( 0 o0
)) .
若半群 s满足 以上条件 , 则记 S=G[ S , ,] y; 口 . 设 S=G[ y;S , .] 是任一 G en 系 , s为 S 的强半格 Y, J , 9 re 关 称 记为 S=船 [ S , y;
它还 满足 下 述 条 件
( 4 V a,b∈ S ,( C) 口,b ∈ S )=’ (, )= ( O) , V ∈ Y . ) ; p n p e
分解 . 由定 义 , 们 容 易 看 出 , 正 的 群 的 带 , 正 的 群 的 正 则 带 , 正 的 群 的 右 拟 正 规 带 , 正 的 群 的 正 规 带 我 纯 纯 纯 纯 是 逐 步 加 强 的 .因 此 ,它 们 的 半 格 分 解 也应 是 逐 步 加 强 的 .从 而 我 们 断 言 ,纯 正 的 群 的 正 则 带 及 纯 正 的 群 的右 拟 正 规 带 的半 格 分 解 应 强 于纯 正 的 群 的带 关 于 矩 形 群 的 半 格 分 解 … 1,而 弱 于 纯 正 的群 的 正 规 带 关 于 矩
≥ ,存 在 非 空 足 标 集 D( ) 由它 们 确 定 的 同 态 族 a, 及
满 足 以下 3个 条 件

p { (. :S 一 l d( ) = 口 ) V a, ∈D ( ) a, }
( 1 C)
( 2 C)
. {s} Va y) 一元 集 . = 1 ( ∈ 为

纯整环并半环的半群结构

纯整环并半环的半群结构
配格 .
命题 15 设 s是一个幂 等元半 环.则 S是 一个正则带 半环 当且 仅当 S是一个 左零带 . 半环和 一个 右零带半 环相对 于分 配格 D 的织积 .
2 纯整环并半环 的半群结构
定义 21 半环 S称为一个矩形 环,如果它能分解 成一个矩形带 半环和一个 环的直积 . .
成立.即: ( + 和 (,) ) ・均是带.称一个幂等元半环 为一个带半环 [j 1 若关于任意的 】
ab∈S 它 满足下 面 的两个等 式 , ,
a+ a b+ a = a, a+ b + a = a a
称 一个 带半环 为 带 半环若 它 的加法 结构 (, 是 一个 带 【. s +) 1 在半 环 中,带半 环 的性 质 】 和 半群 中的带很 相似 .例 如 ,每 个带均 是矩形 带 的半格 ,而相应 的,每个 带半 环均 是矩 形带 半 环的分 配格.然 而,带和带 半环 之 间还 是有 一些差 别.在文 献 f 中,我 们 已经 证 明了带 2 ] 半环 常为正 则带 半环 . 称一个 半群 s为一 个矩形 交换 群 ,如果 它 能分解 为一个 矩形 带和 一个交 换群 的直积 .
他的格林关系 c 7, , ,= 己 我们用类似的记号表示.容易证 明, £ 竟, , 都是 (,) , ・ 上的同 余关系.在文献 【 中, P sj 等人讨论了环并半环簇.本文在文献 【 的基础上,讨论了 4 】 atn i 4 ]
收 稿 日期 : 0 61 —2 修订 日期 :2 0 — 20 2 0 — 12 ; 0 7 1— 8

个纯整群并半群 s是一个 纯整群并半群 [j 3 若它的幂等元集是一个 带.一个半环 s ]
称为 Ciod半 环,若它 是环 的分 配格 .若 为半 环 S 的子 半环 ,记 上 的关 系 7 在 l r f = 己 上的限制为 冗 同时,记半环 的所有加法 [ 法] 乘 幂等元 ( 若存在的话) E () ‘ ) 为 +s [ ( j E s. 容 易证 明, E+ s 为 乘法 结构 (,) () S ・ 的理 想 .称一个 半 环 S是左 E+一 的,若 关 于任意 酉 的 e∈E+ )a∈S 由 ee ( , , , +a∈E+ S 可 推 出 a∈E+ S . () ( ) 对偶 地 ,我们可 定义右 E+一 酉 的.一个半环 称为 E 酉 的,如果 它既 是左 +一 +一 酉的又是 右 E+一 酉的 . 关 于任意 的半环 S 我 们记 上加法 和乘法 上 的格林 一 , 关系分 别为 s和 Ds对 于其

拟理想拟恰当断面和类织积

拟理想拟恰当断面和类织积

摘要:得到了具有拟理 想拟恰 当断面的富足半群的若 干性质 和刻 画, 并利用两个拟恰当半群给
出 了该 类 半 群 的类 织 积结 构 定 理 .
关键词:富足半群;拟理 想;拟恰当断面;织积;类织积.
M R( 2 0 1 0 )主题分类:2 0 Ml O 中图分类号:O 1 5 2 . 7 文献标识码 : A 文章编号:1 0 0 3 — 3 9 9 8 ( 2 0 1 3 ) 0 5 — 8 8 2 — 1 2
7 ={ ( n , b ) ∈S× : ( V , Y ∈S )x a =y a = x b =y b } .
c 和 7 = 己 分 别是 右 同余和 左 同余 ,且 c C , . 若 a , b ∈R e g S , 则 0 冗 b( n £ b ) 当且 仅当 0 7 = 己 6( 0 c 6 ) , 其中 R e g S: a∈ : ( ∈S ) a x a =0 ) 表示 s的正则元的集合.半群
数学物理学报
h t t p : / / a c t a m s . w i p m. a c . c n
拟理想拟恰当断 面和类织积
孔祥 军 王蓓
( 曲阜师范大学数学科学学院 山东 曲阜 2 7 3 1 6 5 ; 曲阜师 范大 学计算机科 学学院 山东 曲 阜 2 7 3 1 6 5 )
1 引言和预备知识
正则 半 群的逆 断 面的概 念 由 B l y t h和 Mc F a d d e n [ ] 于 1 9 8 2年 引入 .正则 半 群 s 的逆 子 半群 称 为 s的逆 断 面 ,如果 它含 s的每个 元素 的惟 一逆 元 .此后 ,国内外许 多学 者研 究 了 这类 正则 半 群,取得 了一 系列 重要 的结 果 ( 见文 献 [ 1 2 ] 及其 参考 文献 ) . 若 是正 则 半群 S 的逆 断面 ,对任 一 X∈S , 集合 n V( x ) 的惟 一元 素记 为 x 。且记 T 为 S 。={ z 。: ∈s ) . 陈 建飞 [ 3 ] 于 1 9 9 9年 引入 了纯 正断 面 的概 念 ,并 给 出 了具有 拟理 想 纯正 断 面 的正则 半 群 的结 构. 2 0 0 1 年 ,陈建 飞和 郭聿 琦 [ ] 讨论 了纯 正断 面 的一般 情形并 给 出 了与集合 』和 A相 关

广义完全正则半群的半格结构

广义完全正则半群的半格结构

第 3 卷 2
若 半群 S是正 则 的 , 每个 一 至少包 含 1 则 类 个幂 等元 , 同样 对 统一 也成立 . S是完 全正则 半群 , 类 若 则
每个 一 含 1 幂等元 , 时 , 类 个 此 每个 一 类为群 . 群称 为富足 的_ , 每个 半 7若 ] 一 和 一 含幂等 元 . 类 易知 一 都含 幂 等元 , 类 此 对正则 元有 L # -一 , 而正 则半 群都 是富足 半群 . 从 半群 s称 为超 富足 的[ , 每个 7若 ]
引理 1 设 S是 r一 富足 半群 , 超 则 ’ 同余 当且仅 当对 Va b∈ S,a ) ~是 , (b 。一 ( 。。 。 口 b). 证 明 必要 性 . 任 意 的 口, 对 b∈ S, n ’ a 有 ~ 。与 6 ’ b. ~ 。 因 ’ ~是 同余 , 有 故


类含 幂等 元 , 时 , 个 一 一 是左 消 幺半 群 , 是完 全正则 半群 与超 富足半 群在 r 富足 半 群 中 此 每 类 这 一
的推广 . 若 ’ 同余 , 称 该半群 为密码 的. ~是 则 下文将 证 明如下 主要结 果 : 定 理 1 设 S为密 码 r一 富足半 群 , S是 完 全 ~一 半群 的半格 , S一 ( S ) 且 对 a∈ Y与 超 则 单 即 y; ,
进行 了深入研 究 . S为 半群 , 设

{口6 ( ,)∈ S× S: VX, ∈ S ) 一 a  ̄ b — b , ( y= x  ̄ y)
研 一 {口6 ( ,)∈ S× S: Vz, ∈ S ) a — y ㈢ 劢 一 y ) ( Y x a b ,



af ’c ~ ,g S" 织 b a l ~ ~ 一b 结论 得证 . ,

左Clifford拟正则半群的半直积及结构

左Clifford拟正则半群的半直积及结构

第17卷第4期数学研究与评论V o l.17N o.4 1997年11月JOU RNAL O F M A TH E M A T I CAL R ESEA RCH AND EXPO S IT I ON N ov.1997左Clifford拟正则半群的半直积及结构Ξ张 玉 芬(山东师范大学数学系,济南250014)摘 要 本文给出了左C liffo rd拟正则半群的半直积和圈积仍为左C liffo rd拟正则半群的充分必要条件及半直积的结构.关键词 左C liffo rd拟正则半群,左群的nil2扩张的半格,半直积和圈积.分类号 AM S(1991)20M CCL O152.7文中用E(S)和R eg S分别表示半群S的幂等元集和正则元集,其它未说明的术语和概念见[1],[2].设S,T是幺半群,End(T)是T的自同态幺半群,令Α:S→End(T),s→Α(s)是给定的半群同态映射(Α(1)是T的恒等映射),对Πs∈S和Πt∈T,用t s表示t在Α(s)下的象tΑ(s),显然(t1t2)s=t s1t s2,t1,t2∈T,s∈S,且t(s1s2)=(t s1)s2,t∈T,s1,s2∈S.半直积S×ΑT是关于乘法(s1,t1)(s2,t2)=(s1s2,t s2t2)的半群,其中s1,s2∈S,t1,t2∈T,且1(s1,t1)=(s2,t2)Ζs1=s2,t1=t2.引理1 设S,T为幺半群,Α:S→End(T),s→Α(s)是给定的半群同态映射,且半直积S ×ΑT是左C拟正则幺半群,则有(1) (1,1)是S×ΑT的幺元,且1s=1,Πs∈S.(2) S和T均为左C拟正则幺半群.(3) 对Πe∈E(S)和Πt∈R eg T,有t e=t.(4) 对Πs∈S和Πu∈E(T),有uu s=u.(5) 对Πs∈R eg S和Πu∈E(T),有u s u=u s.(6) 对Πe∈E(S)和Πt∈T,由t e t=t可推出t e=t.(7) 对Πs∈S和Πt∈T,ϖm∈N,使得s m∈R eg S,t s m-1…t s t∈R eg T.定理1 设S,T均为幺半群,Α:S→End(T),s→Α(s)是给定的半群同态映射,则半直积S×ΑT是左C拟正则幺半群当且仅当下列诸条件同时成立:(1) S和T均为左C拟正则幺半群;(2) 对Πs∈S和Πt∈T,ϖm∈N,使得s m∈R eg S,t s m-1…t s t∈R eg T;(3) 对Πe∈E(S)和Πt∈R eg T,有t e=t;(4) 对Πs∈R eg S和Πu∈E(T),有u s u=u s;Ξ1994年11月7日收到.1997年4月1日收到修改稿.(5) 对Πe∈E(S)和Πt∈T,由t e t=t可推出t e=t.令S是拟正则半群,L3,R3,J3表示S的广义Green关系[2].引理2 设S,T均为幺半群,Α:S→End(T),s→Α(s)是给定的半群同态映射,半直积S ×ΑT是左C拟正则幺半群.(1) 对Π(a,b)∈S×ΑT,则有 1°.(a,b)∈E(S×ΑT)Ζa∈E(S),b∈E(T). 2°.(a,b)∈R eg(S×ΑT)Ζa∈R eg(S),b∈R eg(T).(2) 对Πs∈S和Πt∈T,则有t T3t s.引理3 设S,T,Α,S×ΑT均同引理2,且S=∪x∈X S x,T=∪y∈YT y,其中S x为左群R eg S x的n il2扩张,T y为左群R eg T y的n il2扩张,X,Y为格,取定y∈Y,对Πx∈X,则有(1) 令Α(x,y)是Α在S x上的限制,则Α(x,y)是S x到End(T y)的半群同态映射.(2) 令Α3(x,y)是Α(x,y)在R eg S x上的限制,则Α3(x,y)是R eg S x到End(R eg T y)的半群同态映射.定理2 设S,T,Α,S×ΑT,Α(x,y),Α3(x,y)均同引理3,令S=∪x∈XS x,T=∪y∈YT y,X,Y为半格,S x和T y分别为左群R eg S x和R eg T y的n il2扩张.对Πx∈X,Πy∈Y,则有S×ΑT=∪(x,y)∈X×y (S x×Α(x,y)T y),其中S x×Α(x,y)T y是左群R eg S x×Α3(x,y)R eg T y的n il2扩张,半格X×Y是X和Y的直积.设X为左S2系,T X={f f是X到T的映射},对Πf,g∈T X,Πx∈X,(f g)x= f(x)g(x),易知T X为幺半群.令Α:S→End(T X)是给定的半群同态映射,对Πs∈S,Πg∈T X和Πx∈X,有f s(x)=f(sx),称半直积S×ΑT X为S和T的圈和,记为SW X T.当x=s,则SW s T为S和T的标准圈积,记为SW T.定理3 设S,T均为幺半群,X为左S2系,则SW X T是左C拟正则幺半群当且仅当下列诸条件同时成立.(1) S,T均为左C拟正则幺半群;(2) 对ΠT′∈M,ϖm∈N,对所有t∈T′,均有t m∈R eg T;(3) 对Πe∈E(S),Πx∈X,有ex=x或 T =1;(4) 对Πs∈S,Πx∈X,有sx=x或T是群.定理4 标准圈积SW T是左C拟正则幺半群当且仅当下列诸条件同时成立,(1) S,T均为左C拟正则幺半群;(2) 对ΠT′∈M,ϖm∈N,对所有t∈T′,均有t m∈R eg T;(3) S是群或 T =1;(4) S =1或T是群.参 考 文 献[1] 朱聘瑜、郭聿琦、岑嘉评,左C liffo rd半群的特征与结构,中国科学,A辑:6(1991),582-590.[2] S.Bogdanovic,S e m ig roup s w ith a sy ste m of subse m ig roup s,N ovi Sad,1985.[3] W.R.N ico,O n the reg u la rity of se m id irect p rod ucts,J.A lgeb ra,V o l.80(1983),29-36.。

几类变换半群的正则性及格林关系

几类变换半群的正则性及格林关系

几类变换半群的正则性及格林关系
一、正则性
1、正则性定义:半群的正则性是指在群中的最基本形式,即在群中的
多项式函数斐波那契混沌是可预测的且可控制的,具有相同变量和恒
定变换操作。

2、正则性的优点:正则性比其他变换形式更稳定,更容易进行计算,
可以准确地匹配模型,排除因模型偏差的影响,从而更好地实现数据
变换。

3、正则性的应用:正则性可以用于数据分析,可用于建立稳定的模型,进行特征提取、分类、聚类等。

二、格林关系
1、格林关系定义:格林关系是指一组有限群G和一组有序实数集合
(元素)S,给定X∈S,其定义为格林变换T,即T(X)=a·X·b
(a∈G,b∈Z^n)。

2、格林关系优点:格林关系的优点是能够提供数据变换的稳定性和可
控制性。

格林变换可以通过有序实数集合和组进行精确描述,更容易
推导出正则变换的结果,从而提高模型可靠性和数据变换准确性
3、格林关系应用:格林关系可用于模式识别和推理研究,有助于准确识别数据模式,可有效解决诸如图像分类、文本分类和文本检索等大数据任务。

L-Fuzzy正则强半准开集及其性质

L-Fuzzy正则强半准开集及其性质

L・ ・ Fuz y Re z gul l r ar y St ong Se ipr ope Se sand I sPr m ・ e ・ n t t ope te r is
XI ON G C n q , BAI S i z o g ha g・ i h -h n
( p rm n fMah mais& P y is W u i iest, in me 2 0 0 C ia De at e t t e t o c h sc, y v ri Ja g n5 9 2 , hn ) Un y
3)若 A=A ,则 称 A为半 正 则半 开 集 ;若 A=A一,则 称 A为半 正 则 半 闭集 . _ o
收 稿 日期 :2 0 一 2 l 0 7 l一 3
基 金 项 目 : 国家 自然 科 学基 金 资助 项 目 ( 0 4 0 1), 广 东省 自然科 学基 金 项 目 ( 2 3 8),江 门 市科技 计 6 52 0 O l5
sr c u e ea i n tu t r r l to wih n wn e ry p n e s Me n ie we n r du e h c n e t f a mo t t k o n a l o e s t . a wh l , i to c t e o c p o l s r g l ry s r n e —p e o tn iy e u a l to g s mi r c n i u t . Ke wo d : L f z y o o o i a s a e ; r g l r y t o s m i p e p n r g l r y e -p e p n y rs - u z t p l g c l p c s e u a l s r ng e - r o e ; e u a l s mi r o e ; a mo t .g l ry s r n e —p e o tn iy l s e u a l t o g s mi r c n i u t 1

一类E-酉正则半群的同余网结构

一类E-酉正则半群的同余网结构

*
生成的同余子格.
关键词 E -酉正则半群 同余网 同余格
� � � � � 中图分类 � 号 � � 1 2. 文献标 识码 文章编号 100 - 3 �2010� 0 -000 -0
E- 酉 正 则半 群是 一类 非常 重 要的 正则 半群 . E- 酉逆 半群 具 有某 种泛 性, 即 任何 逆 半群 都 是某 个 E- 酉
0 , = , ,且 = ( � ) , = .对于 , � ( ) 有: � � � � � � � � , � , � � � �.
对于 � 如果 对于 任意 的 , � ( ) 可 推出 = , 则称 是 幂等 分离 同 余. 如 果 � ( ) � (� ) ,� � � � , 若 ,若 可推 � � 出 � � � � � � � � ( ) ,则 � 称 是幂 等纯 同余. 分别 用 表 示 上的 泛 关系 和恒 等关 系 ( )是 上最 小
+
5
同余网
本节 � 将给 出同 � 态像 是 - 酉的 - 酉正 则半 群的 同余网 利 用在 命题 4 中 引入 的记 号 以表 示成
/ �* 中的 元素 可
� � � , , , ,,, , , , , , , , , � , � , . + * � � � � � � � 任 � 取� (� ,� )� � � ( ), � 将 � � / � � 1 中 的元 素作 用 在( , )可 以 得到 集合 ( ,) ( )( )( )( , ) � � � � � � �
半 群的 同 态像 任 何正 则� 半群 , 分 别 用 ( 和 ( 表 示 半群 的幂 等 元集 和 同余 格. 当 � ( , 的 � .对 � � � � 核 是集 合 � 和 � � � � � � � � � � � � � � � � � � =� � � � , �� � ( ), 的 迹 是 = ( .定 义 = � ( = , = � ( = , � � � � � � 和 )分 别 表 示 与� 具有相同核(迹) 的最大 和最小同余 则可得到 ( 上四个算子 , , 和 . 记 � � ( � � � �

集合∧上的半格Г确定的二元关系半群PГ(∧×∧)的基本性质

集合∧上的半格Г确定的二元关系半群PГ(∧×∧)的基本性质

文 献 标 识 码 :A
引言与准备
半群代数是上世纪六、七十年代发展起来的代数学的一个新分支, 在数学本身及现代科学中都有许多的应 用, 特别在代数表示论、关系代数、自动机理论、符号动力系统和计算机科学等方面有广泛的应用. 二元关系半 群的研究在半群理论的研究中较早, 从上世纪 7 0年代 RJ l mos .Pe . m n 在文献【- , . h a 在文献[】 一直 到 1 ] S cw r 2 S z 3, 9 年代 J o i zy 0 . n cn 在文献【 5中相继给出了一个集合 人上的二元关系半群的基本性质. K e 4】 , 在近几年, 本文作者在
确定的二元关系 ( 人) 获得了 半群 八× ; 半群 ( 八) 左零元结 并且讨论了 ( 八 同 基本 人× 的 构; 半群 人× ) 构的
性质.
关键词:半格 ; 二元 关 系半群 ; 左零元;同构
中 图分 类号 : 5 OI2
d i 1 . 6/i n10 .4 3 0 20 . o: O3 9 .s.0 32 8 . 1 . 0 9 js 2 44
第 3 卷 8
设F 集 上的 格, : F 一 集 换. 义 , U × , ∈ (× ) 4 是 合八 半 f 人 是 个 值变 定 = {) 则 , PA 人 . ' -
(x ) l 是 到r 集值变换j ̄ P(× ) PA 人. 人 八= / 八 的 、 . r 人 (x ) A 设 ,g , × ) : () , ∈ ( 人 , 八 人 八 是集值变换, 定义为:V ∈ =U - 因为 人, . 厂
文 章编 号 :0 324 (0 0—590 10-832 1)402 —4 2
集合 八上 的半格 r 确定 的二元关系半群 P ( 八  ̄Ax )

半结构化数据的处理与存储技术研究

半结构化数据的处理与存储技术研究

半结构化数据的处理与存储技术研究近年来,随着互联网的发展和数据量的呈现爆炸式增长,半结构化数据的处理与存储技术备受关注。

作为一种介于结构化数据和非结构化数据之间的数据类型,半结构化数据具有结构灵活、易于扩展的特点,因此在大数据分析、数据挖掘、机器学习和人工智能等领域中有着广泛的应用。

本文将深入探讨半结构化数据的处理与存储技术,并讨论其相关的挑战与应对策略。

一、半结构化数据概述半结构化数据是指那些具有部分结构,但无法用传统的关系型数据库或表格形式来存储和组织的数据。

这些数据通常以文本或XML文件的形式存在,包含各种标记和元数据,但没有固定的模式或结构。

半结构化数据主要来源于Web页面、电子邮件、传感器数据、日志文件等多样化的数据源。

半结构化数据的处理与存储技术在现代企业、互联网和科学研究领域中有着广泛的应用。

例如,在电子商务领域,半结构化数据能够提供大规模的商品信息,帮助企业实时跟踪市场动态;在科学研究领域,半结构化数据则能够帮助研究人员分析复杂的实验数据、文献和模型,从而提出新的科学理论和发现。

二、半结构化数据的处理技术针对半结构化数据的处理,主要有以下几种技术:1. 数据提取和转换:由于半结构化数据缺乏统一的结构,首先需要进行数据提取和转换的过程。

这些过程可以通过使用正则表达式、XPath、解析器和特定的语法规则来实现。

通过提取和转换,可以将半结构化数据转化为结构化数据,方便后续的分析和处理。

2. 数据模型和表示:半结构化数据通常以XML或JSON等格式进行表示和存储。

这些数据模型提供了一种通用的方式,用于描述半结构化数据的结构和语义。

同时,也涌现出一些基于图的数据模型,如RDF和OWL,用于描述半结构化数据之间的关系和语义。

3. 数据集成和查询:半结构化数据一般分布在不同的数据源中,因此需要进行数据集成和查询的过程。

这可以通过使用ETL(Extract-Transform-Load)和数据集成工具来实现。

TextPro(cnbook)正则表达式关心文件[整理版]

TextPro(cnbook)正则表达式关心文件[整理版]

TextPro(cnbook)正则表达式帮助文件1.概述2.正则表达式的构成 2.1特殊符号 2.2通配符 2.3字符集 2.4子表达式 2.5重复指示符3.替换表达式4.自定义替换表功能 4.1在查找/替换中使用自定义替换表5.应用举例(一) 5.1应用举例(二) 5.2应用举例(二)1. 概述从4.5版起,TextPro在查找/替换中支持正则表达式。

正则表达式是一种非常强大的搜索功能,通过与TextPro的其它功能相结合,可以方便地实现许多复杂的文本处理工作。

正则表达式原本是形式语言理论中的概念,与编译器的构造有密切的联系。

但是作为一个应用软件的用户,我们没有必要去细究正则表达式的严格定义和处理方法。

本文将从实用的角度出发,阐述在TextPro中引入正则表达式的目的、正则表达式的命令格式,以及如何利用正则表达式完成一些实际的文本处理工作。

我们在处理文本时,经常会遇到一些具有某种特定格式,或者说满足某种规则的文本。

比如,一个无符号的整数由一连串的数字构成,而一个Email地址的格式则是“用户名@主机名”,其中用户名是一串字母或数字,主机名则是由若干个由“.”分隔的字母数字串。

正则表达式就是用来指定这种规则的。

如果某个字符串满足正则表达式指定的规则,则称该字符串为正则表达式的一个“匹配串”。

2. 正则表达式的构成为了方便理解,让我们先来看看大家比较熟悉的数学表达式,“(x+3)*2+y”是一个典型的数学表达式。

一个数学表达式由若干个“项”组成,“项”与“项”之间用加号或减号相连;这里“(x+3)*2”和“y”分别是两个项。

每个项又由若干个“因子”组成,因子之间用乘号或除号相连;这里第一个项有两个因子“(x+3)”和“2”,而第二个项只有一个因子“y”。

每个因子可以是一个简单的数,一个代数变量,也可以是放在括号里面的另一个表达式。

对于最后一种情况,括号中的表达式称为“子表达式”;这里“x+3”就是一个子表达式。

稳定连续半格的闭包空间表示

稳定连续半格的闭包空间表示

x),
f(∨ D )=∨
f(
x D

则称映射 f:
P →Q 是 Sco
t
t连续的 .
事实上,从连续 doma
i
nP 到 Q 的 Sco
t
t连续映射就是关于 P 和 Q 上的 Sco
t
t拓扑而言的连续映射 .所
有的稳定连续半格带有其上的 Sco
t
t连续映射构成了一个范畴,记作 SD .
1.
2 连续 doma
XJ
20210065);六盘水师范学 院 重 点 学 科 建 设 项 目—
j
g30);曲阜师范大学大学生创新训练项目(
数学重点培育学科(
LPSSYZDPYXK201709);山西省基础研究计 划 项 目(
202103021223272);太 原 科 技 大 学 博 士 科 研 启 动 基 金
(
20202049).
设 x 和y 为 dcpoP 的两个元,如果对于 P 的任意定向子集 D ,当 y≤∨D 时总存在d∈D 使得x≤d,
则称 x 逼近y,并记作 x≪y.记 x = {
y ∈ P|y ≪x}.设 BP ⊆P .对任意的 x∈P ,若存在 x∩BP 的一个
定向子集 D 满足x=∨D ,则称 BP 是 P 的一个基 .若 dcpoP 有一个基,则称之为连续 doma
述性文章可参阅文献[
7].在 Doma
i
n 理论中,一个众所周知的结论是代数格带有 Sco
t
t连续映射构成的范畴
可由代数闭包空间所表示,这一重要 的 发 现 激 励 了 众 多 学 者 进 一 步 探 讨 闭 包 空 间 与 各 种 doma
i

grok解析原理

grok解析原理

grok解析原理Grok 是一种用于解析和提取半结构化日志数据的强大工具,最初是在Logstash 中引入的。

Grok 提供了一种简化的语法,允许用户定义自定义模式以匹配和提取日志中的特定字段。

以下是Grok 解析原理的基本概述:模式定义:Grok 的核心思想是使用预定义的模式或用户定义的模式来匹配日志中的文本。

每个模式都与一个正则表达式相关联,用于匹配特定的文本模式。

模式通常用于识别日志中的特定部分,如时间戳、IP 地址、URL 等。

正则表达式匹配:Grok 使用正则表达式来匹配日志中的文本。

正则表达式定义了匹配文本的模式。

Grok 模式通常使用类似%{PATTERN_NAME:field} 的语法,其中PATTERN_NAME 是预定义或用户定义的模式,field 是用户为匹配的文本指定的字段名称。

字段提取:一旦Grok 模式与日志中的文本匹配,它将提取匹配的字段并将其存储到指定的字段名称中。

这样,用户就能够以更结构化的方式访问和分析日志数据。

Grok Filter:在Logstash 中,Grok 通常通过Gork Filter 插件使用。

Grok Filter 配置允许用户指定要应用的模式以及将提取的字段映射到输出的字段名称。

自定义模式:Grok 允许用户定义自己的模式,以适应特定日志格式的需求。

自定义模式使用正则表达式语法,并通过%{PATTERN_NAME} 的形式引用。

下面是一个简单的例子,说明了Grok 的使用方式:%{IP:client} %{WORD:method} %{URIPATHPARAM:request} %{NUMBER: bytes}在这个例子中,模式%{IP:client} 会匹配IP 地址,并将匹配结果存储在名为client 的字段中。

其他的模式类似地匹配不同类型的文本。

Grok 的主要优势在于简化了从半结构化日志中提取信息的过程,使得日志数据更易于理解和分析。

稳定连续半格的闭包空间表示

稳定连续半格的闭包空间表示

稳定连续半格的闭包空间表示
王胜文;张冰;马俊叶;王龙春
【期刊名称】《曲阜师范大学学报(自然科学版)》
【年(卷),期】2024(50)1
【摘要】为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.
【总页数】6页(P61-66)
【作者】王胜文;张冰;马俊叶;王龙春
【作者单位】六盘水师范学院数学与统计学院;曲阜师范大学数学科学学院;太原科技大学应用科学学院
【正文语种】中文
【中图分类】O153.1
【相关文献】
1.L-拓扑空间的θ-闭包与θ-连续序同态
2.基于L*-格值逻辑上的直觉I-fuzzy拓扑空间闭包及网收敛理论
3.L—Fuzzy拓扑空间中的半内部,半闭包,半边界,半正则性质
4.广义模糊函数空间的稠密性和闭包表示
5.广义近似空间P-闭包(核)的拓扑表示
因版权原因,仅展示原文概要,查看原文内容请购买。

关于一些半环性质的研究

关于一些半环性质的研究
2.研究了链上的佗×n矩阵半环.建立了链上的佗X佗矩阵的分解定理.进 而给出了链上矩阵的周期和指标的算法.并且讨论了链上矩阵半环乘法半群 上Green关系,得到了一些有趣的结果.
3.研究了半环上的佗×礼矩阵半环.给出了半环上矩阵的分解方法.证明了 有限分配格的分解定理,得到了有限分配格上的矩阵分解方法.作为应用,讨论 了有限分配格上矩阵的周期与指标的更一般的计算方法.
The goal of this dissertation is to study this field.It mainly achieved in the
following aspects: 1.The semirings for which additive reducts are semilattices and multiplicar
4.研究了部分(弱)归纳+.半环.通过对这两类半环性质进行研究,证明了部 分(弱)归纳+一半环是部分Conway半环,得N--I部分(弱)归纳+-半环上I}qKleene定 理.
关键词
半环,偏序关系,分解定理,Green关系,部分(弱)归纳4一半环
Abstract
Algebraic theory of semiring is still one of the most active fields of algebra.
有助于我们来研究半环,如5礅[6-11].本文第二章研究了乘法半群为左正规纯
正群的半环. 本文从第三章开始研究一类特殊的半环(S+,·),s上还装有两个零元运
算0,1,满足条件: (1)(S+,o)和(S·,1)均是含幺半群; (2)(Va∈S)a·0=0·a=0.
从第三章开始,我们的半环通常指如上的半环.为了方便,在不做特殊说明的情 况下,我们将(S+,·,0,1)也叫做半环.这类半环在许多学科分支中也很有用, 例如:量子物理学、最优化理论、形式语言理论、自动机理论、及其理论计算 机科学等,如文献【12—36].
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

ay x a= a x y a的带) 的结果的推广,正规带被他们描述为矩形带的强半格 ( ll I1 见 1 或 3).
关 键 词 正 则 带 ; 同 余 ; 同 态
M R(9 1 1 9 )主题 分类 2 M 1 O O
1 特 征
众所 周 知,半 群 的半 格 分解 ,尤其 是 强半 格 分解 ,在 半群 理 论研 究 中起着 非 常 重要 和 良好 的 作 用 .遗憾 的是,仅 有 一 少部 分 半群 类 具有 强半 格 分解 ,正规 带 正是 这 样一 类 半群 。据 f ,正规 1 1 带是 矩 形带 的强半 格 ,而 一般 带 只 能描 述 为矩 形 带 的半格 .但 由带 ( 满足 等 式 X = z的半 群 ) 、
本 文 的 记 号 和 述 语 均 同 于 『1 1.
定义 11 设半 群 S= u s l ∈y}为半 群 族 s 的半格 y, s 是 . {。 称
若对 V , ∈ a , 在 非空 足 标集 D( ) 由它 们 确 定 的 同态族 存 , 及
的 G一强半 格 y.
Gf , , y: @1 若它 还 满足 下 述 条件
(4 C )对 V a∈5 和 V ,nb ∈ (。 0( n _ b∈ (,) s ) a

) 臼 。 ) V ∈Y. = , , , 0( )为一 元集 .但 正 如我 们
半 群 的 G一强半 格 的 定 义知 ,半 群 的强 半格 一 定 是半 群 的 G一强半 格 .事 实 上, S=
O( ) {d ) S ÷S l( ) , = ( : 。_ Zd , ∈D( ) , )
满足 以下 三 条件
( ) V O( ) {s c1 对 a∈ , = l )为 一 元集 .
( )对 V , ∈ c2 a , 7 O( Z O( , ) O( 7 . , , ) Z 7 , )
它 “ 强于 ”一 般 带 的半 格 分解 ,而 “ 于 ”正规 带 的强 半格 分解 ,因 为 正则 带 和 右拟 正 规 带强 于 弱

般 带,而弱 于 规 带 .同时 因 右拟 规 带 强 于 则 带,右拟 规带 的半 格 分解 也应 强 于 『 则带 F 的半格 分解 .本 文将 推 广 Y ma a和 Ki r a d mu a的正规 带 的强 半格 分解 到 正 则带 和 右拟 正 规 带 .

( ) V , ∈y 和 V c3 对 a∈ ∈y, 在 : 。 )∈o( , ) 使得 对 V 存 ( Z , b∈S z a b= ( (, )( : , ). n 。 )6 ( )
收 稿 日期 : 1 9 - 卜 1 .收 到 修 改 稿 日 期 : 2 0 — 9 1 99 1 O 000-2 山 东 省 自然 科 学 基 金 青 年 基 金 资助
袁 志 玲 展 埒
( 阜师范大学数学 系,曲阜,山东, 2 3 6 , 围) 曲 715 中
摘要 P ti 解决了一般带的构造定理 ( 【I 【I 此基础上,我们将证明正则带 er h c 见 1 或 2) ,
( 满足等 式 a y = a a a 的带)的一些特 征,并给 出一个带 为正则带 或右拟 正规带 ( xa xy 满足 等式 x a= x y 的带)的充分必要条件.这些 结果是 Y ma a和 Ki r 的关于 规带 ( 足等式 y aa a d mu a 满
正则 带 ( 满足 等式 a y x a= a a a的带 ) xy 、右拟 正 规带 ( 足等 式 x a:x y 满 y a a的带)和正 规 带 ( 满 足等 式 a y x a= a x y a的带 )的定 义看 , 正 则带 和 右拟 『 规 带 应 具有 一 关于 矩 形 带 的半 格 分解 , F
= 一 贝 a y { b和 a b为 同值 映射 ; ,J ,
维普资讯
第 3 卷 第5 1 期 20 0 2年 l 0月




Vo131,N O. 5 . o c ,2002 t.
ADVAN CES I M ATHEM ATI N CS
正 则 带 的 半 格 结 构
孔 祥 智
( 州 大 学 数 学博 士 后 流 动 站 , 郑 州 , 河 南 , 4 0 5 ,中 国 ) 郑 50 2 ( 曲 师 范 人 学 数 学 系 , 曲 申, …东 , 2 3 6 , 国 ) . 715 中
维普资讯
5 期
孔 祥 智 , 袁 志玲 :
则带 的半 格 结 构
47 7
若半 群 s 满 足 以上 条 件 ,则记 s= G『 , . y; @1 设 s = Gf , , y; 01 是 任 一 Gre 关 系,称 s 为 en 的 G一强 半格 ,记为 s=
G[ , J是半 群 y; e

的强半 格 y 当且仅 当 V ∈ ,
即 将看 到 的, 并非 所 有 的半 群 的 G一强半 格 一 定是 半 群 的 强半 格.
引理 12 J 设 y 为 一半格 , { : ∈y}是 一族 以 y 为足 标 集 的两 两 不交 的矩形 带 . .【
关 于任 意 的 ∈Y, E = , 令 n×A 且 西 . : ,
如 下 定 义 的 同 态
n西 。

_ 一( )×丁( ( , ∈ ÷7 A ) V
)为一

( 舀 舀 , a∈ , ) .

() 1 n= (, ∈ , i ) 则 三 三为 同值 映射 且 , ( () 2 0∈E , b∈E{ . . ()记 ( 3 ) i ( : , ) :
相关文档
最新文档