Inherently nonfinitely based nonassociative algebras

Abstract: This is a progress report on an exploration of Isaev's algebras and their cousins. Isaev's algebras were the first, and remain the only, known examples of inherently nonfinitely based finite algebras in Maltsev varieties. In this talk I will describe a class of finite algebras containing Isaev's algebras, and explain some basic tools that we have developed to help determine which of these algebras are inherently nonfinitely based. At the moment we are only able to apply these tools to Isaev's algebras themselves, but that won’t stop me from filling the 50-minute time slot which I have been offered! This is joint work with Emily Carlson, Mehul Gupta and George McNulty.

computational complexitycategory theorylogic

Audience: researchers in the topic

PALS Panglobal Algebra and Logic Seminar

Series comments: The PALS seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. Please contact one of the organizers for the Zoom password, to join the mailing list or if you want to speak.