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

definabilityMal'tsev conditioncentral elementsdirect factorsdirect product representationsMal'tsev property

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Products, amalgamated products, and other kinds of limits and colimits (08B25) Interpolation, preservation, definability (03C40)

Related Items (10)

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

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

This page was built for publication: Varieties with definable factor congruences