Beginn: 22. Oktober 1997
INHALT: Thema des Computeralgebraseminars für dieses Semester ist die Algorithmische Gruppentheorie: Wir wollen sehen, wie man (hauptsächlich endliche) Gruppen im Rechner darstellen kann, wie man in der Gruppe rechnet, Untergruppen findet, usw. Dies alles soll auch konkret demonstriert werden mit dem speziell auf Gruppen zugeschnittenen Computeralgebrasystem GAP sowie dem universelleren Computeralgebrasystem Maple.
Etwas aufwendiger ist die Darstellung unendlicher Gruppen; auf mögliche Strategien dafür soll gegen Ende des Semesters kurz eingegangen werden.
Das Seminar wendet sich somit an Mathematiker und Lehramtskandidaten (bei entsprechendem Interesse auch Informatiker) mit Interesse am konkreten Umgang mit Gruppen und/oder Interesse an den Algorithmen der Computeralgebra.
Voraussetzungen: Von den Teilnehmern wird erwartet, daß sie Grundkenntnisse über Gruppen, insbesondere auch Permutationsgruppen haben etwa in dem Umfang, in dem das Thema in der Linearen Algebra I behandelt wird. Algebra I ist nicht erforderlich; der erste Vortrag wird alle benötigten Grundlagen bereitstellen.
Literatur:
G. Butler: Fundamental Algorithms for Permutation Groups, Lecture Notes in Computer Science 559, Springer, 1991
D.B.A. Epstein et al.: Word Processing in Groups, Jones and Bartlett, 1992