5
$\begingroup$

This is problem $15$ from Chapter $3$ of Atiyah's and Macdonald's book.

Let $A$ be a ring let $F$ be the $A$-module $A^{n}$. Show that every set of $n$ generators is a basis of $F$. Here's the hint:

Let $x_{1},..,x_{n}$ be a set of generators of $F$ and let $e_{1},..,e_{n}$ be the canonical basis of $F$. Let $\phi: \rightarrow F$ be defined by $\phi(e_{i})=x_{i}$. Then $\phi$ is surjective and we may assume $A$ is local. Let $N=ker(\phi)$ and let $k=A/\mathfrak{m}$ be the residue field of $A$. Since $F$ is a flat $A$-module then the exact sequence:

$0 \rightarrow N \rightarrow F \rightarrow F \rightarrow 0$ induces an exact sequence

$0 \rightarrow k \otimes N \rightarrow k \otimes F \rightarrow k \otimes F \rightarrow 0$.

First question: we actually need to assume $A^{n}$ is local no? because $F=A^{n}$ but if $A^{n}$ is local then so is $A$ right? because every maximal ideal $M_{i}$ of $A^{n}$ is of the form $A_{1} \times A_{2} \times... M_{i} \ ... \times A_{n}$. And if $A$ is local then $A^{n}$ is local so $A$ is local iff $A^{n}$ is local. Is this the reasoning behind the hint?

Second question: The part I don't understand is why when tensoring with $k$ the sequence remains exact? we know that $F$ is flat because it is free so tensoring any exact sequence with $F$ remains exact, but why tensoring with $k$ also remains exact? it seems that we are assuming $k$ is a flat $A$-module, but why is this?

  • 3
    I think exactness can be derived from the fact that $F$ is free, therefore the above sequence splits, and so does the tensored sequence, no matter what $A$ module you tensor it with. Also, you can show more generally that if $A$ is a commutative ring, and $M$ an finitely generated $A$ module, then every surjective endomorphism $\varphi\in\mathrm{Hom}_A(M)$ is actually an isomorphism, mirroring the situation for finite dimensional vector spaces.2011-07-15
  • 0
    The proof is not difficult, but tricky.2011-07-15
  • 1
    The left hand term is $Tor(k,F)$, which is zero since $F$ is flat.2011-07-15
  • 0
    Also, you only need $A$ local: the above exact sequence implies $k\otimes N=0$, which is the same as saying $N/mN=0$, or $N=mN$; now use Nakayama's Lemma.2011-07-15
  • 0
    @Steve D: when trying to show that the map $f: A^{n} \rightarrow A^{n}$ is surjective it suffices to show then that the induced map $f_{P}$ is injective for each $P \in Spec(A^{n})$ no? that's why I asked, so really we are looking at $A^{n}$. Sorry I'm a beginner with this.2011-07-15
  • 0
    Dear user6495, There are some misconceptions in your post. Firstly, $A^n$ is never being considered as a ring, just an $A$-module, so it doesn't make sense to say that $A^n$ is local. (Locality is a property of rings, not modules.) As a side point, if $n > 1$ and $A$ is non-zero, then $A^n$ is *never* local, so it is good that locality of $A^n$ is not required.2011-07-15
  • 0
    @Matt E: oh I see where the confusion lies, thanks. Why is it that if $n>1$ and $A$ is non-zero then $A^{n}$ is never local?2011-07-15
  • 0
    Secondly, $k$ will not be flat as an $A$-module unless $A = k$, so, while it *is* true that one would have exactness after tensoring with $k$ were flat as an $A$-module, that flatness will almost never hold. The point is that if $0 \to M' \to M \to M'' \to 0$ is an exact sequence of $A$-modules with $M''$ flat and $N$ is any $A$-module, then $0 \to M' \otimes N \to M\otimes N \to M''\otimes N \to 0$ is again flat. There are various ways to see this; @Olivier notes one (an argument with Tor) in his comment above. As Olivier also notes, in your case $M''$ is not just flat, but free, so ...2011-07-15
  • 1
    in fact the original exact sequence splits, which makes it obvious that it stays exact after tensoring. (Nevertheless, the more general statement with flat modules if often very useful.) Regards,2011-07-15
  • 0
    Regarding non-locality of $A^n$ when $n > 1$: let me take $n =2$ for concreteness. If $A$ is non-zero, it contains a maximal ideal $m$. Then $A\times m$ and $m \times A$ are both maximal ideals of $A^2$, so $A^2$ cannot be local. (A differently phrased, more geometric, argument is that Spec $A^2$ is the disjoint union of Spec $A$ with itself, hence is disconnected, while Spec of a local ring is always connected. The two arguments are closely related, though.) Regards,2011-07-15
  • 0
    @Matt E, the $\mathrm{Tor}$ comment was not mine! I said what you said in your last comment. Also, is it easily shown that when a short exact sequence ends with a flat module, it remains exact after tensoring with any $A$ module $N$? If you say it's easy I'll have a go at it before going to bed :)2011-07-15
  • 1
    @Olivier: Dear Olivier, Sorry (and apologies to Steve D too!); thanks for pointing this out. As for how easy it is, the argument that I would make (which is probably the standard one) would involve a spectral sequence --- it is essentially the fact that Tor can be computed by taking a flat resolution in either variable, and this can be proved by considering a spectral sequence coming from a double complex obtained by taking a flat resolution of both variables. But there might be a more nimble approach; I'm not sure right now. Best wishes,2011-07-15
  • 0
    People seem to be ignoring my answer for some reason. Let me just comment that it *does not* reduce to the local case: there is a version of Nakayama's Lemma which holds for any ideal $J$ of $R$ and any finitely generated module $M$...2011-07-15
  • 0
    And in fact this version of Nakayama's Lemma appears as Corollary 2.5 in Atiyah-Macdonald. (It just happens not to be called Nakayama's Lemma. They reserve that for the next result, which involves an ideal contained in every maximal ideal. In my experience, it's useful to be rather generous and call any of several cognate results in this area "Nakayama's Lemma".)2011-07-15
  • 0
    @Olivier: About the injectivity of surjective endomorphisms of finitely generated modules over commutative rings: Is the argument you have in mind the same as the one used to prove Theorem 52 p. 48 in [Pete’s notes](http://math.uga.edu/~pete/integral.pdf)? (See Pete’s answer.)2011-08-08
  • 0
    @Pierre-Yves Gaillard see the answer I left below, there was no room in the comment section. In it I write that it avoids the Nakayama lemma, but it uses a determinant, and as I remember it, there is a "determinant trick" when proving the Nakayama lemma. So maybe it doesn't really bring anything new to the table.2011-08-08

4 Answers 4

0

This is a comment about Pete's answer.

Pete writes:

In fact a stronger result is true: every finitely generated module over a commutative ring is Hopfian. The proof is a quick -- but somewhat tricky -- application of Nakayama's Lemma. See for instance $\S 3.8.2$ of my commutative algebra notes. The argument given there is taken from (page 9!) of Matsumura's Commutative Ring Theory.

I'll try to rephrase Matsumura's argument in a slightly different way.

Theorem. Let $A$ be a commutative ring and $\psi$ a surjective endomorphism of a finitely generated $A$-module $M$. Then $\psi$ is invertible.

We'll use the

Lemma. Let $B$ be a commutative ring, $\mathfrak b\subset B$ an ideal, $M$ a finitely generated $B$-module, and $\phi$ an endomorphism of $M$ such that $\phi M\subset\mathfrak bM$. Then $\phi$ is in the radical of the ideal $\mathfrak b[\phi]$ of $B[\phi]$: $$ \phi\in r(\mathfrak b[\phi])\subset B[\phi]. $$

The Lemma implies the Theorem. Applying the Lemma to the ring $B:=A[\psi]$, to the ideal $\mathfrak b:=(\psi)\subset B$, to the module $M$, and to the endomorphism $$ \phi:=\text{id}_M=1\in B=A[\psi], $$ we see that $1$ is in the radical of $(\psi)\subset B$. This implies indeed that $\psi$ is invertible.

Proof of the Lemma. Let $(x_j)$ be a finite system generating $M$. Each $x_j$ can be written as $$ x_j=\phi\ \sum_k\ a_{jk}\ x_k $$ for some $a_{jk}$ in $\mathfrak b$. In other words we have $$ \sum_k\ (\delta_{jk}-a_{jk}\phi\ )\ x_k=0 $$ (where $\delta$ is Kronecker's delta), i.e. the elements $$ b_{jk}:=\delta_{jk}-a_{jk}\phi\in B[\phi] $$ satisfy $$ \sum_k\ b_{jk}\ x_k=0. $$ If $(c_{ij})$ is the adjugate of the matrix $(b_{jk})$, we get $$ \sum_j\ c_{ij}\ b_{jk}=\delta_{ik}\ \Delta,\quad\Delta:=\det(b_{jk})\in B[\phi]. $$ Let's compute $$ y_i:=\sum_{j,k}\ c_{ij}\ b_{jk}\ x_k\in M $$ in two ways. On the one hand we have $$ y_i=\sum_j\ c_{ij}\ \sum_k\ b_{jk}\ x_k=0. $$ On the other hand we have $$ y_i=\sum_k\ \left(\sum_j\ c_{ij}\ b_{jk}\right)x_k=\sum_k\ \delta_{ik}\ \Delta x_k=\Delta x_i. $$ This implies successively that $\Delta x_i=0$ for all $i$, that $\Delta x=0$ for all $x$ in $M$, and that $\phi$ is in the radical of the ideal $\mathfrak b[\phi]$ of $B[\phi]$.

7

For a (let's say commutative) ring $R$, a left $R$-module is Hopfian if every surjective $R$-module map from $M$ to $M$ is an isomorphism. The exercise in Atiyah-Macdonald can thus be restated as: every finitely generated free module over a commutative ring is Hopfian.

In fact a stronger result is true: every finitely generated module over a commutative ring is Hopfian. The proof is a quick -- but somewhat tricky -- application of Nakayama's Lemma. See for instance $\S 3.8.2$ of my commutative algebra notes. The argument given there is taken from (page 9!) of Matsumura's Commutative Ring Theory. (The proof does not require homological algebra although a few of the exercises in Atiyah-Macdonald do.)

Note that an easy example of a non-Hopfian module is the direct sum of countably many copies of any nonzero $R$-module $M$, so finite generation is an absolutely necessary hypothesis.

Let me address a couple of questions you ask later in your post.

1: $A^n$ is not a local ring when $n > 1$ (and $A \neq 0$, of course). Your description of the maximal ideals makes reference to the $i$th component, so by varying $i$ you get more than one maximal ideal.

2: No, if $\mathfrak{m}$ is a nonzero maximal ideal of $R$, then $k = R/\mathfrak{m}$ need not be a flat $R$-module. For instance, when $R$ is a domain, every flat $R$-module is torsionfree hence faithful, but $k$ has a nonzero annihilator $\mathfrak{m}$. However it is still true that after tensoring with $k$ the sequence is exact, for instance by an argument involving $\operatorname{Tor}$ as noted in the comments, or as Matt notes, since the freeness of the last term in the original short exact sequence means the sequence splits, and tensoring a split exact sequence results in another split exact sequence.

  • 0
    thanks for you answer, I did not ignore it, I found it helpful as usual.2011-07-16
  • 0
    @user6495: You're more than welcome. The word "ignore" was perhaps too strong. I wasn't actually upset; it was more like "Hey, let *me* into this fun conversation you're having..."2011-07-16
  • 0
    Dear Pete: I posted a comment to your answer [as an answer](http://math.stackexchange.com/a/107385/660).2012-02-09
7

At the OP's request, I am converting some of my comments above into an answer:

Firstly, $A^n$ is never being considered as a ring, just an $A$-module, so it doesn't make sense to say that $A^n$ is local. (Locality is a property of rings, not modules.) As a side point, if $n>1$ and $A$ is non-zero, then $A^n$ is never local, so it is good that locality of $A^n$ is not required!

(To prove this last point: let me take $n=2$ for concreteness. If $A$ is non-zero, it contains a maximal ideal $m$. Then $A\times m$ and $m\times A$ are both maximal ideals of $A^2$, so $A^2$ cannot be local. A differently phrased, more geometric, argument is that Spec $A^2$ is the disjoint union of Spec $A$ with itself, hence is disconnected, while Spec of a local ring is always connected. The two arguments are closely related, in fact.)

Secondly, $k$ will not be flat as an $A$-module unless $A=k$ (see here), so, while it is true that one would have exactness after tensoring with $k$ were flat as an $A$-module, that flatness will almost never hold. The point is that if $0 \to M^′\to M \to M^{′′}\to 0$ is an exact sequence of $A$-modules with $M^{′′}$ flat and $N$ is any $A$-module, then $0\to M^′\otimes N \to M\otimes N\to M^{′′}\otimes N \to 0$ is again exact. There are various ways to see this: Steve D notes one (an argument with Tor) in his comment above. As Olivier Begassat notes, in your case M′′ is not just flat, but free, so in fact the original exact sequence splits, which makes it obvious that it stays exact after tensoring. (Nevertheless, the more general statement with flat modules if often very useful.)


Another remark: there are other ways to prove this (as Pete Clark notes in his answer) besides following the outline of Atiyah and Macdonald. Pete Clark has noted one (which in fact proves a more general statement).

Another is to regard $\phi$ as an $n \times n$-matrix, note that since it is a surjection it remains so after reducing modulo $\mathfrak m$ for every maximal ideal of $A$, hence is invertible modulo every $\mathfrak m$, thus has unit determinant modulo every $\mathfrak m$, thus has unit determinant, and thus is itself invertible. (Note that arguing with determinants is in some sense a way of avoiding Nakayama's lemma by using the ingredients in its proof.)

  • 0
    I think you mean the tensored sequence 'is again exact' instead of 'is again flat'.2011-07-15
  • 0
    And again, the Tor argument is not mine!2011-07-15
  • 0
    @Olivier: Dear Olivier, Hopefully the attribution of the Tor argument is now fixed! Thanks for pointing out the typo, too. Best wishes,2011-07-15
  • 0
    @Matt: I like your last argument best.2011-07-16
1

This is not another answer, but a long comment directed at Pierre-Yves Gaillard!

@Pierre-Yves Gaillard It ressembles it, but it manages to not use Nakayama's lemma. You can find it as Théorème 5.3.3 (p.51) in http://hlombardi.free.fr/EnseignementWeb/Modules-M1.pdf.

Here's the proof. Take $M$ a finitely generated $A$ module, say generated by $m_1,\dots,m_r$, and $\varphi\in\mathrm{End}_A(M)$ surjective. You define (a priori non unique) coefficients $(a^i_j)\in M_r(A)$ by setting $m_j=\varphi(\sum a^i_j\cdot m_i)$; next, this is where it converges with Pete's proof, you define $B$ to be the $A$-subalgebra of $\mathrm{End}_A(M)$ generated by $\varphi$ (so it coincides with the image of the canonical homomorphism of $A$ algebras $A[X]\to\mathrm{End}_A(M)$ sending $X$ to $\varphi$). $B$ is a ring, and $M$ is naturally a $B$ module, so you get a $M_r(B)$ module structure on $M^r$.

Consider the following matrix $$P=\left( \begin{array}{cccc} a^1_1\varphi & a^1_2\varphi & \ldots & a^1_r\varphi \\ a^2_1\varphi & a^2_2\varphi & \ldots & a^2_r\varphi \\ \vdots & \vdots & \ddots & \vdots\\ a^r_1\varphi & a^r_2\varphi & \ldots & a^r_r\varphi \\ \end{array}\right) \in M_r(B).$$

By definition of the various coefficients, you have $$(\mathrm{I}_r-P)\cdot\left(\begin{array}{c} m_1 \\ m_2\\ \vdots \\ m_r \end{array}\right) = \left(\begin{array}{c} 0 \\ 0\\ \vdots \\ 0 \end{array}\right).$$ Next, you apply the comatrix identity (inside $M_r(B)$, which works, since $B$ is a commutative ring) to $\mathrm{I}_r-P$ to get $$(\mathrm{I}_r-P)\times \mathrm{Com}(\mathrm{I}_r-P)^{\mathrm{T}}=\mathrm{Com}(\mathrm{I}_r-P)^{\mathrm{T}}\times (\mathrm{I}_r-P)= \det(\mathrm{I}_r-P)\cdot\mathrm{I}_r$$, with $\det(\mathrm{I}_r-P)=\mathrm{id}_M - \varphi\times p(\varphi)=\mathrm{id}_M - p(\varphi)\times\varphi$ for some $p\in A[X]~($by definition, $1_B=\mathrm{id}_M=1_{\mathrm{End}_A(M)})$. Reapply the vector $\left(\begin{array}{c} m_1 \\ m_2\\ \vdots \\ m_r \end{array}\right)$ to it, remember that the $m_i$ span $M$, and you'll end up with the fact that $\varphi$ is an isomorphism of $M$, with inverse $p(\varphi)$. If your name is any indication, you will be able to read this in the notes I linked you to.

  • 0
    Thanks! [Your guess is right: I can read French.] It seems to me that your argument is the same as Pete’s: see (the proof of) Prop. 46 and Thm 47 in [Pete’s notes](http://math.uga.edu/~pete/integral.pdf) (or Prop. 2.4 and Cor. 2.5 in Atiyah-MacDonald). [What’s behind the argument is Cayley-Hamilton, isn’t it?] (You can also look at Edit 4 of this [answer](http://math.stackexchange.com/questions/55688/a-condition-for-a-subgroup-of-a-finitely-generated-free-abelian-group-to-have-fin/55808#55808).) [I wish I could have given hundreds of votes for you Consistency of PA question!]2011-08-09
  • 0
    You could also take a look at Edits 1 and 2 of the [answer](http://math.stackexchange.com/questions/55688/a-condition-for-a-subgroup-of-a-finitely-generated-free-abelian-group-to-have-fin/55808#55808) mentioned above. [Edit 3 is not directly related to this, but I took a fair amount of time to write it.]2011-08-09
  • 0
    To spell out the connection with Cayley-Hamilton: If $M$ is a quotient of $A^n$, then any endomorphism $b$ of $M$ lifts to an endomorphism $c$ of $A^n$, and for any $f$ in $A[X]$, the map $f(c)$ is a lift of $f(b)$. In particular, if $f$ is the characteristic polynomial of $c$, then $f(b)=0$.2011-08-09
  • 0
    @Pierre-Yves Gaillard : There's no Cayley Hamilton in this proof, only the comatrix identity. I See how you could make the Cayley Hamilton approach work, but you'd need to have an invertible constant term for the characteristic polynomial for a particular lift $\hat{f}$. Is that your idea?2011-08-10
  • 0
    @Pierre-Yves Gaillard : all in all, I think the proof above is simpler in that it only involves really basic stuff, easier than both Nakayama's Lemma and Cayley Hamilton Theorem. But I'll try to get into Pete's proof, it could very well have broader applicability than the proof I presented. Oh, and what was it about the consistency of $\mathsf{PA}$ question that you liked? There's another interesting question on models that you might enjoy http://math.stackexchange.com/questions/56726/how-can-there-be-genuine-models-of-set-theory. It raises a question I sort of raised at the end of mine on PA.2011-08-10
  • 1
    I meant nothing in particular about your PA question. I just find strange the this [Batman](http://math.stackexchange.com/questions/54506/is-this-batman-equation-for-real) question got 144 times more votes than a question about the consistency of PA. For the rest, here is my opinion. I'm just making some translations: You say: "say generated by $m_1,\dots,m_r$". I translate: "take an epimorphism $A^r\to M$ and call $m_i$ the image of $e_i$". You say: "you define (a priori non unique) coefficients $(a^i_j)\in M_r(A)$ by setting $m_j=\varphi(\sum a^i_j\cdot m_i)$". I translate: ...2011-08-10
  • 0
    … "choose a lift $\Phi:A^r\to A^r$ of $\varphi$ and call $(a^i_j)$ its matrix". If $\chi$ is the characteristic polynomial of $\Phi$, then we have $\chi(\Phi)=0$ by Cayley-Hamilton, and thus $\chi(\varphi)=0$. What you do is reproving CH. [If your goal is to avoid writing the words "Cayley-Hamilton", that's fine, but I don't think it would be accurate to say that your argument is simpler. It's **exactly** the same argument, in a slightly different language. (At least that's my perception. I hope I'm not being too vehement...)]2011-08-10