An algorithm for free algebras
We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
An application of commutator theory to incidence algebras.
Usando la teoria del commutatore in algebra universale, si dimostra che una larga classe di algebre di incidenza sono polinomialmente equivalenti a moduli su anelli con divisione.
An associative operator on the lattice of varieties of inverse semigroups.
An elementary proof that finite groups are projectively torsion-free
An equational basis in four variables for the three-element tournament
An example of the limit variety of semigroups.
Announcements of new results
Announcements of new results
Antiatomic retract varieties of monounary algebras
Approximate Mal'tsev operations.
Arithmeticity at 0
Automorphisms of categories of free algebras of varieties.