Residually small varieties without rank (Q702200): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:00, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Residually small varieties without rank |
scientific article |
Statements
Residually small varieties without rank (English)
0 references
17 January 2005
0 references
We recall that a variety \(\mathbb V\) is residually small if any class of non-isomorphic subdirectly irreducible algebras from \(\mathbb V\) is a set. For a set functor \(F\), let \(\text{COAL}(F)\) denote the category of all \(F\)-coalgebras and their homomorphisms and let \(\mathbb V_F\) be a variety of (unranked) algebras equivalent to the dual of \(\text{COAL}(F)\). It is proved that the variety of complete atomic Boolean algebras and the variety of commutative \(C^{*}\)-unital algebras are residually small and Birkhoff's subdirect representation theorem is true for these varieties. On the other hand, the variety of compact Hausdorff spaces is residually small but Birkhoff's subdirect decomposition theorem does not hold. These observations are generalized. If \(F\) is a set-accessible functor preserving intersections then Birkhoff's subdirect decomposition theorem holds in \(\mathbb V_F\) and \(\mathbb V_F\) is residually small.
0 references
subdirect representation
0 references
subdirectly irreducible algebra
0 references
residually small variety
0 references
complete atomic Boolean algebra
0 references