Let K0 and K1 be equational classes of algebras of the same type. The smallest equational class K containing K0 and K1 is the join of K0 and K1; in notation, K = K0 ∨ K1. The direct product K0 × K1 is the class of all algebras α which are isomorphic to an algebra of the form a0 × a1, a0 ∈ K1. Naturally, K0 × K1 ⊆ K0 ∨ K1, Our first theorem states a very simple condition under which K0 × K1 = K0 ∨ K1, and an additional condition under which the representation α ∨ a0 × a1 unique.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.