Top Qs
Timeline
Chat
Perspective
Forster–Swan theorem
From Wikipedia, the free encyclopedia
Remove ads
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 needs 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.
Remove ads
Forster–Swan theorem
Summarize
Perspective
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]
Remove ads
Bibliography
- Rao, R.A.; Ischebeck, F. (2005). Ideals and Reality: Projective Modules and Number of Generators of Ideals. Deutschland: Physica-Verlag.
- Swan, Richard G. (1967). "The number of generators of a module". Math. Mathematische Zeitschrift. 102 (4): 318–322. doi:10.1007/BF01110912.
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads