# Pure Maths Colloquium: Peter Mayr

This talk is part of the Pure Maths Colloquium at the University of St Andrews. Check out our upcoming talks at https://theran.lt/pure-colloquium/.

 Where: Purdie Theatre C When: Sep 22 2022 @ 16.00 Video: Not recorded
 Speaker: Peter Mayr University of Colorado, Boulder Title: The finite basis problem in general algebra

Tarski’s finite basis problem asks for a given finite algebraic structure $$A$$ whether the equational theory of $$A$$ is finitely axiomatizable. More explicitely, does there exist some finite set of identities true in $$A$$ that implies all identities true in $$A$$? McKenzie showed that this question is not decidable in general in 1996. Still partial results are known for many classes of algebras. I will review some of the long history of the problem, state open questions and present a recent approach on the finite basis problem for nilpotent loops.