交换环上的形式矩阵环的零因子和零因子图

摘要

This paper is devoted to zero-divisors of formal matrix ring Mn(R;{sijk}) over a commutative ring R.First,we introduce the notion of left (right) system of formal linear equations over a ring R,and obtain necessary and sufficient conditions for a left (right) homogeneous system of formal linear equations over a commutative ring to have a nontrivial solution.Second,we prove that an element A of Mn(R;{sijk}) is a zero-divisor if and only if its determinant is a zero-divisor in R,and if and only if A is a zero-divisor in R[A].Relative concepts and results on system of linear equations and matrix rings over a commutative ring are generalized.Third,we investigate properties of zero-divisor graph of the formal matrix ring Mn(R;{sijk}).%本文主要研究交换环R上的形式矩阵环Mn(R;{sijk})的零因子和零因子图.首先给出了环上形式线性方程组的概念,并且得到了交换环上形式齐次线性方程组有非平凡解的充分必要条件.然后证明了A是Mn(R;{sijk})的零因子当且仅当A的行列式是R的零因子当且仅当A是R[A]的零因子.最后研究了交换环R上的形式矩阵环Mn(R;{Sijk})的零因子图的性质.