Prof. Dr. Max Horn
AG Algebra, Geometrie und Computeralgebra (AGAG)
Fachbereich Mathematik
TU Kaiserslautern
Gottlieb-Daimler-Straße 48
67663 Kaiserslautern
Gebäude 48, Raum 430
Telefon: +49 (631) 205-2730
E-Mail: NACHNAME [at] mathematik.uni-kl.de
Aktuelles
- Seit dem 1. April 2020 bin ich an der TU Kaiserslautern
Forschungs- und Interessengebiete
- Geometrie: Gebäude, Automorphismen, Involutionen, Flips
- Gruppentheorie: Algebraische Gruppen, Amalgame, Kac-Moody-Gruppen, Gruppen vom Lie-Typ
- Computeralgebra mit Schwerpunkt algorithmische Gruppentheorie
Frühere Projekte
- Diplomarbeit: Amalgams of unitary groups in Sp(2n,q).
TU Darmstadt (eingereichte Version)
Betreut von Ralf Gramlich und Werner Nickel. - Dissertation: Involutions of Kac-Moody groups.
TU Darmstadt
Betreut von Ralf Gramlich.
Veröffentlichungen
-
The complete Phan-type theorem for $Sp(2n,q)$J. Group Theory 9 (2006), no. 5, 603–626
-
Odd-dimensional orthogonal groups as amalgams of unitary groups. Part 2: machine computationsJ. Algebra 316 (2007), no. 2, 591–607
-
On the Phan system of the Schur cover of $SU(4,3^2)$Designs, Codes and Cryptography 47 (2008), 243–247
-
Intransitive geometries and fused amalgamsJ. Group Theory 11 (2008), 443–464
-
Iwasawa decompositions of split Kac-Moody groupsJ. Lie Theory 19 (2009), no. 2, 311–337
-
Abstract involutions of algebraic groups and of Kac-Moody groupsJ. Group Theory 14 (2011), 213–249
-
Lie algebras and 3-transpositionsJ. Algebra 368 (2012), 21–39
-
Schur multipliers and the Lazard correspondenceArchiv der Mathematik 99 (2012), no. 3, 217–226
-
The construction of finite solvable groups revisitedJ. Algebra 408 (2014), 166–182
-
Second cohomology of Lie rings and the Schur multiplierIntl. J. Group Theory 3 (2014), no. 2, 9–20
-
Cartan-Bott periodicity for the real $E_n$ series (appendix to "Generalized spin representations" by Guntram Hainke, Ralf Köhl, and Paul Levy)Münster J. of Math 8 (2015), 181–210
-
Simple Connectivity in Polar SpacesForum Mathematicum 28 (2015), no. 3, 491–505
-
Isomorphisms and rigidity of arithmetic Kac-Moody groupsJ. Lie Theory 26 (2016), no. 2, 1079–1105
-
Moufang twin trees of prime orderAdv. Math. 302 (2016), 1–24
-
Spin covers of maximal compact subgroups of Kac-Moody groups, and Spin-extended Weyl groupsJ. Group Theory 20 (2017), no. 3, 401–504
-
Constructing groups of ‘small’ order: Recent results and open problemsChapter in "Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory", Springer (2017), –
-
Kac-Moody symmetric spacesMünster J. of Math 13 (2020), 1–114
-
Decompositions of Kac-Moody groupsin Vorbereitung
Beiträge in Tagungsbänden
-
Computing polycyclic quotients of finitely (L-)presented groups via Groebner bases
Andere (nicht referierte) Publikationen
-
The GAP package SingularInterface.Computeralgebra-Rundbrief 55 (2014), 29–33
Studenten
- Master-Studenten
- Christian Hoffmeister (2012): Posets of twisted involutions in Coxeter groups
- Anne Hukelmann (2015): Das Isomorphieproblem polyzyklischer Gruppen
- Nina Wagner (2017): Symbolic Collection in Polycyclic Groups
- Romina Heukäufer (2017): Stark reguläre Graphen
- Thi-Ngoc-Bich Le (2017): Schoofs Algorithmus
- Sebastian Bischof (2018): Der Erweiterungssatz für Zwillingsgebäude
- Katharina Liehr (2018): Gruppen, Ringe, Moduln
- Bachelor-Studenten
- Romina Heukäufer (2015): Klassifikation endlicher Spiegelungsgruppen
- Janina Erb (2016): Zopfgruppen
- Katharina Liehr (2016): Diskrete Bewertungsringe
- Sebastian Bischof (2016): Bäume und Amalgame
- Daniel Kaulbach (2016): Automatisiertes Beweisen geometrischer Sätze
- Benjamin Manns (2018): Elliptische Kurven in der Kryptographie
- Paul Merz (2018): NTRUEncrypt
- Charlotte Thurn (2018): Termersetzungssysteme und der Knuth-Bendix-Algorithmus
Konferenzvorträge
-
11. Dezember 2004
"Computations with geometric amalgams"
Nikolauskonferenz 2004 (RWTH Aachen) -
16. Juni 2005
"Computations with amalgams of unitary groups"
2nd Joint Meeting of AMS, DMV, OeMG (Uni Mainz) -
14. September 2006
"Phan amalgams"
Finite Geometries, Second Irsee Conference (Kloster Irsee) -
10. Oktober 2006
"Flips of algebraic groups"
Buildings 2006 (Uni Münster) -
11. Oktober 2007
"Non-standard geometric covering theory"
Buildings 2007 (Uni Münster) -
19. Juli 2008
"Involutionen von algebraischen und Kac-Moody Gruppen"
Norddeutsches Gruppentheorie-Kolloquium 2008 (Uni Kiel) -
30. September 2008
"Involutions of algebraic and Kac-Moody groups"
Buildings 2008 (Uni Münster) -
16. November 2008
"Involutions of algebraic and Kac-Moody groups"
Mini-Workshop: Symmetric Varieties and Involutions of Algebraic Groups (Oberwolfach) -
19. Juli 2009
"The geometry of involutions of algebraic groups and of Kac-Moody groups"
International Workshop on Algebraic Groups, Quantum Groups and Related Topics (Peking University, China) -
12. Dezember 2009
"Fischer Spaces and Lie Algebras"
Nikolauskonferenz 2009 (RWTH Aachen) -
26. Juni 2010
"Computing polycyclic quotients of finitely (L-)presented groups"
ACA 2010 (University of Vlora, Albanien) -
16. September 2010
"Computing polycyclic quotients of finitely (L-)presented groups via Gröbner bases"
ICMS 2010 (Kobe University, Japan) -
6. Oktober 2010
"From Fischer spaces to (Lie) algebras"
Buildings 2010 (Uni Münster) -
28. Mai 2011
"Involutionen von Moufangpolygonen"
Reinhold-Baer-Kolloquium (TU Braunschweig) -
2. August 2011
"Polycyclic quotients and non-commutative Gröbner bases"
Conference on Group Theory (Harlaxton College, England) -
19. September 2011
"Polyzyklische Quotienten und nicht-kommutative Gröbnerbasen"
DMV Tagung 2011, Minisymposium "Algorithmische Algebra" (Uni Köln) -
12. April 2012
"Double coset decompositions of Kac-Moody groups"
Mini-Workshop: Generalizations of Symmetric Spaces (Oberwolfach) -
10. Mai 2012
"Computing Schur multipliers of p-groups and Lie rings"
Tagung der Fachgruppe Computeralgebra (Uni Kassel) -
18. März 2013
"libsing: A new interface between GAP and Singular"
3. Jahrestagung DFG-Schwerpunktprogramm 1489 (Uni Konstanz) -
21. März 2013
"Constructing finite solvable groups"
3. Jahrestagung DFG-Schwerpunktprogramm 1489 (Uni Konstanz) -
23. Mai 2013
"Solvable group generation"
Questions, Algorithms, and Computations in Abstract Group Theory (TU Braunschweig) -
8. Oktober 2013
"Decompositions of Kac-Moody groups"
Buildings 2013 (Uni Münster) -
26. November 2013
"Spin covers of "maximal compact" subgroups of real Kac-Moody groups"
Workshop "Generalizations of Symmetric Spaces" (Lorentz Center Leiden, Niederlande) -
6. März 2014
"Symbolic computations with p-groups and Lie rings"
4. Jahrestagung DFG-Schwerpunktprogramm 1489 (Bad Boll) -
26. März 2014
"Symbolic computations with p-groups and Lie rings"
Workshop "Experimental Methods in Computational Algebra" (Uni Hannover) -
16. Mai 2014
"Solvable group generation"
Tagung Fachgruppe Computeralgebra (Uni Kassel) -
30. Mai 2014
"Generalized spin groups"
47th Seminar Sophus Lie (Schloß Rauischolzhausen) -
12. Juli 2014
"Generalized Spin groups"
Norddeutsches Gruppentheorie-Kolloquium 2014 (Uni Bielefeld) -
30. September 2014
"Cartan-Bott periodicity for compact forms of Kac-Moody algebras of type $E_n$"
Buildings 2014 (Uni Münster) -
16. Februar 2015
"Cartan-Bott periodicity for maximal compact subalgebras of real Kac-Moody algebras of type $E_n$"
CoGrAl2015 (Uni Jena) -
7. Mai 2015
"Generalized spin representations"
Groups and Geometries (Banff, Kanada, Kanada) -
15. Mai 2015
"The Normaliz interface of GAP"
Normaliz Workshop (Uni Osnabrück) -
22. Juni 2015
"Generalized spin representations"
Workshop on Generalizations of Symmetric Spaces (Nahsholim, Israel, Israel) -
26. September 2017
"Kac-Moody symmetric spaces"
Buildings and Symmetry (University of Western Australia, ) -
20. Januar 2018
"Kac-Moody symmetric spaces"
Reinhold-Baer-Kolloquium (TU Braunschweig)
Gastvorträge an anderen Universitäten
-
4. Mai 2005
"Amalgame"
Uni Braunschweig -
10. Februar 2009
"Involutions of Kac-Moody groups"
Cornell University, USA -
17. Februar 2009
"Involutions of Kac-Moody groups"
Martin-Luther-Universität Halle-Wittenberg -
20. Februar 2009
"Unitary forms of Kac-Moody groups"
Cornell University, USA -
12. März 2009
"Unitary forms of Kac-Moody groups"
Binghamton University, USA -
1. Juli 2009
"The geometry of involutions of algebraic groups and of Kac-Moody groups"
TU Eindhoven, Niederlande -
14. Januar 2010
"Fischer Spaces, 3-transposition groups and Lie Algebras"
Leibniz Universität Hannover -
21. Dezember 2010
"Polyzyklische Quotienten und nicht-kommutative Gröbnerbasen"
Friedrich-Schiller-Universität Jena -
19. Januar 2011
"Connectedness of flip-flop systems"
Universiteit Gent, Belgien -
10. Dezember 2014
"Cartan-Bott periodicity for compact forms of Kac-Moody algebras of type $E_n$"
TU Eindhoven, Niederlande -
29. April 2016
"Towards Kac-Moody symmetric spaces"
Uni Erlangen -
13. Juli 2017
"Symbolische Berechnungen in Gruppen und Ringen"
Uni Würzburg
Nichtmathematische Vorträge
-
31. August 2011
"Benefits of open source development and open tools"
SICSA2011 Summer school "Advanced techniques in computer algebra systems development" (University of St Andrews, Schottland)
Konferenzen
- Norddeutsches Gruppentheorie-Kolloquium 2012, 29.-30. Juni 2012, TU Braunschweig (mit Bettina Eick)
- First GAP Days 2014, 25.-29. August 2014, RWTH Aachen (mit Mohamed Barakat, Frank Lübeck)
- Second GAP Days 2015, 16.-20. März 2015, RWTH Aachen (mit Mohamed Barakat, Frank Lübeck)
- Third GAP Days 2015, 14.-23. September 2015, NTNU Trondheim, Norwegen (mit Mohamed Barakat, Øyvind Solberg)
- First Joint GAP-SageMath Days,, 18.-22. Januar 2016, University of St Andrews, Schottland (mit Alexander Konovalov, Dmitrii Pasechnik, Markus Pfeiffer)
-
Session on
Computational aspects of homological algebra, group, and representation theory
at the ICMS 2016, 11.-14. Juli 2016, Berlin (mit Mohamed Barakat) - Norddeutsches Gruppentheorie-Kolloquium 2017, 9.-10. Juni 2017, JLU Gießen (mit Ralf Köhl, Bernhard Mühlherr)
- GAP Days Fall 2017, 30. August - 8. September 2017, University of Siegen (mit Mohamed Barakat)
- GAP Days Fall 2018, 17.-21. September 2018, Uni Siegen (mit Mohamed Barakat)
- GAP Days Fall 2019 (as part of the GAP Singular Meeting), 20.-23. August 2019, PfalzAkademie, Lambrecht
-
GAP Days Spring 2020,
23.-27. März 2020,
St Andrews, UKVirtual/Remote/Home Offices, (mit Ruth Hoffmann, Chris Jefferson)
Lehre
- Seminar "Kommutative Algebra und Algebraische Geometrie" (SoSe 2006)
- MCS-Vorkurs (WiSe 2006/2007)
- Seminar "Zahlentheorie und Kryptographie" (SoSe 2007)
- Seminar "Tits-Gebäude" (WS 2007/2008)
- Vorlesung "Gruppentheorie" (WiSe 2009/2010)
- Vorlesung "Algorithmische Gruppentheorie" (SoSe 2010)
- Vorlesung "Darstellungstheorie" (WiSe 2010/2011)
- Vorlesung "Computeralgebra" (WiSe 2011/2012)
- Vorlesung "Einführung in die Gruppentheorie" (WiSe 2012/2013)
- Vorlesung "Algorithmische Algebra" (SoSe 2013)
- Vorlesung "Lineare Algebra I" (WiSe 2013/2014)
- Vorlesung "Lineare Algebra II" (SoSe 2014)
- Seminar/Proseminar "Computeralgebra" (SoSe 2014), Ankündigung
- Vorlesung "Algebra" (WiSe 2014/2015)
- Rechenkurs "Algebra mit GAP" (WiSe 2014/2015), Ankündigung, Arbeitsblätter
- Vorlesung und Seminar "Computeralgebra" (SoSe 2015), Ankündigung
- Vorlesung "Algorithmische Gruppentheorie" (WiSe 2015/2016)
- Lesekurs "Algorithmische Invariantentheorie" (WiSe 2015/2016)
- Vorlesung "Gruppentheorie" (SoSe 2016)
- Seminar "Algebra" (SoSe 2016)
- Vorlesung "Homologische Algebra" (WiSe 2016/2017)
- Vorlesung "Algorithmische Zahlentheorie" (SoSe 2017)
- Seminar "Zahlentheorie und Kryptographie" (SoSe 2017)
- Vorlesung "Computeralgebra" (WiSe 2017/2018)
- Rechenkurs "Algebra mit GAP" (WiSe 2017/2018)
- Vorlesung "Algorithmische Gruppentheorie" (SoSe 2018)
- Vorlesung "Gruppentheorie" (SoSe 2019)