Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In answering Do these matrix rings have non-zero elements that are neither units nor zero divisors? I was surprised how hard it was to find anything on the Web about the generalization of the following fact to commutative rings:

A square matrix over a field has trivial kernel if and only if its determinant is non-zero.

As Bill demonstrated in the above question, a related fact about fields generalizes directly to commutative rings:

A square matrix over a commutative ring is invertible if and only if its determinant is invertible.

However, the kernel being trivial and the matrix being invertible are not equivalent for general rings, so the question arises what the proper generalization of the first fact is. Since it took me quite a lot of searching to find the answer to this rather basic question, and it's excplicitly encouraged to write a question and answer it to document something that might be useful to others, I thought I'd write this up here in an accessible form.

So my questions are: What is the relationship between the determinant of a square matrix over a commutative ring and the triviality of its kernel? Can the simple relationship that holds for fields be generalized? And (generalizing with a view to the answer) what is a necessary and sufficient condition for a (not necessarily square) matrix over a commutative ring to have trivial kernel?

share|improve this question
add comment

2 Answers 2

up vote 15 down vote accepted

I found the answer in this book. I'd tried using a similar Laplace expansion myself but was missing the idea of using the largest dimension at which the minors are not all annihilated by the same non-zero element. I'll try to summarize the argument in somewhat less formal terms, omitting the tangential material included in the book.

Let $A$ be an $m\times n$ matrix over a commutative ring $R$. We want to find a condition for the system of equations $Ax=0$ with $x\in R^n$ to have a non-trivial solution. If $R$ is a field, various definitions of the rank of $A$ coincide, including the column rank (the dimension of the column space), the row rank (the dimension of the row space) and the determinantal rank (the dimension of the lowest non-zero minor). This is not the case for a general commutative ring. It turns out that for our present purposes a useful generalization of the rank is the largest integer $k$ such that there is no non-zero element of $R$ that annihilates all minors of dimension $k$, with $k=0$ if there is no such integer. We want to show that $Ax=0$ has a non-trivial solution if and only if $k\lt n$.

If $k=0$, there is a non-zero element $r\in R$ which annihilates all matrix elements (the minors of dimension $1$), so there is a non-trivial solution

$$A\pmatrix{r\\\vdots\\r}=0\;.$$

Now assume $0\lt k\lt n$. If $m\lt n$, we can add rows of zeros to $A$ without changing $k$ or the solution set, so we can assume $k\lt n\le m$. There is some non-zero element $r\in R$ that annihilates all minors of dimension $k+1$, and there is a minor of dimension $k$ that isn't annihilated by $r$. Without loss of generality, assume that this is the minor of the first $k$ rows and columns. Now consider the matrix formed of the first $k+1$ rows and columns of $A$, and form a solution $x$ from the $(k+1)$-th column of its adjugate by multiplying it by $r$ and padding it with zeros. By construction, the first $k$ entries of $Ax$ are determinants of a matrix with two equal rows, and thus vanish; the remaining entries are each $r$ times a minor of dimension $k+1$, and thus also vanish. But the $(k+1)$-th entry of this solution is non-zero, being $r$ times the minor of the first $k$ rows and columns, which isn't annihilated by $r$. Thus we have constructed a non-trivial solution.

In summary, if $k\lt n$, there is a non-trivial solution to $Ax=0$. Now assume conversely that there is such a solution $x$. If $n\gt m$, there are no minors of dimension $n$, so $k\lt n$. Thus we can assume $n\le m$. The minors of dimension $n$ are the determinants of matrices $B$ formed by choosing any $n$ rows of $A$. Since each row of $A$ times $x$ is $0$, we have $Bx=0$, and then multiplying by the adjugate of $B$ yields $\det B x=0$. Since there is at least one non-zero entry in the non-trivial solution $x$, there is at least one non-zero element of $R$ that annihilates all minors of size $n$, and thus $k\lt n$.

Specializing to the case $m=n$ of square matrices, we can conclude:

A system of linear equations $Ax=0$ with a square $n\times n$ matrix $A$ over a commutative ring $R$ has a non-trivial solution if and only if its determinant (its only minor of dimension $n$) is annihilated by some non-zero element of $R$, that is, if its determinant is a zero divisor or zero.

share|improve this answer
2  
The book joriki links to is A Second Semester of Linear Algebra by S. E. Payne. Here are two other links to the same book, via the author's site: PDF file. HTML page: Class Notes. –  Pierre-Yves Gaillard Oct 11 '11 at 17:45
    
@YACP: Marc had a point; both Wikipedia and MathWorld require a zero divisor to be non-zero. ProofWiki includes zero and calls a non-zero zero divisor a proper zero divisor, but also mentions the other convention. Even ProofWiki titles themselves are inconsistent; some include "proper", others don't. The common expression "ring without zero divisors" requires excluding zero. –  joriki Mar 10 '13 at 21:15
    
@YACP: As far as I'm concerned, the internet is a big textbook that's more authoritative than any one individual other textbook, but I'm happy to resort to more conventional references. Lang, Algebra, p. $91$: "Elements $x$, $y$ of $A$ are said to be zero divisors if $x\ne0$, $y\ne0$, and $xy=0$." Note that I'm not claiming that there's one true definition and it's the one Marc was using; I'm trying to make the point that both conventions are in widespread use. –  joriki Mar 10 '13 at 22:49
    
@YACP: I've rolled back to Marc's version, not because I think we've completely settled the definitional issue, but because the potential for misunderstanding is much lower this way around; for someone using your definition this formulation is merely redundant, whereas for someone using Marc's definition the other formulation was wrong. –  joriki Mar 10 '13 at 22:52
add comment

See Section III.8.7, entitled Application to Linear Equations, of Algebra, by Nicolas Bourbaki.

EDIT 1. Let $R$ be a commutative ring, let $m$ and $n$ be positive integers, let $M$ be an $R$-module, and let $A:R^n\to M$ be $R$-linear.

Identify the $n$ th exterior power $\Lambda^n(R^n)$ of $R^n$ to $R$ in the obvious way, so that $\Lambda^n(A)$ is a map from $R$ to $\Lambda^n(M)$.

Put $v_i:=Ae_i$, where $e_i$ is the $i$ th vector of the canonical basis of $R^n$. In particular we have $$ Ax=\sum_{i=1}^n\ x_i\ v_i,\quad\Lambda^n(A)\ r=r\ v_1\wedge\cdots\wedge v_n. $$ (where $x_i$ is the $i$-th coordinate of $x$, and $r$ denotes any element of $\Lambda^n\left(R^n\right) \cong R$).

If $\Lambda^n(A)$ is injective, so is $A$.

In other words:

If the $v_i$ are linearly dependent, then $r\ v_1\wedge\cdots\wedge v_n=0$ for some nonzero $r$ in $R$.

Indeed, for $x$ in $\ker A$ we have $$ \Lambda^n(A)\ x_1=x_1\ v_1\wedge v_2\wedge\cdots\wedge v_n= -\sum_{i=2}^n\ x_i\ v_i\wedge v_2\wedge\cdots\wedge v_n=0, $$ and, similarly, $\Lambda^n(A)\ x_i=0$ for all $i$.

[Edit: Old version (before Georges's comment): Assume now that $M$ embeds into $R^m$.]

Assume now that there is an $R$-linear injection $B:M\to R^m$ such that $$ \Lambda^n(B):\Lambda^n(M)\to\Lambda^n(R^m) $$ is injective. This is always the case (for a suitable $m$) if $M$ is projective and finitely generated.

If $A$ is injective, so is $\Lambda^n(A)$.

In other words:

If $r\ v_1\wedge\cdots\wedge v_n=0$ for some nonzero $r$ in $R$, then the $v_i$ are linearly dependent.

The proof is given in joriki's nice answer.

This is also proved as Proposition 12 in Bourbaki's Algebra III.7.9 p. 519. Unfortunately, I don't understand Bourbaki's argument. I'd be most grateful to whoever would be kind and patient enough to explain it to me.

EDIT 2. According to the indications given by Tsit-Yuen Lam on page 150 of his book Exercises in modules and rings, the theorem is due to N. H. McCoy, and appeared first, as Theorem 1 page 288, in

  • N. H. McCoy, Remarks on Divisors of Zero, The American Mathematical Monthly Vol. 49, No. 5 (May, 1942), pp. 286-295, JSTOR.

Lam also says that

  • N. H. McCoy, Rings and ideals, The Carus Mathematical Monographs, no. 8, The Mathematical Association of America, 1948,

is an "excellent exposition" of the subject. See Theorem 51 page 159.

McCoy's Theorem is also stated and proved in the following texts:

share|improve this answer
    
Thanks for this link! Note, however, that the result is proved only for square matrices there. This case was the original motivation for the question, but the question and my answer apply to the general case. –  joriki Nov 10 '11 at 9:13
    
Dear @Pierre-Yves, I'm not quite sure that your claim (displayed in grey) "If $A$ is injective, so is $\Lambda^n A$" holds if you assume only that $M$ embeds into $R^m$.There is the subtle point that exterior products don't mean the same in both spaces, in other words $\Lambda ^n M\to \Lambda ^n R^m$ needn't be injective. Everything is fine if $M$ is projective, though, and this is Bourbaki's assumption . But this is nitpicking: +1, needless to say. –  Georges Elencwajg Nov 12 '11 at 14:17
    
Dear @Georges: No, this is definitely not nitpicking! Thanks a lot! I hope it's correct now. - It was my secret hope that you would read this answer. Did you see the last paragraph? I'm sure you understand Bourbaki's argument... –  Pierre-Yves Gaillard Nov 12 '11 at 15:11
    
Dear @Pierre-Yves: No, I don't understand Bourbaki's argument either. Specifically, when he writes "it follows from no.8, Corollary 3 to Theorem 1 that $\mu x_1$ is a linear combination....", I don't see how it follows. (By the way, this is Proposition 12 in my edition) –  Georges Elencwajg Nov 12 '11 at 18:19
    
Dear @Georges: Once more you're right: it's Proposition 12 (in the link to the English edition I give, and in my French edition - it was just a typo). Thank you very much for your time and effort. I'm having the same problem as you with Bourbaki's proof. It's weird. I find joriki's formulation of the argument very nice. –  Pierre-Yves Gaillard Nov 12 '11 at 18:42
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.