Projectivity and isomorphism of strictly simple algebras (Q1966135): Difference between revisions

For an algebra \(A\) and a unary idempotent term \(e\) in the language of \(A\), let \(e(A)\) be an algebra with the universe \(e(A)\) and with the set \(\{et\); \(t\) is a term in the language of \(A\}\) of fundamental operations. The algebra \(e(A)\) is called a localization of \(A\). For a fixed similarity type the localization construction \(A\rightarrow e(A)\) allows to define by a natural way a localization functor. In the paper a sufficient condition for the localization functor to be a categorical equivalence is given. A byproduct of this result is the statement that if \(A\) and \(B\) are strictly simple and generate the same variety, then \(A\cong B\) or both are strongly abelian. Also strictly simple algebras which are projective in the variety they generate are described.