Varieties whose finitely generated members are free

Abstract

We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine vector spaces over a division ring.

arXiv comment17 pages