崔春強(qiáng)
摘 要:本文給出了在形式矩陣環(huán)Mn(R;s)上,克萊姆法則的一個(gè)推廣。
關(guān)鍵詞:形式矩陣環(huán);克萊姆法則;s-行列式
1.引言
克萊姆法則(Cramer's Rule)是線性代數(shù)中一個(gè)關(guān)于求解線性方程組的定理。它適用于變量和方程數(shù)目相等的線性方程組,是瑞士數(shù)學(xué)家克萊姆(1704-1752)于1750年,在他的《線性代數(shù)分析導(dǎo)言》中發(fā)表的。我們將要給出,在形式矩陣環(huán)Mn(R;s)上,克萊姆法則依然成立。
環(huán)R的雅各布森根,中心,零因子集和單位群分別記為 J(R),C(R),Z(R) 和 U(R)。
2. 主要結(jié)果
首先,我們介紹一些必要的定義和引理來輔助定理的證明。
容易驗(yàn)證,Mn(R;s)構(gòu)成一個(gè)環(huán),我們把它叫做由中心元 s 確定的環(huán) R 上的形式矩陣環(huán)。形式矩陣環(huán)上的矩陣乘法不同于經(jīng)典的矩陣乘法,我們有必要作簡(jiǎn)單的介紹,例如:
對(duì)于二階的情形M2(R;s) ,我們有:
對(duì)于三階的情形M3(R;s) ,我們有:
引理1.([1],性質(zhì) 4)設(shè) R 是環(huán),s∈C(R),n≥2。 那么
是一個(gè)環(huán)同態(tài)。
定義2.([1],定義 33) 我們把A∈Mn(R;s)的同態(tài)像 的行列式叫做形式矩陣環(huán)Mn(R;s)上 A 的s-行列式,記為dets(A)。
定義3.([2],P 3-4)設(shè)A∈Mn(R;s),
其中,Xk,Bk都是Mn(R;s)上的 n 階方陣。 XK的第 k 列是 ,其余位置的元素均為 0。Bk的第 k 列是 ,其余位置的元素均為 0。
我們把 叫做 s-線性方程組,且這個(gè)方程組等價(jià)于以下方程組:
該方程組可以寫成以下矩陣形式:
定理1([2],定理 2.8) 設(shè)A∈Mn(R;s),那么det(As,k)=dets(A)。
下面我們給出主要的結(jié)論及其一個(gè)例子。
定理2(Cramer's rule) 設(shè)A∈Mn(R;s)。如果dets(A)∈U(R),那么方程組
有唯一解 ,其中 ,
是把系數(shù)矩陣As,k的第 j 列用向量 代替后所得的矩陣。
證明:注意到 等價(jià)于As,kX=B,并且dets(A)=det(As,k)。
參考文獻(xiàn)
[1] G. Tang, Y. Zhou, A class of formal matrix rings, Linear Algebra Appl. 438(12)(2013), 4672-4688.
[2] G. Tang, C. Cui, On Zero-divisors of the Formal Matrix Ring , J. Guangxi Teachers Education University, 31(1)(2014), 1-6.