Abstract
This chapter discusses coverings in the lattice of varieties. It discusses the lattice of subvarieties of a given variety of universal algebras. A variety B immediately covers a variety A if A is a proper subvariety of B and if every member of B outside A generates B. The chapter discusses the connection between this covering relation and finite splitting algebras. The notion of immediate covers is utilized to show that for any given positive integer k, the variety of abelian groups of exponent 2k is first order definable in the lattice of all group varieties. A critical algebra is a finite algebra that does not belong to the variety generated by its proper factors.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
