广义幂群和幂环的定义.pdfVIP

模糊集理论与应用 广义幂群和幂环的定义 童占梅 河北科技大学计算中心石家庄050054 摘要本文给出了广义幂群的定义，讨论了幂群、商群、广义幂群之间的关系。另一方面 ●洲黝溺赫。弱』。； 本文给出了幂环的定义，并讨论了商环、HX环与幂环之间的关系。 关键词幂群商群广义幂群HX环商环幂环 李洪兴教授分别在文[1]和文[3]首次提出了幂群和HX环的概念。这两个定义中的运 算都与底层群或环的运算相一致，运用起来十分方便。但在幂集上是毒存在更一般的群与环 结构呢?这便是本文要讨论的问题。 ． 一、广义幂群 幂群 商群 在文[1]中，幂群是按下述方式定义的。 定义1．1 p(G)＼1≠}，若g按下述乘法： 设(G，-)为群，gc A·B={口·b d∈A。b∈B}，VA，B∈g 构成群，则称g为G的一个幂群，G称为g的生成群，以E表示g中单位元。 在(G，·)的幂集上，还有其他构成群的方式。 义： A。B=A·U一1·目，VA，B∈g A。1为A在(g．·)中的逆元。 例1．1中的群(g，。)匙G的幂集上的群，但一般不是群(G，·)按定义1．1所说的幂群。 为此引入广义幂群。 值或多值映射，定义g中运算“。”。 A。13={，(Ⅱ，b)ld∈A，6∈13}，VA，13∈g。 若(g，。)为群，则称(g，。)为(G，·)的广义幂群。 定理1．3 设(g，·)为(G，·)上的幂群，则(g，·)为(G，·)的广义幂群。 例1．1中的(g，。)是(G，·)的广义幂群 g∈G}，定义 定理1．4设(G，·)是群，H是G的子群，g={gH hz，hz∈一H} 刚 # 蛾 第三部分模糊代数 237 (i)(g，。)为群骨H司G (¨)(g，。)为群学(g，·)为群，且此时 (g】H)。(92H)=9192H=(91H)·(92H) 定理1．4表明。当且仅当HqG，商群才与幂群一致。 推论1．5 商群是幂群，当然也是广义幂群。 当我们谈到g是G上的幂群时，应明确关于什么样的运算而言。 设(G，·)为群，H司G，则g={gH ·“1·92H，则 (g，。)是与商群(G／H，·)一致的幂群Cgu∈H。 当“6 元按下述方式定义的群： 口。6=。·“一1·b，Ⅱ，b∈G，“≠e。 (G，。)篁(G，·)．“H司(G，。)，且(g，。)与商群(G／“H，。)一致。 二、幂环Hx环商环 商群一定是幂群，但商环不一定是HX环。 定义2．1 A④B垒{口+6l口∈A，b∈B} J口∈A，b∈BJ A·B垒{口·b 若毋关于上述运算构成环，则称统为R上的一个Hx环，其零元记为Q。 例2．1 设R=Z．I=(6)，R／f在下述定义下构成商环： 取z=2，y=2，按似环中乘法 (2+(6))·(2+(6))={4十12n J+36n2J”】。”2∈引 按商环中乘法 (2+(6))a(2+(6))=t4+6nn∈Z{ 由此可见需定义意义更广的幂环。