設(shè)Ω是一個(gè)適合左(右)消去律的Monoid,*和*是兩個(gè)有1的Ω分次環(huán),*是一個(gè)Ω分次(S,T)雙模,*是由它們確定的Ω分次三角矩陣環(huán)。證明了當(dāng)sB是分次忠實(shí)模時(shí),R是分次非奇異環(huán)當(dāng)且僅當(dāng)T是分次非奇異環(huán),Br是分次非奇異模。
關(guān)鍵詞:分次三角矩陣環(huán);分次本質(zhì)子模;分次非奇異環(huán);分次非奇異模
中圖分類(lèi)號(hào):O153.3文獻(xiàn)標(biāo)識(shí)碼:A