代数学大解说.docVIP

  • 18
  • 0
  • 约 22页
  • 2017-05-08 发布于湖北
  • 举报
本文主要分为两个部分,第一部分是对这学期所学课程进行一下总结,第二部分是通过对群论的理解,把它应用到信号处理中去。 一、代数学引论的课程总结 代数学是人类认识自然和改造世界的必然产物,是数学中最重要的、基础的分支之一。代数学的历史悠久,随着人类生活的提高,生产技术的进步,科学和数学本身的需要而产生和发展。在这个过程中,代数学的研究对象和研究方法发生了重大的变化。代数学可分为初等代数学和抽象代数学两部分。初等代数学是更古老的算术的推广和发展,而抽象代数学则是在初等代数学的基础上产生和发展起来的。“抽象的”、“形式的”或“公理化的”方向在代数学的领域中造成了新的高涨,特别在群论、域论、赋值论、理想论、超复数系理论等部中引起了一系列新概念的形成,建立了许多新的联系,并导致了一系列深远的结果。是高等代数的后续课程,代数学引论中的很多一般理论都建立在高等代数的一些具体的群、环、域上,例如,置换群、n阶矩阵环、数域p上的多项式环是高等代数提供的一些具体的代数结构。是一些元素的集合,.在中定义了乘法运算。如果对这种运算满足下面四个条件: 封闭性。即对任意,若,必有。 结合律。对任意,都有. 有唯一的单位元素。有,对任意,都有 有逆元素。对任意,有唯一的,使 则称为一个群。称为群的单位元素,称为的逆元素。 定理1(重排定理) 设,当取遍所有可能值时,乘积给出并且仅仅一次给出的所有元素。 定义2 设是群的一个子集,若对于与群同样的乘法运算,也构成一个群,则称为的子群。常记为。 容易证明,群的非空子集是的子群的充要条件为: (1)若,则, (2)若,则。 任意一个群,其单位元素和本身都是的子群,这两种子群称为显然子群和平庸子群。群的非显然子群称为固有子群。若不特别说明,一般说是指固有子群。 定义3 阶循环群是由元素的幂组成,,并且,记为 . 循环群的乘法可以交换,故循环群是阿贝尔群。从阶有限群的任一个元素出发,总可以构成的一个循环子群 称的阶为,是由生成的阶循环群。因为当为的一阶循环子群,这是显然子群。当如,则由生成2阶循环子群。如,用重排定理,知为中不同元素。通过增加,再利用重排定理,总可以在中达到。因此,从阶有限群的任一元素出发,总可以生成一个的循环子群。 定义4 设是群的子群,。由固定,,可生成子群的左陪集 同样也可生成的右陪集有时也将陪集称为旁集。当是有限子群时,陪集元素的个数等于的阶。 定理2(陪集定理)设群是群的子群,则的两个左(或右)陪集或者有完全相同的元素,或者没有任何公共元素。 定义5 若从群到群上,存在一个一一对应的满映射,而且保持群的基本运算规律(乘法)不变;即群中两个元素乘积的映射,等于两元素映射的乘积,则称群和群同构,记为。映射称为同构映射。 定义6 设群与群同态,中与的单位元素对应的元素集合,称为同态核。 定理3(同态核定理)设群与群同态,则有 同态核是的不变子群; 商群与同构。 定义7 定义两个自同构和的乘积,为先实行自同构映射,再实行自同构映射。 恒等映射对应单位元素。每个自同构映射有逆存在。于是群的所有自同构映射构成一个群,称为群的自同构群,记为或。的子群也称为的一个自同构群。 如果群的自同构映射,是由引起,即对任意,有,则称是的内自同构映射。 定义8 定义两个自同构和的乘积,为先实行自同构映射,再实行自同构映射。 恒等映射对应单位元素。每个自同构映射有逆存在。于是群的所有自同构映射构成一个群,称为群的自同构群,记为或。的子群也称为的一个自同构群。 如果群的自同构映射,是由引起,即对任意,有 则称是的内自同构映射。 环 环的基本理论可通过跟群的基本理论比较加深理解,其中交换环上的多项式环以及整环上的一元多项式环的理论在初等数论及高等代数的多项式理论中都已经了解过,可看成是对以前所学知识的一种推广。环是具有两种代数运算的代数结构,在本书中,与群相似的定义了子环、理想、商环、环的同态定理、环的反同构、整环、域等。下面是一些基本的定义以及定理等。 环是有两个二元运算并建立在群的基础上的一个代数系统。 定义1 设A是一个非空集合,在A中定义两中二元运算,一种叫加法,记作+,另一种叫乘法,记作·.且满足: (1)(A,+)是一个可换群; (2)(A,·)是一个半群; (3)左、右分配律成立,对,有: , 则称代数系(A,+,·)是一个环。 例:设是整数模n的同余类集合,在中定义加法和乘法分别为模n的加法和乘法:,。在前面我们已经知道是群,是半群。下面我们证明分配律成立: 。类似有,所以是环,称为整数模n的同余类(或剩余类)环。 如果环(A,+,·)对乘法也是可交换的,则称A是可换环。 设(A,+,·)是一个环,加群(A,+)中的单位元通常记作0,称为零元。元素在加群中的逆元记作,称为负元。环中的单位元指乘法半群

文档评论(0)

1亿VIP精品文档

相关文档