2

I am attempting to prove that given a field R, a matrix $A \in M_n(R)$ is invertible if and only if $A$ is not a zero divisor in $M_n(R)$. Furthermore I am trying to figure out whether or not this iff holds when R is only assumed commutative.

I have seen other posts asking similar questions, but they use methods (e.g. fraction fields) that are at least three lectures ahead of where I am currently at in my algebra class. I have proven the "invertible implies not a zero divisor" direction, can someone please help me with the converse and in finding this counterexample to the commutative R version - if there even exists one, but with how the proof of the R is a field case is going it seems like we do need R to be a field.

I have only just learned about matrix rings as well as types of rings like fields and domains and subrings.

Personal
  • 83
  • 5
  • 6
    The $1 \times 1$-matrix $\begin{pmatrix} 2 \end{pmatrix}$ over $\mathbb Z$ is not invertible, but it is a non-zero-divisor. – darij grinberg Oct 04 '21 at 20:42
  • Hint for the case of a field: Show that a zero-divisor of $M_n\left(R\right)$ is either a non-injective or a non-surjective linear map (depending on the side from which it is being multiplied on). – darij grinberg Oct 04 '21 at 20:45
  • @darijgrinberg So I defined a map from $M_n(R)$ to itself where the image of $x$ is $Ax$. If $A$ is a zero divisor where $AB=0$, then $0$ and $Bx$ map to $0$ so the map is noninjective. Since in my proof I need to begin by assuming either A is not a zero divisor (direct proof), or, A is not invertible (contrapositively) - what is the noninjective-ness supposed to signal? We have, If A is a zero divisor, then the map is noninjective which doesnt seem to quite fit in the assumptions of what I am trying to prove, could you please clarify how this noninjective map helps? – Personal Oct 04 '21 at 21:17
  • 2
    An element $A\in M_n(R)$ is invertible iff $\varphi: M_n(R) \rightarrow M_n(R), B \mapsto AB$ is bijective (and multiplication by $A^{-1}$ is the inverse). Now note that $\varphi$ is a linear map and thus (in finite dimensions over a field) injective iff surjective iff bijective. – Severin Schraven Oct 04 '21 at 21:46
  • @SeverinSchraven thank you! – Personal Oct 04 '21 at 22:08
  • @darijgrinberg thank you! – Personal Oct 04 '21 at 22:09

2 Answers2

2

[Disclaimer: I have to assume that you know a little about finite-dimensional vector spaces over a field. I don't see how you could approach this question otherwise.]

If $R$ is a field, then $M_n(R)$ is a vector space over $R$ under matrix addition and scalar multiplication. For each $A \in M_n(R)$, the mapping $L_A : M_n(R) \to M_n(R)$ such that $L_A(B) = AB$ for all $B$ is a linear transformation from $M_n(R)$ to itself. If $A$ is not a zero divisor, then $L_A$ is injective (because $L_A(B) = AB = 0$ iff only $B = 0$, implying that $\ker(L_A) = \{0\}$). But $M_n(R)$ is finite dimensional (with dimension $n^2)$, so if $L_A$ is injective, it is also surjective. This implies that there is some $A' \in M_n(R)$ with $AA' = L_A(A') = I$ (where $I$ is the unit matrix). So we have that (i):

$$AA' = I$$

and that (ii):

$$L_A(A'A) = A(A'A) = (AA')A = IA = A = AI = L_A(I)$$

and so as $L_A$ is injective, (ii) gives us that (iii):

$$A'A = I$$

(i) and (iii) give us that $A$ is invertible with inverse $A'$.

The comments have dealt with things that can go wrong if $R$ is not assumed to be a field. E.g., if $R$ is only assumed to be an integral domain, $A$ could represent scalar multiplication by a non-zero scalar with no inverse.

Rob Arthan
  • 51,538
  • 4
  • 53
  • 105
2

Here’s a trick to see that it does not only hold for fields.

Let’s say you believe that $M_4(F)$ has that property, that all elements are either a zero divisor or a unit. Then you already know that $M_2(M_2(F))$ (it’s the same ring) also has that property, and $M_2(F)$ is certainly not a field.

There is a very large class of rings which has this property: they are called right Artinian rings. This post had a lot of information on that in the solutions.

It turns out that square matrix rings over right Artinian rings are right Artinian too, so it gives you lots of noncommutative examples.

rschwieb
  • 160,592