Namespaces
Variants
Actions

Difference between revisions of "Forster-Swan theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 53 formulas out of 53 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 53 formulas, 53 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
''Swan–Forster theorem''
 
''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 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 $K$-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 $R$ be a [[Commutative ring|commutative ring]], and let $M$ be a finitely-generated $R$-module (cf. also [[Module|Module]]). Suppose that one wants to compute $\mu _ { R } ( M )$, the minimal number of generators of $M$. This can be a difficult task in general, but one can easily compute the number of generators of $M$ locally. Thus, let $P$ be a [[Prime ideal|prime ideal]] of $R$, and denote by $Q ( R / P )$ the quotient ring of $R / P$. 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>
+
\begin{equation} \tag{a1} \mu _ { R _ { P } } ( M _ { P } ) = \mu _ { Q ( R / P ) } ( M \bigotimes _ { R / P } Q ( R / P ) ). \end{equation}
  
This number will be denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016013.png" />, and it will be called the local number of generators of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016014.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016015.png" />. Note that the right-hand side of (a1) is equal to the [[Dimension|dimension]] of a [[Vector space|vector space]], and as such is easily computed. Hence, an upper bound for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016016.png" /> in terms of the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016017.png" />, for the various prime ideals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016018.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016019.png" />, would be a very desirable result.
+
This number will be denoted by $\mu ( M , P )$, and it will be called the local number of generators of $M$ at $P$. Note that the right-hand side of (a1) is equal to the [[Dimension|dimension]] of a [[Vector space|vector space]], and as such is easily computed. Hence, an upper bound for $\mu _ { R } ( M )$ in terms of the numbers $\mu ( M , P )$, for the various prime ideals $P$ of $R$, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016020.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016021.png" />-dimensional [[CW-complex|CW-complex]] and denote by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016022.png" /> its ring of continuous functions. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016023.png" /> is a real vector bundle of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016024.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016025.png" />, then there exists a [[Vector bundle|vector bundle]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016026.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016027.png" /> is a trivial bundle. Moreover, one can assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016028.png" /> has dimension smaller than or equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016029.png" />; see [[#References|[a4]]], Chapt. 8, Thms. 1.2, 1.5. Thus, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016030.png" />-module of sections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016031.png" /> is isomorphic to a free module of rank at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016032.png" />. Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016033.png" /> is a homomorphic image of this free module, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016034.png" /> elements must be sufficient to generate it.
+
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 $X$ be an $n$-dimensional [[CW-complex|CW-complex]] and denote by ${\cal C} ( X )$ its ring of continuous functions. If $\xi $ is a real vector bundle of dimension $k$ over $X$, then there exists a [[Vector bundle|vector bundle]] $ \eta $ such that $\xi \oplus \eta$ is a trivial bundle. Moreover, one can assume that $ \eta $ has dimension smaller than or equal to $n$; see [[#References|[a4]]], Chapt. 8, Thms. 1.2, 1.5. Thus, the ${\cal C} ( X )$-module of sections $\Gamma ( \xi \oplus \eta )$ is isomorphic to a free module of rank at most $k + n$. Since $\Gamma ( \xi )$ is a homomorphic image of this free module, $k + n$ 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|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
 
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|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
  
<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/f13016035.png" /></td> </tr></table>
+
\begin{equation*} \mu _ { R } ( M ) \leq \operatorname { max } \{ \mu ( M , P ) : P \in \operatorname { Spec } ( R ) \} + \operatorname { Kdim } ( R ). \end{equation*}
  
Assuming that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016036.png" /> is a commutative [[Noetherian ring|Noetherian ring]], this is just what R.O. Forster proved in [[#References|[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, [[#References|[a9]]] (cf. also [[Spectrum of a ring|Spectrum of a ring]]). Denoting by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016038.png" /> the set of prime ideals that are intersections of maximal ideals, the Forster–Swan theorem can be stated as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016039.png" /> be a commutative ring and assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016040.png" /> is a Noetherian space. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016041.png" /> is a finitely-generated <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130160/f13016042.png" />-module, then
+
Assuming that $R$ is a commutative [[Noetherian ring|Noetherian ring]], this is just what R.O. Forster proved in [[#References|[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, [[#References|[a9]]] (cf. also [[Spectrum of a ring|Spectrum of a ring]]). Denoting by $j - \operatorname { Spec } ( R )$ the set of prime ideals that are intersections of maximal ideals, the Forster–Swan theorem can be stated as follows. Let $R$ be a commutative ring and assume that $j - \operatorname { Spec } ( R )$ is a Noetherian space. If $M$ is a finitely-generated $R$-module, then
  
<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/f13016043.png" /></td> </tr></table>
+
\begin{equation*} \mu _ { R } ( M ) \leq \end{equation*}
  
<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>
+
\begin{equation*} \leq \operatorname { max } \{ \mu ( M , P ) + K\operatorname {dim} ( R / P ) : P \in j - \operatorname { Spec } ( R ) \}. \end{equation*}
  
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.
+
A number of further improvements are possible. For instance, one can discard all $j$-primes outside the support of $M$, and the Krull dimension can be replaced by the $j$-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 $P$ is a prime ideal of a Noetherian ring $R$, then $R / P$ is a prime Noetherian ring. Hence it must have a quotient ring $Q ( R / P )$ by Goldie's theorem. Therefore, the right-hand side of (a1) makes sense, and there is still a good definition of $\mu ( M , P )$ 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"> 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)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> E. Kunz,   "Introduction to commutative algebra and algebraic geometry" , Birkhäuser (1985)</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>
+
<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 $K$-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 $K$-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 17:01, 1 July 2020

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 $K$-theory; see [a5] and [a6].

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

\begin{equation} \tag{a1} \mu _ { R _ { P } } ( M _ { P } ) = \mu _ { Q ( R / P ) } ( M \bigotimes _ { R / P } Q ( R / P ) ). \end{equation}

This number will be denoted by $\mu ( M , P )$, and it will be called the local number of generators of $M$ at $P$. 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 $\mu _ { R } ( M )$ in terms of the numbers $\mu ( M , P )$, for the various prime ideals $P$ of $R$, 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 $X$ be an $n$-dimensional CW-complex and denote by ${\cal C} ( X )$ its ring of continuous functions. If $\xi $ is a real vector bundle of dimension $k$ over $X$, then there exists a vector bundle $ \eta $ such that $\xi \oplus \eta$ is a trivial bundle. Moreover, one can assume that $ \eta $ has dimension smaller than or equal to $n$; see [a4], Chapt. 8, Thms. 1.2, 1.5. Thus, the ${\cal C} ( X )$-module of sections $\Gamma ( \xi \oplus \eta )$ is isomorphic to a free module of rank at most $k + n$. Since $\Gamma ( \xi )$ is a homomorphic image of this free module, $k + n$ 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

\begin{equation*} \mu _ { R } ( M ) \leq \operatorname { max } \{ \mu ( M , P ) : P \in \operatorname { Spec } ( R ) \} + \operatorname { Kdim } ( R ). \end{equation*}

Assuming that $R$ 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 $j - \operatorname { Spec } ( R )$ the set of prime ideals that are intersections of maximal ideals, the Forster–Swan theorem can be stated as follows. Let $R$ be a commutative ring and assume that $j - \operatorname { Spec } ( R )$ is a Noetherian space. If $M$ is a finitely-generated $R$-module, then

\begin{equation*} \mu _ { R } ( M ) \leq \end{equation*}

\begin{equation*} \leq \operatorname { max } \{ \mu ( M , P ) + K\operatorname {dim} ( R / P ) : P \in j - \operatorname { Spec } ( R ) \}. \end{equation*}

A number of further improvements are possible. For instance, one can discard all $j$-primes outside the support of $M$, and the Krull dimension can be replaced by the $j$-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 $P$ is a prime ideal of a Noetherian ring $R$, then $R / P$ is a prime Noetherian ring. Hence it must have a quotient ring $Q ( R / P )$ by Goldie's theorem. Therefore, the right-hand side of (a1) makes sense, and there is still a good definition of $\mu ( M , P )$ 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 $K$-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 $K$-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://encyclopediaofmath.org/index.php?title=Forster-Swan_theorem&oldid=22435
This article was adapted from an original article by S.C. Coutinho (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article