# Difference between revisions of "Forster-Swan theorem"

(Importing text file) |
m (link) |
||

(2 intermediate revisions by one other user not shown) | |||

Line 3: | Line 3: | ||

An example of a local-global principle in commutative algebra (cf. also [[Local-global principles for large rings of algebraic integers|Local-global principles for large rings of algebraic integers]]; [[Local-global principles for the ring of algebraic integers|Local-global principles for the ring of algebraic integers]]). That is, it provides a method by which local information can be lifted to the whole ring or module. In the case of the Forster–Swan theorem the information consists of the minimal number of elements required to generate a given finitely-generated module. The theorem itself, and also the methods developed in proving it, have found applications in commutative algebra, algebraic geometry and algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301601.png" />-theory; see [[#References|[a5]]] and [[#References|[a6]]]. | An example of a local-global principle in commutative algebra (cf. also [[Local-global principles for large rings of algebraic integers|Local-global principles for large rings of algebraic integers]]; [[Local-global principles for the ring of algebraic integers|Local-global principles for the ring of algebraic integers]]). That is, it provides a method by which local information can be lifted to the whole ring or module. In the case of the Forster–Swan theorem the information consists of the minimal number of elements required to generate a given finitely-generated module. The theorem itself, and also the methods developed in proving it, have found applications in commutative algebra, algebraic geometry and algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301601.png" />-theory; see [[#References|[a5]]] and [[#References|[a6]]]. | ||

− | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301602.png" /> be a [[Commutative ring|commutative ring]], and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301603.png" /> be a finitely-generated <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301604.png" />-module (cf. also [[Module|Module]]). Suppose that one wants to compute <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301605.png" />, the minimal number of generators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301606.png" />. This can be a difficult task in general, but one can easily compute the number of generators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301607.png" /> locally. Thus, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301608.png" /> be a [[Prime ideal|prime ideal]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301609.png" />, and denote by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016010.png" /> the quotient ring of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016011.png" />. By the Nakayama lemma (cf. also [[Jacobson radical|Jacobson radical]]), | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301602.png" /> be a [[Commutative ring|commutative ring]], and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301603.png" /> be a finitely-generated <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301604.png" />-module (cf. also [[Module|Module]]). Suppose that one wants to compute <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301605.png" />, the minimal number of generators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301606.png" />. This can be a difficult task in general, but one can easily compute the number of generators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301607.png" /> locally. Thus, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301608.png" /> be a [[Prime ideal|prime ideal]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f1301609.png" />, and denote by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016010.png" /> the quotient ring of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016011.png" />. By the [[Nakayama lemma]] (cf. also [[Jacobson radical|Jacobson radical]]), |

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016012.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016012.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table> | ||

Line 21: | Line 21: | ||

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016044.png" /></td> </tr></table> | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016044.png" /></td> </tr></table> | ||

− | A number of further improvements are possible. For instance, one can discard all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016046.png" />-primes outside the support of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016047.png" />, and the Krull dimension can be replaced by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016049.png" />-dimension. For details on these and other improvements, see [[#References|[a2]]] or [[#References|[a5]]], where a proof of the theorem is given based on the notion of a | + | A number of further improvements are possible. For instance, one can discard all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016046.png" />-primes outside the support of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016047.png" />, and the Krull dimension can be replaced by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016049.png" />-dimension. For details on these and other improvements, see [[#References|[a2]]] or [[#References|[a5]]], where a proof of the theorem is given based on the notion of a "basic element" . These methods also produce a similar bound for the stable rank of a module; see [[#References|[a2]]], Corollary 6. |

Given the importance of the Forster–Swan theorem, it was natural to ask whether it could be generalized to non-commutative rings. The obstacle was the usual problem of localizing at a prime in a non-commutative algebra. However, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016050.png" /> is a prime ideal of a Noetherian ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016051.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016052.png" /> is a prime Noetherian ring. Hence it must have a quotient ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016053.png" /> by Goldie's theorem. Therefore, the right-hand side of (a1) makes sense, and there is still a good definition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016054.png" /> in this case. This led J.T. Stafford, building on earlier work of R.B. Warfield, to a proof of the Forster–Swan theorem for right and left Noetherian rings [[#References|[a7]]]. A simpler proof, that also works for right Noetherian rings, can be found in [[#References|[a1]]]. For applications of the Forster–Swan theorem to non-commutative algebra, see [[#References|[a8]]]. | Given the importance of the Forster–Swan theorem, it was natural to ask whether it could be generalized to non-commutative rings. The obstacle was the usual problem of localizing at a prime in a non-commutative algebra. However, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016050.png" /> is a prime ideal of a Noetherian ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016051.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016052.png" /> is a prime Noetherian ring. Hence it must have a quotient ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016053.png" /> by Goldie's theorem. Therefore, the right-hand side of (a1) makes sense, and there is still a good definition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016054.png" /> in this case. This led J.T. Stafford, building on earlier work of R.B. Warfield, to a proof of the Forster–Swan theorem for right and left Noetherian rings [[#References|[a7]]]. A simpler proof, that also works for right Noetherian rings, can be found in [[#References|[a1]]]. For applications of the Forster–Swan theorem to non-commutative algebra, see [[#References|[a8]]]. | ||

====References==== | ====References==== | ||

− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S.C. Coutinho, "Generating modules efficiently over noncommutative noetherian rings" ''Trans. Amer. Math. Soc.'' , '''323''' (1991) pp. 843–856</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> D. Eisenbud, E.G. Evans, Jr., "Generating modules efficiently: Theorems from algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016055.png" />-theory" ''J. Algebra'' , '''27''' (1973) pp. 278–305</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> O. Forster, "Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring" ''Math. Z.'' , '''84''' (1964) pp. 80–87</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> D. Husemoller, "Fibre bundles" , Springer (1966) (Edition: Second) {{MR|0229247}} {{ZBL|0144.44804}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Kunz, "Introduction to commutative algebra and algebraic geometry" , Birkhäuser (1985) {{MR|0789602}} {{ZBL|0563.13001}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J.C. McConnell, J.C. Robson, "Noncommutative noetherian rings" , ''Ser. in Pure and Applied Math.'' , Wiley (1987)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> J.T. Stafford, "Generating modules efficiently: algebraic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016056.png" />-theory for noncommutative noetherian rings" ''J. Algebra'' , '''69''' (1981) pp. 312–346</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> J.T. Stafford, "The Goldie rank of a module" , ''Noetherian rings and their applications (Oberwolfach, 1983)'' , ''Math. Surveys and Monographs'' , '''24''' , Amer. Math. Soc. (1987) pp. 1–20</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> R.G. Swan, "The number of generators of a module" ''Math. Z.'' , '''102''' (1967) pp. 318–322</TD></TR></table> |

## Latest revision as of 22:27, 30 October 2017

*Swan–Forster theorem*

An example of a local-global principle in commutative algebra (cf. also Local-global principles for large rings of algebraic integers; Local-global principles for the ring of algebraic integers). That is, it provides a method by which local information can be lifted to the whole ring or module. In the case of the Forster–Swan theorem the information consists of the minimal number of elements required to generate a given finitely-generated module. The theorem itself, and also the methods developed in proving it, have found applications in commutative algebra, algebraic geometry and algebraic -theory; see [a5] and [a6].

Let be a commutative ring, and let be a finitely-generated -module (cf. also Module). Suppose that one wants to compute , the minimal number of generators of . This can be a difficult task in general, but one can easily compute the number of generators of locally. Thus, let be a prime ideal of , and denote by the quotient ring of . By the Nakayama lemma (cf. also Jacobson radical),

(a1) |

This number will be denoted by , and it will be called the local number of generators of at . Note that the right-hand side of (a1) is equal to the dimension of a vector space, and as such is easily computed. Hence, an upper bound for in terms of the numbers , for the various prime ideals of , would be a very desirable result.

In order to have a means of guessing what upper bound one might expect, one turns to the equivalence between projective modules and fibre bundles. Let be an -dimensional CW-complex and denote by its ring of continuous functions. If is a real vector bundle of dimension over , then there exists a vector bundle such that is a trivial bundle. Moreover, one can assume that has dimension smaller than or equal to ; see [a4], Chapt. 8, Thms. 1.2, 1.5. Thus, the -module of sections is isomorphic to a free module of rank at most . Since is a homomorphic image of this free module, elements must be sufficient to generate it.

Using the above as a guide, one may now return to the general algebraic setting. First, the rank of a projective module at a prime is equal to its minimal number of generators. Secondly, the role of the dimension of the topological space will be played, in the algebraic setting, by the Krull dimension of the base ring (cf. also Dimension). Finally, taking into account the fact that the local number of generators of a module need not be the same at every prime, the topological analogy suggests that

Assuming that is a commutative Noetherian ring, this is just what R.O. Forster proved in [a3]. Following a suggestion of J.-P. Serre, Forster's result was later generalized by R.G. Swan to rings whose maximal spectrum is Noetherian, [a9] (cf. also Spectrum of a ring). Denoting by the set of prime ideals that are intersections of maximal ideals, the Forster–Swan theorem can be stated as follows. Let be a commutative ring and assume that is a Noetherian space. If is a finitely-generated -module, then

A number of further improvements are possible. For instance, one can discard all -primes outside the support of , and the Krull dimension can be replaced by the -dimension. For details on these and other improvements, see [a2] or [a5], where a proof of the theorem is given based on the notion of a "basic element" . These methods also produce a similar bound for the stable rank of a module; see [a2], Corollary 6.

Given the importance of the Forster–Swan theorem, it was natural to ask whether it could be generalized to non-commutative rings. The obstacle was the usual problem of localizing at a prime in a non-commutative algebra. However, if is a prime ideal of a Noetherian ring , then is a prime Noetherian ring. Hence it must have a quotient ring by Goldie's theorem. Therefore, the right-hand side of (a1) makes sense, and there is still a good definition of in this case. This led J.T. Stafford, building on earlier work of R.B. Warfield, to a proof of the Forster–Swan theorem for right and left Noetherian rings [a7]. A simpler proof, that also works for right Noetherian rings, can be found in [a1]. For applications of the Forster–Swan theorem to non-commutative algebra, see [a8].

#### References

[a1] | S.C. Coutinho, "Generating modules efficiently over noncommutative noetherian rings" Trans. Amer. Math. Soc. , 323 (1991) pp. 843–856 |

[a2] | D. Eisenbud, E.G. Evans, Jr., "Generating modules efficiently: Theorems from algebraic -theory" J. Algebra , 27 (1973) pp. 278–305 |

[a3] | O. Forster, "Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring" Math. Z. , 84 (1964) pp. 80–87 |

[a4] | D. Husemoller, "Fibre bundles" , Springer (1966) (Edition: Second) MR0229247 Zbl 0144.44804 |

[a5] | E. Kunz, "Introduction to commutative algebra and algebraic geometry" , Birkhäuser (1985) MR0789602 Zbl 0563.13001 |

[a6] | J.C. McConnell, J.C. Robson, "Noncommutative noetherian rings" , Ser. in Pure and Applied Math. , Wiley (1987) |

[a7] | J.T. Stafford, "Generating modules efficiently: algebraic -theory for noncommutative noetherian rings" J. Algebra , 69 (1981) pp. 312–346 |

[a8] | J.T. Stafford, "The Goldie rank of a module" , Noetherian rings and their applications (Oberwolfach, 1983) , Math. Surveys and Monographs , 24 , Amer. Math. Soc. (1987) pp. 1–20 |

[a9] | R.G. Swan, "The number of generators of a module" Math. Z. , 102 (1967) pp. 318–322 |

**How to Cite This Entry:**

Forster-Swan theorem.

*Encyclopedia of Mathematics.*URL: http://www.encyclopediaofmath.org/index.php?title=Forster-Swan_theorem&oldid=12186