An algebra is said to have the endomorphism kernel property (EKP) if every congruence on is the kernel of some endomorphism of . Three classes of monounary algebras are dealt with. For these classes, all monounary algebras with EKP are described.
All monounary algebras which have strong endomorphism kernel property are described.
This paper introduces the notion of a strong retract of an algebra and then focuses on strong retracts of unary algebras. We characterize subuniverses of a unary algebra which are carriers of its strong retracts. This characterization enables us to describe the poset of strong retracts of a unary algebra under inclusion. Since this poset is not necessarily a lattice, we give a necessary and sufficient condition for the poset to be a lattice, as well as the full description of the poset.
For a subalgebra of a partial monounary algebra we define the quotient partial monounary algebra . Let , be partial monounary algebras. In this paper we give a construction of all partial monounary algebras such that is a subalgebra of and .
J. Płonka in [12] noted that one could expect that the regularization of a variety of unary algebras is a subdirect product of and the variety of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties which are contained in the generalized variety of the so-called trap-directable algebras.