Homomorphisms of unary algebras with a given quotient (Q804614)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homomorphisms of unary algebras with a given quotient |
scientific article |
Statements
Homomorphisms of unary algebras with a given quotient (English)
0 references
1990
0 references
A universal category of (unary) algebras is a class of (unary) algebras containing each full category of algebras as a full subcategory. The paper is concerned with these categories and proves the following characterization: Given a nontrivial freely indecomposable unary algebra \b{A} with at least two fundamental operations, then the following five conditions are equivalent: 1. \b{A} has no homomorphism into a free algebra. 2. The class H(\b{A}) of all algebras having a homomorphism into \b{A} is universal. 3. The class Q(\b{A}) of all algebras having a quotient isomorphic to \b{A} is universal. 4. The class H(\b{A}) of all algebras having a homomorphism into \b{A} contains a rigid algebra (i.e. an algebra with only the identity endomorphism). 5. The class Q(\b{A}) of all algebras having a quotient isomorphic to \b{A} contains a rigid algebra.
0 references
universal category
0 references
unary algebra
0 references
rigid algebra
0 references
0 references