Boolean Factor Congruences and Property (*)
| dc.creator | Terraf, Pedro Sánchez | |
| dc.date | 2008-09-22 | |
| dc.date.accessioned | 2026-07-07T10:04:35Z | |
| dc.date.available | 2026-07-07T10:04:35Z | |
| dc.description | A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety which has a semilattice operation. BFC has a prominent role in the study of uniqueness of direct product representations of algebras, since it is a strengthening of the refinement property. We provide an explicit Mal'cev condition for BFC. With the aid of this condition, it is shown that BFC is equivalent to a variant of the definability property (*), an open problem in R. Willard's work ("Varieties Having Boolean Factor Congruences," J. Algebra, 132 (1990)). | |
| dc.identifier | https://arxiv.org/abs/0809.3815 | |
| dc.identifier | http://arxiv.org/abs/0809.3815 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/169733 | |
| dc.subject | Logic | |
| dc.subject | 08B05; 03C40 | |
| dc.title | Boolean Factor Congruences and Property (*) | |
| dc.type | text |