群中由子集定义的关系.pdfVIP

第 30卷第 4期 大 学 数 学 Vol_30，NQ．4 2014年 8月 CoLLEGE MATHEMATICS Aug．2014 群中由子集定义的关系 刘宏伟 ， 陈 刚 (华 中师范大学 数学与统计学学院，湖北 武汉 430079) [摘 要]考虑 了任何群 中的由一个非空子集定义的一个关系，证 明了这个关系是等价关系当且仅当这 个非空子集是一个子群．还研 究了这个关系是偏序关系的充要条件． [关键词]群 ；关系；等价关系；偏序关系 [中图分类号]O151．2l [文献标识码]C [文章编号]1672—1454(2014)04—0048—03 1 引 言 在一般综合性大学和师范院校数学专业设置的课程中，抽象代数 (有时又称为近世代数)课程对于 培养学生抽象的逻辑思维能力具有不可替代的重要地位，同时这门课程也担 当着数学专业代数方 向其 他课程学习的承前启后 的作用．它承接数学专业一 、二年级开设的高等代数 、解析几何课程 ，也为群论等 后续代数课程的学习提供必要的知识 、方法和能力 的准备．这门课程也与中学数学课程的知识 、教学等 紧密联系． 群 、关系、等价关系以及偏序关系等都是抽象代数课程 中的重要基本概念 ，贯穿于抽象代数课程学 习的整个知识体系结构之中．在抽象代数课程的实际教学 中，一般都是利用群 的一个子群来定义等价 关系 ，从而引出左陪集 、右陪集的概念 ，并导出群论 中第一个非常有用的定理，即 Lagrange定理．例如 在文献[1]中第二章的命题 2．4．1是如下叙述 的： 设 G是一个群 ，H 是G 的子群．对任a，bEG，如果 b～aEH ，则记 口三 b(modH)，称 口与b模 H左同余 ，那么 三 (modH)是G上的等价关系．a所在的等价类为 [n] 一aH ：一 { IhEH}，称为 a所在子群 H 的左陪集 ，商集记作 C／H 一 {aH laEG}． 本文的主要 目的是推广上述由群的子群来定义关系的思想 ：即由一个群的非空子集来定义该群上 的关系，并讨论相关的一些性质．也就是通过如下方式定义的关系： 定义 1 设 G是一个群 ，S是G 的一个非空子集．对a，bEG，如果b aES，则记 a～ b(modS)，称 a与b模s左同余 ；同理可以定义关系～ (modS)． 本文只对 ～ (modS)来叙述主要结果 ，对关系 ～ (modS)，可以得到类似的结论． 设 S是群G 的一个非空子集 ，记 S 一 。f5ES}．关于等价关系、偏序关系的定义可参见 [1．§1．2]或其它标准抽象(近世)代数教材． 在定义 1之下 ，有如下主要结果 ： 命题 1 上述由群G的非空子集 S定义的关系 ～ (modS)具有如下性质： (i)～L(modS)满足 自反律 当且仅当 1∈S； (ii)～ (modS)满足传递律当且仅当S是G 的乘闭子集 ； (iii)～ (modS)满足对称律当且仅 当S一 S． 由命题 l，我们有如下显然的推论 ： [收稿 日期]2014-01—01 第 4期 刘宏伟 ，等：群 中由子集定义的关系 49 推论 1 若 ～ (modS)满足传递律和对称律 ，那么它一定满足 自反律． 下面定理的一个方向就是[1，命题 2．4．1．]． 定理 1 ～ (modS)是G上的等价关系当且仅当s是G 的子群． 下面考虑 ～ ，(modS)何时是偏序关系．有如下结论 ： 定理 2 ～ (roodS)是G上的偏序关系当且仅当S是G 的幺子半群且SnS～ 一 {1)． 注 1 与[2，§5．1]中序域 (orderedfields)类似，可以把满足定理 2条件的群称为序群．我们不清 楚哪些群可以成为序群．当然 ，对任何群G ，取 S= {1)可以得到 G上的平凡序关系，相等关系．找到一 些特殊群上的非平凡的序关系似乎是一个有意思的问题． 2 主要结果及