整系数线性方程组有整数解的一个充要条件.pdf

维普资讯 2002年 6月 山 东 师 范 大 学 学 报 (自然 科 学 版) Jun．2002 第 17卷 第 2期 JournalofShandongNormalUniversity(NaturalScience) VOI．17No．2 整系数线性方程组有整数解的一个充要条件 张 明 (济南教育学 院数学系 ，250001，济南 ；38岁 ，男 ，讲师 ) 摘要 讨论了整数环上矩阵的初等变换和初等方阵理论，引用整数环上的不变因子理论，证明了整系数线性方程组有整数 解 的一个充要条件 为了研究整数环上线性方程组 的整数解问题 ，首先讨论整数环上矩阵的初等变换和初等方阵 定义 1 整数环 Z上矩阵的下列变换称为初等变换l1j： 1)交换任意两行 (列)； 2)用 ±1乘某一行 (列)的所有元素 ； 3)用整数 k乘某一行 (列)中的所有元素后 ，加到另一行 (列)的对应元素上 ． 引理 1 设 A 为任意整数矩阵，则对 A进行初等变换可化为下列形式 ： d1 0 0 … 0 0 d2 0 … 0 A ； ； ， (d4：O)， 0 0 … 0 0 O O 0 O 其中d0且 djd+1，称 A 为A 的正规形式 ． 引理 1的证明可参阅[2]中 一矩阵标准形的证明，方法类似，在此省略． 类似于一般 一矩阵理论 [2]，每个整数矩阵的正规形式是唯一的，并称 中d1，d2，…，d，为A 的不变 因子 ． 定义 2 单位矩阵经一趴整数矩阵的初等变换得到的矩阵称为整数环上的初等方 阵． 整数环上的初等变换与初等方阵之间的关系，与数域上的类似[1]，在此不再重复叙述． 定义 3 设 A是一个 阶整数方阵，如果存在整数方阵 B，满足 AB=BA=E，则称 A 为单模方 阵，B 为A 的整逆方阵． 引理 2 1)整数方 阵A 为单模方阵的充分且必要条件为A 的行列式等于 ±1． 2)整数方阵A 为单模方阵当且仅 当A可表示成初等方阵的乘积 ． 定义 4 两个 r12×72矩阵A 与B称为等价的，若 A经初等变换可化为B． 引理 3 设A，B为整数矩阵，则 A 与B等价的充要条件是，存在一个 m 阶的单模方阵P和一个 阶 单模方阵Q，使 B=PAQ． 定理 1 整数矩阵 盘 11 盘 12 盘1 0 盘 11 盘 12 盘1 b1 盘21 a 22 a2 0 a21 盘 22 盘2 62 A o= 与A = - ： ： ： - - ： ● 盘m l 盘m2 盘 0 盘，nl 盘，n2 盘 n b 收稿 日期 ：2001—12—18