On complex algebras of subalgebras

Abstract

Let V be a variety of algebras. We establish a condition (so called generalized entropic property), equivalent to the fact that for every algebra A 2 V, the set of all subalgebras of A is a subuniverse of the complex algebra of A. We investigate the relationship between the generalized entropic property and the entropic law. Further, provided the generalized entropic property is satisfied in V, we study the identities satisfied by the complex algebras of subalgebras of algebras from V