The Finite Index Basis Theorem

The Finite Index Basis Theorem is an elegant result connecting bifix codes, symbolic dynamical systems and free groups. It was proved in a 2015 paper with seven authors. In this talk we give a fresh look at this theorem, outlining a sort of topological proof appearing in the new book "Profinite Semigroups and Symbolic Dynamics".

Date and Venue

Start Date
Venue
Online Zoom meeting
End Date

Speaker

Alfredo Costa

Speaker's Institution

(FCTUC/CMUC)

Files

Area

Semigroups, Automata and Languages

Financiamento