离散数学 ch6-2.3群、变换群、有限群.docVIP

离散数学 ch6-2.3群、变换群、有限群 导读：就爱阅读网友为您分享以下“离散数学 ch6-2.3群、变换群、有限群”资讯，希望对您有所帮助，感谢您对92的支持! 6-2.1 群与群的同构 Group 群是抽象代数中最重要的，所以对它的研究也比较多。 一. 概念 1.群的定义：设（G, * ）是个 半群: 封闭 独异点: 代数系统，如果*满足 结合 有幺元 可结合、有幺元且每个元素 群 可逆，则称它是个群。 可逆 即群定义： 设（G, * ）是代数系统, （1） （a * b）* c=a * (b * c) (结合律) （2）幺元 eS, (有幺元) （3）任何aS 有a-1S, (可逆) 则称（G, * ）是个群。 例如： 判断（I,+）,（R,+） ，（P(E), ?）， （R,×） 及（P(E), ∩）是否为群？请说明理由。 解：（I,+）,（R,+）幺元是 0，每个x的逆元是 -x 。 （P(E), ?）幺元是Φ ，因任何XP(E) X?X=Φ ∴X-1=X， （I,+）,（R,+）,（P(E), ?）是群。 而 （R,×） ,（P(E), ∩）都有幺元，但不是群。 2.可换群（阿贝尔群） 定义2: 设（G, * ）是群,运算*是可交换的，则称它是可 换群。 例如（I,+）,（R,+） ,（P(E), ?）都是可换群。 3.子群 定义3：设（G, * ）是群