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.