离散数学 第09章 代数系统.ppt

代数结构主讲:艾施荣 第三篇：代数结构目录 第八章 半群、语言和自动机 8.1 半群和语言 8.2 语言和文法 8.3 有限状态机 8.4 有限状态自动机 8.5 语言与自动机的关系 实验八：设计输出状态自动机 第八章 习题 第九章 代数系统 9.1 代数系统的概念 9.2 代数系统的运算及其性质 9.3 群与子群 9.4 同态与同构 9.5 交换群与循环群 置换群 第九章：代数系统 主要内容：构成代数系统的基本成分；二元运算性质和特异元素；同类型的与同种的代数系统 、群的定义、实例与术语、群的基本性质；子群的判别定理；陪集的定义及其性质、子群与群的陪集分解 、环与域； 教学要求：理解代数系统、群、环与域的概念，理解同态与同构、交换群与循环群 置换群的区别，理解子群与群的陪集分解 ； 重点：代数系统 、群的定义与性质、子群、陪集与拉格朗日定理、正规子群与商群、群的同态与同构、循环群与置换群 难点：代数系统的运算及其性质、陪集、群的同态与同构等概念的理解； 实践活动：代数系统的基本运算。 9.1 代数系统的概念 在计算机科学中，常用代数系统去描述机器可计算函数，研究运算的复杂性，分析程序设计语言的语义等。 由非空集合和该集合上的一个或多个运算所组合的系统，常称为代数系统，有时简