Existentially definable factor congruences

MaRDI QIDQ4913470zbMATH OpenFDO

Authors Pedro Sánchez Terraf

Publication date 5 April 2013

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

zbMATH Keywords

central elementcompact congruencefactor congruencessemidegenerate variety

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Equational logic, Mal'tsev conditions (08B05)

Abstract: A variety V has definable factor congruences if and only if factor congruences can be defined by a first-order formula Phi having central elements as parameters. We prove that if Phi can be chosen to be existential, factor congruences in every algebra of V are compact.

Recommendations

• Varieties with equationally definable factor congruences
• Varieties with definable factor congruences
• scientific article; zbMATH DE number 2183540
• Varieties with equationally definable factor congruences. II
• Quasivarieties of algebras with definable principal congruences

Cited in

(7)

• Varieties with existentially definable factor congruences
• Varieties with equationally definable factor congruences. II
• Varieties with equationally definable factor congruences
• Definability of directly indecomposable congruence modular algebras
• Equational definability of (complementary) central elements
• Varieties with definable factor congruences
• The fundamental theorem of central element theory

This page was built for publication: Existentially definable factor congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4913470)