Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2020-03-17 14:00-15:00 |
Titre | Finite automata presentable groups |
Résumé |
A mathematical structure M is called finite automata presentable if the elements of M can be represented by strings in a regular language,
in such a way that the relations and functions of M are also decided by finite automata. We will discuss the extent of this notions in. the context of groups.
Older work with Thomas shows that every finitely generated subgroup is abelian by finite. Recent work with Stephan gives new examples and counterexamples in the setting of groups that are nilpotent of class 2. We will also discuss the possibility of a complete description of such groups. |
Lieu | 178 |
Orateur | André Nies |
Email | https://www.cs.auckland.ac.nz/~nies/ |
Url | University of Auckland |
Aucun document lié à cet événement.
RetourRetour à l'index