Abstract
A dimension of a finitely based variety V of algebras is the greatest length of a basis (that is, an independent generating set) for the SC-theory SC(V) with the strong Mal'tsev conditions satisfied in V. A dimension is said to be infinite if the lengths of bases in SC(V) are unbounded. We prove that the dimension of a Cantor variety Cm,n in the general form, i.e., with n>m≥1, is infinite. The algorithm of constructing a basis of any given length in SC(Cm,n) is presented. By contrast, any Post variety Pn generated by a primal algebra of order n>1 is shown to have a finite dimension not exceeding the number of maximal subalgebras in the iterative Post algebra over the set {0,1,…,n−1}. Specifically, the dimension of the variety of Boolean algebras is at most four.
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
