代数学报告.doc

代数学引论报告 姓名：邵艳阁班级：硕1045班学号：3111054019群论在整数规划中的应用一、代数学引论的认识代数学引论是高等代数的后续课程，代数学引论中的很多一般理论都建立在高等代数的一些具体的群、环、域上，例如，置换群、n阶矩阵环、数域p上的多项式环是高等代数提供的一些具体的代数结构。代数学是研究各种代数系统如群、环、域、格、模、代数等的运算性质及其结构，就此而言仍然保持了代数研究量的运算关系的特征。不过这里的量已不再是具体的数、文字，而是一般的抽象符号。这些符号由某些结合法运算联系着。它是一门研究各种代数系统的结构及其性质的数学学科。它是在初等代数的基础上经过数系概念的推广，以及实施代数运算范围的扩大。它是研究具有代数结构的集合的性质，刻划它们并加以分类，这些对象是用公理定义的。代数系统首先是一个集合，集合是一类固定对象的全体。与此定义了集合上的等价关系，集合间的映射等。一个代数系统到另一个代数系统的映射，只有与它们的代数运算联系起来，才能发挥重要作用，保持运算的映射就是同构或同态。本课程首先介绍了群的概念，群是一种代数运算的代数系统，其中循环群是一种重要的群也是一种构造最简单的群；其次，还定义了子群、正规子群、陪群、商群、群的同态定理、群的自同构群等。环是具有两种代数运算的代数结构，与群相似的定义了子环、理想、商环、环的同态定理、环的反同构、整环、域等。模是一个与环有着紧密联系的交换群，最后给出了著名的伽罗瓦理论。伽罗瓦了理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答。伽罗瓦群论还给出了判断几何图形能否用尺规作图的一般解法，圆满的解决了三等分任意角或倍立方体的问题都是不可解的。群论在整数规划中的应用整数规划（IP）与线性规划(LP)是紧密联系的，因此我们先从线性规划问题说起。线性规划问题的一般描述： 求最大值：目标函数 其约束条件是：这里，是整数环中的矩阵，且；是的整数列矩阵；是行矩阵；，即的每个分量是非负实数。例 求最大值：满足的约束条件是 （1） 且.如在（1）中引入松弛变量，使（1）变为 则可将此问题写成如下矩阵形式：求最大值约束条件：LP问题中，如在增加一个条件：要求其最优解是整数，即满足约束条件的、使目标函数达到最大值的的各个分量为非负整数，那就是IP问题了。 曾有人设想，可否从LP的最优解取最接近此解的整数值，以得到IP的最优解。这种猜想很快被发现是错误的，从上例来看，它的最优解是，其近似整数值，给出，但这并不是将此例看作IP问题是的最优解。因也满足上述不等式，而给出的。整数规划问题的解虽不能直接从看作线性规划问题的解得出，但它们毕竟是有内在联系的。IP是LP的特殊情况，因此，有必要先介绍有关解线性规划问题的单纯性法。从约束条件是不等式的情况看出：当引入松弛变量后，矩阵就可包含一个的幺矩阵作为其子矩阵，因此，在LP问题中，我们可假设矩阵的秩是，今将的列向量做适当调整，使为如下形式：.其中是的非奇异矩阵。相应的调整与的分量次序，使之表示成从而LP 问题可表述为 求最大值： 约束条件：称中的变量为相应于基的基变量；中大的变量称为非基变量。由于可逆，因此从约束条件解出为 目标函数变为 在线性规划理论中指出：（1）若，令,从而产生一基可行解；（2）若，且,那么这个LP问题有最优解；（3）对于基，单纯性算法能探索出相应的最优解。由上可见，在目标函数中，由于是常数，IP问题等价为 求最大值： 约束条件：为了将IP问题转化为群问题，需要将实数的分数部分以整数模的思想分离出来，现在，我们比较严格的叙述这一过程。令与分别表示实维向量与整数维向量加法群，显然是的正规子群，因此，商群就可看作所有维实向量，，所成的群，其加法运算： 其中 因此，自然同态映射将映成。令表示中所含标量的指标集，即对应的那些列；表示的列，则今设是IP的可行解，则，利用同态映射，得到：.由于的分量是整数，故，当用表示列向量时，得（因的分量是整数）或，这样我们得到：命题1：IP的每个可行解也是群问题（GP）的可行解命题2：设是将IP看作LP问题时的最优基，那么群问题即求最大值：；约束条件：，整数具有最优解。命题3：设是将IP看作LP时的最优基，又设是命题2的GP问题的最优解，令，那么，若，向量给出IP的最优解。上