Subsemivarieties of -algebras

A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.