
Übersicht
Vorlesungen
Software-Management
Engineering IT-basierter Dienstleistungen
Einführung in XML
Softwarequalitätsmanagement
Konstruktive Invariantentheorie
Seminare
Forschungsseminar BIS
E-Learning Environment Engineering
Wissen in der modernen Gesellschaft
Agiles Software and Knowledge Engineering
Service Engineering
Model-Driven Software Development
Praktika
Prof. Dr. Gräbe: Vorlesung Konstruktive Theorie der Invarianten endlicher Gruppen
Teilnehmerkreis
Studenten im Haupt- oder Nebenfach Informatik oder Mathematik, die sich mit speziellen Algorithmen des symbolischen Rechnens intensiver beschäftigen wollen.
Spezialvorlesung im Schwerpunkt Theoretische oder Angewandte Informatik.
Übersicht
Oft werden Invarianzeigenschaften von Problemen durch die Aktion einer Gruppe G dargestellt. Eine typische solche Situation ist die folgende: G ist eine endliche Gruppe, die auf einem Vektorraum V linear operiert und damit auch auf dem Ring R der polynomialen Funktionen auf V, also dem Polynomring R := k[x1, ..., xn], wenn x1, ..., xn eine Basis von V ist. Invariante Eigenschaften werden oft durch Polynome beschrieben, die unter dieser Gruppenaktion invariant sind. Der entsprechende Unterring RG von R ist deshalb von besonderem Interesse.
In der Vorlesung werden numerische Invarianten von RG, Darstellungsmöglichkeiten durch Erzeugende und Relationen, konstruktive Verfahren zur Gewinnung von Primär- und Sekundärinvarianten und die Charakterisierung von G-Aktionen, die Invariantenringe mit vorgegebenen Eigenschaften liefern, vorgestellt.
Insbesondere werden die folgenden Themen behandelt:
- Grundbegriffe der Invariantentheorie
- Reynoldsoperator und Fundamentalinvarianten
- Molienreihe, Struktursätze
- Charakterisierung polynomialer Invariantenalgebren
- Die Invariantenringe der Symmetriegruppen der platonischen Körper
Die Vorlesung orientiert sich in ihrem theoretischen Teil am Buch [Sturmfels 93].
Literatur
- H.Derksen, G.Kemper: Computational invariant theory. Springer, Berlin 2002.
- E.Fischer : Zur Theorie der endlichen abelschen Gruppen. Math. Ann. 77 (1916), 81 – 88.
- I.G.MacDonald : Symmetric functions and Hall polynomials. Oxford Univ. Press, 1979.
- E.Noether : Der Endlichkeitssatz für Invarianten endlicher Gruppen. Math. Ann. 77 (1916), 89 – 92.
- T.A.Springer : Invariant theory. Lect. Notes in Math. 585, Springer, New York 1977.
- R.P.Stanley : Invariants of finite groups and their application to combinatorics. Bull. Amer. Math. Soc. 1 (1979), 475 – 511.
- R.P.Stanley : Relative invariants of finite groups generated by pseudo reflections. J. Alg. 49 (1977), 134 – 148.
- B.Sturmfels : Algorithms in invariant theory. Texts and monographs in symbolic computation 1, Springer 1993.
Erwartete Vorkenntnisse
Kenntnisse der höheren Algebra.
Regelungen zur Scheinvergabe
Entsprechend dem Vorlesungsbesuch bzw. nach Testatsgespräch