_ 0-categoricity in infra primal varieties
Macintyre and Rosenstein proved that in a variety V of unitary rings generated by a finite field F a member \(R\in V\) is \(\aleph_ 0\)- categorical iff R is a filtered Boolean product of subfields of F with an \(\aleph_ 0\)-categorical augmented Boolean algebra. This paper extends this result to each variety generated by an infra-primal algebra A - i.e. a finite algebra all of whose nontrivial subalgebras are non- isomorphic and each automorphism of a subalgebra of A extends to an automorphism of A. - Even more a part of the converse is shown, namely if A is quasi-primal - i.e. the ternary discriminator \(t(x,y,z)=z\) if \(x=y\); \(=x\) if \(x\neq y\) is a term-function of A - then the \(\aleph_ 0\)- categorical members of the variety generated by A have the same characterization iff A is infra-primal. The methods of proof are a thorough investigation of the sheaf-representation of algebras in varieties generated by quasi-primal algebras.
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
- Functional completeness and automorphisms. General infra-primal theory and universal algebra fields of Galois-class. I
- Functional completeness and automorphisms. General infra-primal theory and universal algebra fields of Galois-class. II
- Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
- On the topological duality for primal algebra theory
- Topological Representation of Algebras
This page was built for publication: \(\aleph _ 0\)-categoricity in infra primal varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1078591)
