离散数学导论（第5版）-第三篇.pptVIP

* 离散数学导论（第5版） 电子教案 徐洁磐 * 第三篇 代数系统 代数系统是建立在集合论基础上以代数运算为研究对象的学科。本篇共三章，第5章代数系统基础介绍代数系统的一般原理与性质， 第6章群论，主要介绍具有代表性的代数系统－群，最后第7章其它代数系统，介绍除群外常见的一些代数系统，如环、域、格与布尔代数等，这三章相互配合构成了代数系统的完整的整体。 * 第5章 代数系统基础 §5.1 代数系统一般概念 1．代数系统中的基本概念 （1）代数系统：集合上具有封闭性的运算组成代数系统（S , ）。 （2）子代数：代数系统（S, ），（S?，?）满足： ① S??S ② 如 a , b?S?，a?b = a b 则称（S?，?）为（S, ）的子代数。 * §5.2 代数系统常见的一些性质 （3）代数系统常见性质 1）结合律：（a＋ b） ＋ c＝a ＋ （b ＋ c） 2）交换律：a ＋ b＝b ＋ a 3）分配律：a ＋ （b×c）＝（a ＋ b）×（a＋ c） 4）单位元：a ＋ e＝a 5）逆元：a ＋ a－1＝ e 6）零元：a ＋ Θ＝Θ 7）吸收律：a× （ a ＋ b） ＝ a ； a ＋ （ a × b） ＝ a 8）上界与下界： a × 1 ＝a ； a × 0 ＝ 0 ；a ＋ 1 ＝ 1 ； a ＋ 0 ＝ a ； 9 ）补元素： a × b ＝1 ； a ＋b＝ 0 * §5.3 同构与同态 （4）同构：（X， ）与（Y，?）存在一一对应函数g : X?Y使得如x1 , x2?X，则有：g（x1 x2）＝g（x1）?g（x2）此时则称（X, ）与（Y，?）同构。 （5）同态：（X , ）与（Y，?）存在函数g : X?Y使得如x1 , x2?X，则有：g（x1 x2）＝g（x1）?g（x2）此时则称（X， ）与（Y，?）同态。 §5.4 常用代数系统 （6）代数系统的构成 * （一个二元运算 ） 上界、下界 两亇 补元素 代数系统 结合律 半群 单位元、逆元 群 ?循环群 ?可换群 ?子群 ?循环半群 ?单元半群 ?可换半群 ? ?单元环 ?域 ?有补格 ?有界格 ?布尔代数 ? ? ? ? ? （两个二元运算：?, ) 两个运算的结合律、交换律、吸收律 格 两个运算的分配律 分配格 ?单位元， （两个二元运算：?, ) ?可换群, 半群, 对?分配群 环 交换律 可换环 , 逆元 交换律 单位元 生成元 交换律 生成元 子集上的群 * 第6章 群论 §6.1 一些群的定义 （7）半群——代数系统满足交换律 （8）单元半群——半群存在单位元 （9）群——半群存在单位元与逆元 （10）可换群——群满足交换律 （11）变换群——集合A上所有的变换构成的集合E（A），对于复合变换?所构成的代数系统（E（A）, ）是一个群，称变换群。 （12）循环群——群有生成元。 （13）有限群：群（S, ）中S为有限集。 （14）子群：群（G，?）上G的子集所构成的群。 * （15）正规子群：（H，?）是群（G，?）的子群，如对a?G都有：aH = Ha则称（H，?）是（G，?）的正规子群。 （16）陪集：H是G的子群，Ha＝{ha | h?H}, aH = {ah | h?H }分别称H在G中的一个右陪集或左陪集。 （17）商群：H是G的正规子群，对Ha，Hb?G/H，二元运算（Ha)?(Hb)＝Hab构成群，则称H是G的商群。 （18）单元半群性质： ? 单元半群的子系统若包含单位元也是单元半群。 ? 可列个元素的单元半群的运算组合表每行（列）