## Do these matrix rings have non-zero elements that are neither units nor zero divisors?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

First, a disclaimer: This is a repost of a question I asked on stackexchange (no answer there).

Let $R$ be a commutative ring (with $1$) and $R^{n \times n}$ be the ring of $n \times n$ matrices with entries in $R$.

In addition, suppose that $R$ is a ring in which every non-zero element is either a zero divisor or a unit [For example: take any finite ring or any field.] My question:

Is every non-zero element of $R^{n \times n}$ a zero divisor or a unit as well?

We know that if $A \in R^{n \times n}$, then $AC=CA=\mathrm{det}(A)I_n$ where $C$ is the classical adjoint of $A$ and $I_n$ is the identity matrix.

This means that if $\mathrm{det}(A)$ is a unit of $R$, then $A$ is a unit of $R^{n \times n}$ (since $A^{-1}=(\mathrm{det}(A))^{-1}C$). Also, the converse holds, if $A$ is a unit of $R^{n \times n}$, then $\mathrm{det}(A)$ is a unit.

I would like to know if one can show $0 \not= A \in R^{n \times n}$ is a zero divisor if $\mathrm{det}(A)$ is zero or a zero divisor.

Things to consider:

1) This is true when $R=\mathbb{F}$ a field. Since over a field (no zero divisors) and if $\mathrm{det}(A)=0$ then $Ax=0$ has a non-trivial solution and so $B=[x|0|\cdots|0]$ gives us a right zero divisor $AB=0$.

2) You can't use the classical adjoint to construct a zero divisor since it can be zero even when $A$ is not zero. For example:

$$A=\begin{pmatrix} 1 & 1 & 1 \cr 0 & 0 & 0 \cr 0 & 0 & 0 \end{pmatrix} \qquad \mathrm{implies} \qquad \mathrm{classical\;adjoint} = 0$$ (All $2 \times 2$ sub-determinants are zero.)

3) This is true when $R$ is finite (since $R^{n \times n}$ would be finite as well).

4) Of course the assumption that every non-zero element of $R$ is either a zero divisor or unit is necessary since otherwise take a non-zero, non-zero divisor, non-unit element $r$ and construct the diagonal matrix $D = \mathrm{diag}(r,1,\dots,1)$ (this is non-zero, not a zero divisor, and is not a unit).

5) This is somewhat related to the question: http://mathoverflow.net/questions/42647/rings-in-which-every-non-unit-is-a-zero-divisor

6) This is definitely true when $n=1$ and $n=2$. It is true for $n=1$ by assumption on $R$. To see that $n=2$ is true notice that the classical adjoint contains the same same elements as that of $A$ (or negations):

$$A = \begin{pmatrix} a_{11} & a_{12} \cr a_{21} & a_{22} \end{pmatrix} \qquad \Longrightarrow \qquad \mathrm{classical\;adjoint} = C = \begin{pmatrix} a_{22} & -a_{12} \ -a_{21} & a_{22} \end{pmatrix}$$

Thus if $\mathrm{det}(A)b=0$ for some $b \not=0$, then either $bC=0$ so that all of the entries of both $A$ and $C$ are annihilated by $b$ so that $A(bI_2)=0$ or $bC \not=0$ and so $A(Cb)=\mathrm{det}(A)bI_2 =0I_2=0$. Thus $A$ is a zero divisor.

7) Apparently strange behavior can occur when $R$ is non-commutative (not surprising). Like a matrix can be both a left inverse and left zero divisor. [The determinant keeps this from happening in the commutative case.]

-
I'm not sure why, but the "\\" are being ignored in my matrices! – Bill Cook Oct 11 2011 at 14:06

1
You must use \\\\ – Wilberd van der Kallen Oct 11 2011 at 14:14

4
Better suggestion than Wilberd's: use \cr rather than \\ in matrices. MO has re-taught me that most characters that could be considered special have alternate command names in LaTeX, which is very helpful when the MO software wants to interpret them as special characters. E.g. "<" is bad, but you can use \lt instead, you can use \lbrace for "{" etc. – Thierry Zell Oct 11 2011 at 14:30

1
Sorry for taking too long to write up the answer at math.SE -- David beat me to it by 20 minutes :-). Here it is: math.stackexchange.com/questions/71235/… – joriki Oct 11 2011 at 16:29

1
Actually, as far as I've seen definitions, $0$ is usually not called a zero divisor (so an integral domain is a non-trivial commutative ring without zero divisors). But in the current setting saying "zero divisor of zero" all the time would indeed by tiresome. – Marc van Leeuwen Mar 10 at 11:15
show 4 more comments

## 1 Answer

The answer given by David Speyer can be strengthened as follows. If $A$ is a non-invertible $n\times n$ matrix with entries in $R$ as described in the problem, then the linear maps $R^n \to R^n$ defined by either left or right multiplication are non-injective. In particular, $A$ is both a left-zero-divisor and a right-zero-divisor.

This is a consequence of McCoy's rank theorem. You can find a nice, brief account of this in Section 2 of this paper by Kodiyalam, Lam, and Swan. One consequence of the theorem is that for any commutative ring $R$, a square matrix $A$ over $R$ has linearly independent columns if and only if its determinant is not a zero-divisor, if and only if its rows are linearly independent.

So if every element of $R$ is either invertible or a zero-divisor, this means that every square matrix over $R$ defines a linear transformation that is either invertible or non-injective.

-

1
You can find a proof of McCoy's theorem here: www2.im.uj.edu.pl/actamath/PDF/30-215-218.pdf – Manny Reyes Oct 11 2011 at 16:46

2
To repeat a comment from my answer, once you know that $A:R^n \to R^n$ has a kernel, say $Av=0$, then let $V$ be the $n \times n$ matrix whose columns are all copies of $v$ and you get $AV=0$. That's a nice proof, thanks for finding it! – David Speyer Oct 11 2011 at 17:13
Right, David - thanks for being explicit for me! – Manny Reyes Oct 11 2011 at 17:22
Many thanks Manny! – Bill Cook Oct 11 2011 at 17:24
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 68, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9009101986885071, "perplexity_flag": "head"}