Varieties with definable factor congruences

DOI10.1090/S0002-9947-09-04921-6zbMath1223.08001arXiv0808.1860MaRDI QIDQ3182529

Pedro Sánchez Terraf, Diego J. Vaggione

Publication date: 9 October 2009

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0808.1860

zbMATH Keywords

definability; Mal'tsev condition; central elements; direct factors; direct product representations; Mal'tsev property

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08B25: Products, amalgamated products, and other kinds of limits and colimits

03C40: Interpolation, preservation, definability

Related Items

Unnamed Item, THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY, Factor congruence lifting property, Directly indecomposables in semidegenerate varieties of connected po-groupoids, Coextensive varieties via central elements, Varieties with existentially definable factor congruences, Varieties with equationally definable factor congruences. II, Varieties with equationally definable factor congruences, Equational definability of (complementary) central elements, BOOLEAN FACTOR CONGRUENCES AND PROPERTY (*)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean products of indecomposables.
• Varieties having Boolean factor congruences
• Central elements in varieties with the Fraser-Horn property
• Representations by algebras of sections over Boolean spaces
• Sheaf spaces and sheaves of universal algebras
• Compact factor congruences imply Boolean factor congruences
• Global subdirect products
• Modules over commutative regular rings
• Refinement properties for relational structures