Satz von Quillen-Suslin
Der Satz von Quillen-Suslin, benannt nach Daniel Quillen und Andrei Suslin, ist ein mathematischer Satz aus dem Teilgebiet der kommutativen Algebra. Er besagt, dass endlich erzeugte, projektive Moduln über gewissen Polynomringen frei sind.
Aussage des Satzes
BearbeitenEs sei ein Hauptidealring. Dann ist jeder endlich erzeugte, projektive -Modul frei.[1][2]
![{\displaystyle R[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/603ad23a1d391b47d6f89883903aa6abee11a83b)
Hauptidealring bedeutet hier, dass der Ring kommutativ, nullteilerfrei und jedes Ideal von einem Element erzeugt ist. bezeichnet den Ring der Polynome in Unbestimmten mit Koeffizienten aus . Das umfasst damit die wichtigen Fälle des Polynomrings über einem Körper und über dem Ring der ganzen Zahlen.
Bemerkung
BearbeitenAuf die Kommutativität des Ringes kann nicht verzichtet werden, denn M. Ojanguren und R. Sridharan haben für nicht-kommutative Divisionsringe gezeigt, dass ein nicht-freies, projektives Ideal enthält, so dass .[3]
![{\displaystyle D[X_{1},X_{2}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74e72bd5081cb1c7a5dec9e69bf28c519d26344b)
![{\displaystyle D[X_{1},X_{2}]\oplus P\cong D[X_{1},X_{2}]\oplus D[X_{1},X_{2}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42f41e114841c77c09c4887ab079521cceccccb7)
Historie
BearbeitenDas unten angegebene Lehrbuch Serre’s Problem on Projective Modules von Tsit Yuen Lam bietet eine umfassende Darstellung des Themenkreises um das Serre-Problem. Jean-Pierre Serre schrieb in einem 1955 erschienenen Artikel, dass es nicht bekannt sei, ob es für einen Körper endlich-erzeugte, projektive, nicht-freie -Moduln gäbe.[4] Diese Frage ist dann als Serre-Vermutung oder, in Abgrenzung zu einer anderen Serre-Vermutung, als Serre-Problem bekannt geworden. Es ist dann 1976 unabhängig von Daniel Quillen[5] und von Andrei Suslin[6] gelöst worden und nun als Satz von Quillen-Suslin bekannt.[7] Für dies und weitere wesentliche Beiträge zur Ringtheorie, insbesondere zur algebraischen K-Theorie, hat Quillen 1978 die Fields-Medaille erhalten.
![{\displaystyle K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d1ac7a7496de3efbb2cd22c42398736c86a2b48)
Einzelnachweise
Bearbeiten- ↑ Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6, Satz IV.3.15
- ↑ Joseph J. Rotman: An Introduction to Homological Algebra, Academic Press 1979, ISBN 0-12-599250-5, Theorem 4.36
- ↑ M. Ojanguren, R. Sridharan: Cancellation of Azumaya algebras, Journal of Algebra (1971), Band 18, Seiten 501–505, Proposition 1
- ↑ Jean-Pierre Serre: Faisceaux algébriques cohérents, Annals of Mathematics (1955), Second Series, Band 61 (2), Seiten 197–278
- ↑ Daniel Quillen: Projective modules over polynomial rings, Inventiones Mathematicae (1976), Band 36 (1), Seiten 167–171
- ↑ Andrei A. Suslin: Проективные модули над кольцами многочленов свободны [Projektive Moduln über Polynomringen sind frei], Doklady Akademii Nauk SSSR (1976), Band 229 (5), Seiten 1063–1066
- ↑ Tsit Yuen Lam: Serre’s Problem on Projective Modules, Springer-Verlag (2006), ISBN 3-540-23317-2, Introduction