第六章代数系统ppt课件.ppt

《第六章代数系统ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章代数系统第六章代数系统6.1代数系统的一般概念6.2同态与同构6.3同余关系6.4商代数和积代数6.5典型代数系统6.1代数系统的一般概念定义：设S为非空集合，Ω为S上代数运算的非空集合，称为一个代数系统或代数结构。集合S称为V的定义域。如果为有限集合，则将记作。如果S为有限集合，则称V为有限代数系统，并称

2、S

3、为的阶。例1通常数的加法运算、乘法运算和减法运算都可看作是实数集R上的二元运算，它们构成代数系统。例2设是集合A上的关系}，是求复合关系的运算。它们构成代数系统。代数系统的一般概念例：设集合，是一个一元运算，并规定成这个代数系统称为

4、时钟代数。它通过重复地进行运算，从元素开始，可逐步地产生出M的每一个元素。因此，可以把1叫做代数系统的生成元。代数系统的一般概念定义：设为代数系统。如果非空集合对于每一个皆封闭，则也是代数系统，并称其为的子代数系统。例：考虑代数系统，其中+和是普通意义下的加法和乘法，则是的子代数系统。第六章代数系统6.1代数系统的一般概念6.2同态与同构6.3同余关系6.4商代数和积代数6.5典型代数系统6.2同态与同构定义：设和是两个代数系统。如果存在双射，使每个和对应的有相同的阶，则称代数系统和是同型的，称f为从到的同类映射，并记为。例：试说明代数系统和代数

5、系统是同型的，其中和定义为：对任意,解：令并且规定显然是个双射函数，并且和和具有相同的阶，即都是二元运算。所以题目中的两个代数系统是同型的。同型关系注意：代数系统之间的同型关系具有自反性，对称性和可传递性。同型关系是等价关系。同态和同构定义：设和是两个同型的代数系统,f为Ω1到Ω2的同型映射。如果存在函数g:S1→S2，使得对任意的及任意的均有则称和是同态的，而g则称为从V1到V2的关于f的同态映射，并且：(1)如果g为满射，则称g为关于f的满同态映射，简称关于f的满同态。(2)如果g为单射，则称g为关于f的单一同态映射，简称关于f的单一同态。

6、同态和同构(3)如果V1=V2，并且f为恒等映射，则称g为关于f的自同态映射，简称自同态。(4)如果g为双射，则称g为关于f的同构映射，简称关于f的同构，并称代数系统V1和V2是同构的。(5)如果V1=V2，并且f为恒等映射，则称g为关于f的自同构映射，简称自同构。同态和同构同态和同构例：给定代数系统和，定义函数如下：试证f是V1到V2的满同态映射。证：定义函数如下：显然g为双射，故V1和V2是同型的。又对于任意的,有使同态和同构故而所有即f是同态映射。同态和同构又因为对任意的，存在,使所以f是满同态映射，即代数系统V1和V2是满同态的。同态和同

7、构定理：若g为从到的关于f的同态，h为从到的关于的同态，则h◦g为从到的关于的同态。证：由于g为V1到V2关于f的同态，所以V1和V2是同型的；h为V2到V3关于的同态，所以V2和V3是同型的。由同型关系的可传递性，可得V1和V3是同型的。任取及得证。同态和同构推论：若g为从到的关于f的同构，h为从到的关于的同构，则h◦g为从到的关于的同构。同态和同构定理：设g为到的同态,则为的子代数，并称V3为V1的同态象点。证：显然，是G2的非空子集。任取及,则,有，使得且表明关于每个都是封闭的,故为的子代数。同态和同构定理：设g为到的关于f的满同态，f为从

8、到的双射函数。(1)若二元运算是可交换的（或可结合的），则也是可交换的（或可结合的）；(2)若二元运算关于二元运算是可分配的，则二元运算关于二元运算也是可分配的；(3)若关于二元运算有左单位元el（或右单位元er，或单位元e），则（或，或g(e)）为关于二元运算的左单位元（或右单位元，或单位元）；同态和同构(4)若关于二元运算有左逆元0l（或右零元0r，或零元0），则g(0l)（或g(0r)，或g(0)）为关于二元运算的左零元（或右零元，或零元）；(5)若关于二元运算有左逆元xl（或右逆元xr，或逆元x-1），则g(xl)(或g(xr)，或g(x

9、-1))为关于二元运算的左逆元（或右逆元，或逆元）。同态和同构证：(b)对任意的，由于，故存在，使g(x)=a，g(y)=b以及g(z)=c，而同理可得同态和同构证：(3)对任意的，存在，使，而故为关于的单位元。同样可证和分别为关于的左单位元和右单位元。从定理可知，满同态映射能够从一个代数系统到另一个代数系统单向保留所有的性质（如交换律、结合律、含零元、含单位元、元素的可逆性等），故满同态映射是确保结构的映射。第六章代数系统6.1代数系统的一般概念6.2同态与同构6.3同余关系6.4商代数和积代数6.5典型代数系统6.3同余关系定义：设为代数系统

10、，R为G上的等价关系。(1)若，对任意的只要a1Rb1,a2Rb2,就有，则称R关于具有代换性质。(2)若R关于每个都有代换性质，则称R