高等工程数学课件--2.1 代数运算,同态及同构.pptVIP

* 2.1 代数运算，同态与同构 2.2 群 2.3 环与域 2.4 线性空间 2.5 模 第2章 代数结构与线性空间 2.6 线性代数 2.1.1 代数运算 2.1 代数运算，同态与同构 定义2.1.1 设A,B,C是三个非空集合. 到C的映射称为A与B到C的一个代数运算(algebraic operation)。 到C的映射称为A到C的代数运算； 到A的映射称为A的代数运算或A的二元运算，也称集合 A对代数运算是封闭的。 一个代数运算是一个特殊的映射。如果有A 与B到C的一个代数运算记为“ ”, 则由定义，对任意 ，经过代数运算 得唯一的 ，即 :(a,b)→c，记为c=a b . 例2.1.1 上的加法与数乘。 定义2.1.2 设A, B是两个非空集合。 （1）设 是A上的一个代数运算，如果对任意 ，都有 则称A上的代数运算 适合结合律(associative law)。 （2）设 是A上的一个代数运算，如果对任意 ，都有 则称A上的代数运算 适合交换律(commutative law)。 （3）设 是B与A到A的一个代数运算， 是A的一个代数运算。 如果对任意 及任意 ，都有 则称代数运算 对 适合左分配律(left distributive law)。 定理2.1.1设A, B是两个非空集合。 （1）若A上的代数运算 适合结合律，则对任意 个元素 ， 有意义。 （2）如果A上的代数运算 同时适合结合律和交换律，则对任意 个元素 ， 中元素的次序可以交换且结果相同。 （3）如果A上的代数运算 适合结合律，并且B与A到A的代数运算 对 适合左分配律，则对任意 和任意 ，有 2.1.2 同态与同构(homomorphism and isomorphism) 定义2.1.3 设A, B是两个非空集合， 是A到B的一个映射， 和 分别是A和B上的代数运算。如果对任意 ，都有 则称 为A到B的同态映射(homomorphic mapping)。 如果 是A到B的一个同态映射，并且是A到B的满映射，则称 为A到B的一个同态满映射。对集合A和B的代数运算 和 ，如果存在A到B的一个同态满映射，则称A与B同态。 如果 是A到B的一个同态映射，并且是A到B的双映射，则称 为A到B的一个同构映射。对集合A和B的代数运算 和 ，如果存在A到B的一个同构映射，则称A与B同构，记为 。 定理2.1.2 设 分别是集合A和B的代数运算。如果 A与B同态，则 定理2.1.3 设 是集合A的两个代数运算， 是集合B的两个代数运算，并且存在A到B的一个满映射 ，使得A与B对代数运算 同态，并且对代数运算 也同态，则 定理2.1.4 定义2.1.4 设 是集合A的一个代数运算， 是A到自身的一个同构映射，则称A对代数运算 是自同构的。 2.2.1 群的基本概念 定义2.2.1 设G是一个非空集合, 是G上的代数运算, 并适合结合律, 即对任意 则称G按代数运算 成为半群，或简称G为半群，记为 。 如果半群G上的代数运算 还适合交换律, 则称G为交换半群或Abel半群。 2.2 群 例. (1) (N, +), (N, )是半群； (2) 是半群。 定义2.2.2 设 是一个半群, 如果存