Covers of primal varieties
From MaRDI portal
It is proved that for every variety \(P_n\) generated by an \(n\)-element primal algebra there is a minimum variety (generated by \(P^+_n)\) strictly above it in the lattice \(L\) of interpretability types of varieties. \(P_n\) is equivalent to a variety generated by \(P_n\) (explicitly defined in the paper) and the construction of \(P^+_n\) from \(P_n\) is shown. Corollary: There exist denumerably many covering pairs in \(L\). This generalizes R. McKenzie's discovery of the first known cover (of the variety of Boolean algebras) in \(L\).
Recommendations
Cites work
- Characterizing Mal'cev conditions
- Covers of some varietal products
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3601640 (Why is no real title available?)
- Interpretations of module varieties
- Narrowness implies uniformity
- Non-covering in the interpretability lattice of equational theories
- On the covering relation in the interpretability lattice of equational theories
- Some very weak identities
Cited in
(8)- Covers and fans of polynomial ideals
- Maximal covers of chains of prime ideals
- Covers of varieties with completely split points
- Multiple prime covers of the Riemann sphere
- Prym varieties of spectral covers
- Primitive lattice varieties
- On the covering relation in the interpretability lattice of equational theories
- A construction of covers of arithmetic schemes
This page was built for publication: Covers of primal varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913864)