Tue, 11 Feb 2025, 1:25 pm MT
The Finite Basis Problem is a classical problem in universal algebra. In this talk, I will introduce the problem and necessary notions. Then I will present my recent contribution: an abelian Mal'cev variety is finitely based if and only if its ring of binary idempotent terms is finitely presented and its module of unary terms is finitely presented.