Subgroup membership and formal languages (Corentin Bodart, Oxford)

09.12.2025 10:30

The intersection of Geometric Group Theory and Formal Language Theory has been fruitful in the last 50 years. I'll start by recalling some of the key results in the area, such as the Muller-Schupp theorem on groups with context-free Word Problem and Lehnert's conjecture on groups with co-context-free Word Problem. In joint work with André Carvalho and Carl-Fredrik Nyberg-Brodda, we have been looking at similar languages related to another decision problem in groups: Subgroup Membership. I'll explain the toolbox we have been developing, apply it to examples and non-examples, and highlight some open problems along the way.

Lieu

Bâtiment: Conseil Général 7-9

Room 1-05, Tuesday 09.12.2025, Séminaire "Groupes et géométrie"

entrée libre