Der Satz von Quillen-Suslin, (engl. Quillen–Suslin theorem) 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 Es sei ein Hauptidealring. Dann ist jeder endlich erzeugte, projektive -Modul frei.Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6, Satz IV.3.15Joseph J. Rotman: An Introduction to Homological Algebra, Academic Press 1979, ISBN 0-12-599250-5, Theorem 4.36
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 Auf 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 .M. Ojanguren, R. Sridharan: Cancellation of Azumaya algebras, Journal of Algebra (1971), Band 18, Seiten 501–505, Proposition 1
Historie Das 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.Jean-Pierre Serre: Faisceaux algébriques cohérents, Annals of Mathematics (1955), Second Series, Band 61 (2), Seiten 197–278 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 QuillenDaniel Quillen: Projective modules over polynomial rings, Inventiones Mathematicae (1976), Band 36 (1), Seiten 167–171 und von Andrei SuslinAndrei A. Suslin: Проективные модули над кольцами многочленов свободны [Projektive Moduln über Polynomringen sind frei], Doklady Akademii Nauk SSSR (1976), Band 229 (5), Seiten 1063–1066 gelöst worden und nun als Satz von Quillen-Suslin bekannt.Tsit Yuen Lam: Serre’s Problem on Projective Modules, Springer-Verlag (2006), ISBN 3-540-23317-2, Introduction Für dies und weitere wesentliche Beiträge zur Ringtheorie, insbesondere zur algebraischen K-Theorie, hat Quillen 1978 die Fields-Medaille erhalten.
Einzelnachweise
Kategorie:Kommutative Algebra Quillen-Suslin, Satz von