250116 VO Computational Group Theory (2024S)
Labels
VOR-ORT
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Details
Sprache: Englisch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Montag
04.03.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
11.03.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
18.03.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
08.04.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
15.04.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
22.04.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
29.04.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
06.05.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
13.05.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
N
Montag
27.05.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
03.06.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
10.06.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
17.06.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Montag
24.06.
16:45 - 18:15
Hörsaal 13 Oskar-Morgenstern-Platz 1 2.Stock
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
Art der Leistungskontrolle und erlaubte Hilfsmittel
Oral exam.
Mindestanforderungen und Beurteilungsmaßstab
Pass the oral exam.
Prüfungsstoff
Contents of the course.
Literatur
D. B. A. Epstein, D. F. Holt, and S. E. Rees, The use of Knuth-Bendix methods to solve the word problem in automatic groups, J. Symbolic Comput. 12 (1991), no. 4-5, 397–414, Computational group theory, Part 2.David B. A. Epstein and Derek F. Holt, Computation in word-hyperbolic groups, Internat. J. Algebra Comput. 11 (2001), no. 4, 467–487.Derek F. Holt, Bettina Eick, and Eamonn A. O’Brien, Handbook of computational group theory, Discrete Mathematics and its Applications (Boca Raton), Chapman & Hall/CRC, Boca Raton, FL, 2005.Ilya Kapovich and Alexei Myasnikov, Stallings foldings and subgroups of free groups, J. Algebra 248 (2002), no. 2, 608–668.
Zuordnung im Vorlesungsverzeichnis
MALV
Letzte Änderung: Do 07.03.2024 10:06
Topics include:
* Stallings' folding and related free group algorithms
* Reidemeister-Schreier Algorithm for computing a presentation of a subgroup.
* Todd-Coxeter coset enumeration
* Rewriting systems and the Knuth-Bendix Algorithm
* Finite state automata and Automatic Groups
We will also introduce free software tools to do the above computations, including GAP, SAGE, KBMAG.