三二］为环R上的m×n级 - 信息工程大学学报.PDF

第2卷。第l期 信息工程大学学报 v01．2No．1 2001年3月 Joumal0fInf0舯ation M盯．200l En矛nee^“gUnivefsity 环Z／(p8)上线性方程组的求解 高峰修 (信息工程大学信息安全学院，河南郑州450002) 摘要：本文给出了环z／(p。)上线性方程有解的判别条件，解决了线性方程组的解的结构与计 数问题，从而使得解环z／(，)上的线性方程组解变得很容易。 关键词：环z／(∥)上线性方程组；环z／(，)一广义线性无关；环z／(p。)矩阵的广义秩 中图分类号：0174 文献标识码：A 线性方程组(1)和(2)的解的个数。 l 引言 2环月上广义线性无关 记R=z／(矿)为整数环z模p。的剩余类环， 其中p为素数，e为正整数。环冠上线性方程组 我们先引入环R上广义线性无关的概念。 形如： 定义1【2J向量组口l，d2，…，口r∈彤称为环R f oll01+01202+“ 一线性无关的，若由：cl口l+c2口2+…+。一，=0推 I 021*l+口22x2+一62 出cl，c2，…，c，全为环月中的零元。否则称n．， ‘+。2一一2 (+) a2，…，a，为环R一线性相关。 【Ⅱ。lzI+n。222+． 称环月上的n阶方阵A=(di)…为R上的n … 阶可逆阵，若方阵^的行列式IAI为冠中的可逆 f。lI 元，也即方阵A的n个行向量或列向量冠一线性无 记^=l；’． 【。。， … ：三二]为环R上的m×n级关。 定义2ll J向量组口l，a2，…，口，∈F称为环斤 Xl 一广义线性无关的，若由cl口1+c202+…+c一，=O Z2 矩阵，盖= =(*l，#2，…，*。)7，这里(*l，z2推出c。，c：，…，c，全为环冠中的非可逆元，否则称 ： ● 。t，a2，…，n，为环R一广义线性相关。 Z“ 显然，若向量组a。，a2．…，a，∈F是环矗一线 …，z。)7表示(*l，x2，…，z。)的转置，占=(6l，62， 性无关的，则a。，a：。…，n，也一定是R一广义线性 …，6。)7，则置上线性方程组(*)可表示为矩阵形 无关。 式： 引理l【2】设A为环R上的m×n级矩阵。则 脯=且