Let V be a nontrivial variety with a finite signature. Under which conditions (if any) is every algebra finite which is finitely presentable in V?
Asked
Active
Viewed 57 times
1 Answers
4
Let $\mathcal V$ be a variety. The following are equivalent:
- All algebras that are finitely presentable in $\mathcal V$ are finite.
- All finitely generated $\mathcal V$-free algebras are finite.
- All finitely generated algebras in $\mathcal V$ are finite. ($\mathcal V$ is locally finite.)
Keith Kearnes
- 13,798