惟一因子分解整环上的Smith矩阵.pdfVIP

四川大学硕士学位论文 1引言 设S={w1，W2，…，％}是整数环z上n个不同正整数构成的集合，e是一个 正整数．(她椭)和[戤，≈]分别为她，。i的最大公因子(GCD)和最小公倍数 (LCM)．我们称5为因子封闭集，简称Fc集，如果对于s中的任何元*：，它的任意 一个因子仍在S中．以(扎xi)的e次方为第i行，列元素的矩阵称为e次幂GCD 逆)，并得到了(s)的分解结构定理，即(S)可以分解为一个矩阵A和它的转置矩 阵A7的乘积，或者分解为三个矩阵的乘积EAEr,其中妒为E的转置矩阵，以为 J 下得到了(s)的逆矩阵的表达式，并由此证明了(s)整除[s]，即[s]可以表为 (s)与另外一个z上矩阵的乘积． 奇异的，并且其行列式 Det[S]=P(筇1)P(并2)…9(茹。)，r(髫1)丌(并2)…丌(Xn)， 这里9为Euler函数，万是一个乘法函数，定义在素数幂P7上，使得丌(pr)=一P． GCD封闭集(也就是最大公因子封闭集)，若S中任意两个元铂wf的最大公因子 成立，而当n≥8时，猜想不成立，并进而提出猜想：设e为正整数，则对于s上的 4 四川大学硕士学位论文 年来，对于GCD和LCM矩阵以及它们之间关系的研究日渐增多H，8J． 另外，也有研究者对幂GCD和幂LCM矩阵进行了推广．一方面，以算术函数 作为矩阵的元素，使得幂GCD和幂LCM矩阵成为这些矩阵的特殊情形[9‘12]．另 3|．在本文 意惟一因子分解整环(u．F．D．)R上，获得了类似于z上的一些结果u 中，我们在任意惟一因子分解整环R上定义了最大公P_因子(w，，，)P和最小公P- 下结果：①定义在集合Js上的e次幂GCD矩阵(酽)非奇异；②若s是R上的FC 果． 本论文中的结果取自文[14]和[15]． 5 四川大学硕士学位论文 2 素系及乘法函数 factorization 设只是一个惟一因子分解整环(即unique domain)，记加法单位 元为0，乘法单位元为1．而“常指R中的一个单位． 设x为R中的非0元．我们称*为R中元Y的因子，如果存在R中元z使得 I，，．若非0元*，y满足*=uy，则称*与Y相伴．两个非0元W与 Y=％，记为W y相伴当且仅当z=町．显然，单位u是任意元*的因子，*的任意相伴元一也是 *的因子．一般地，我们称尺中单位和“：的相伴元为z的平凡因子，其它的因子则 称为z的真因子．如果R中非0、非单位元P仅有平凡因子，则我们称P为素元． 熟知，若P为素元，则即也是一个素元．由R的定义，R中非0非单位元可以“惟 一”(具体含义参见文献[16])分解为R上一些素元的乘积，也就是说，任意非0 非单位元*∈R，有g=plClp2¨·P。‘，其中Pf(i=1，2…，s)为_R中素元，5，吼 为正整数． 设s={z1，*2，…，‰}是R上n个互不相伴非0元构成的集合，我们称s是 一个因子封闭(factorclosed)集，若对于任意她∈Sm的任何因子(包括平凡因 子和真因子)都∈s，或与s中某个元新相伴．若R中非0元d既是*的因子，又 是Y的因子，则称d为x，y的一个公因子．显然若d为z，Y的公因子，则以也是． R中元d称为*，，，的一个最大公因子，如果d是w，Y的一个公因子，且“，Y的任 意一个公因子d’都是d的因子．易见最大公因子并不惟一，但是它们之间互为相 伴元．同样，我们可以定义*，Y的最小公倍元(也不惟一)． 我们知道，R中的两个元间的相伴关系是一种等价关系(参见文献[17]，第 76页)，我们可以将R中元按照相伴关系分为一些互不相交的等价类，从每一个 类中取一个代表元．根据这种思想，我们引入素系的概念：