Forster–Swan theorem

The Forster–Swan theorem is a result from commutative algebra that states an upper bound for the minimal number of generators of a finitely generated module over a commutative Noetherian ring. The usefulness of the theorem stems from the fact, that in order to form the bound, one only need the minimum number of generators of all localizations .

The theorem was proven in a more restrictive form in 1964 by Otto Forster[1] and then in 1967 generalized by Richard G. Swan[2] to its modern form.

Forster–Swan theorem

Let

  • be a commutative Noetherian ring with one,
  • be a finitely generated -module,
  • a prime ideal of .
  • are the minimal die number of generators to generated the -module respectively the -module .

According to Nakayama's lemma, in order to compute one can compute the dimension of over the field , i.e.

Statement

Define the local -bound

then the following holds[3]

Bibliography

References

  1. ^ Forster, Otto (1964). "Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring". Mathematische Zeitschrift. 84: 80–87. doi:10.1007/BF01112211.
  2. ^ Swan, Richard G. (1967). "The number of generators of a module". Math. Mathematische Zeitschrift. 102 (4): 318–322. doi:10.1007/BF01110912.
  3. ^ R. A. Rao und F. Ischebeck (2005), Physica-Verlag (ed.), Ideals and Reality: Projective Modules and Number of Generators of Ideals, Deutschland, p. 221{{citation}}: CS1 maint: location missing publisher (link)