Boolean products of indecomposables.
It was proved recently by D. Vaggione that discriminator varieties \(V\) are characterized by two properties: (a) the Fraser-Horn property (FHP) and (b) \(V = I\Gamma ^{a}(V_{DI})\), where \(I\) denotes closure under isomorphism, \(\Gamma ^{a}\) denotes closure under formation of Boolean products with clopen equalizers, and \(V _{DI}\) is the class of directly indecomposable members of \(V\). He asked whether FHP could be replaced by the weaker property (BFC) of Boolean Factor Congruences. The author proves that if \(V\) satisfies (BFC) and \(V = I\Gamma ^{a}(V_{DI})\) then \(V_{DI}\) consists of simple algebras and it is a class defined by universal sentences.
- Varieties with definable factor congruences
- Finitely Boolean Representable Varieties
- Boolean-like algebras
- The Fraser-Horn and Apple Properties
- scientific article; zbMATH DE number 554981 (Why is no real title available?)
- scientific article; zbMATH DE number 1101410 (Why is no real title available?)
- Characterization of discriminator varieties
- Factor principal congruences and Boolean products in filtral varieties
This page was built for publication: Boolean products of indecomposables.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1771965)
