Varieties with definable factor congruences

DOI10.1090/S0002-9947-09-04921-6MaRDI QIDQ3182529zbMATH OpenFDO

Authors 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

central elementsdefinabilitydirect factorsdirect product representationsMal'tsev conditionMal'tsev property

Mathematics Subject Classification ID

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

Abstract: We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense, among them the concept of Definable Factor Congruences (DFC). The main results are that DFC is a Mal'cev property and that it is equivalent to all other conditions formulated; in particular we prove that V has DFC if and only if V has 0&1 and Boolean Factor Congruences. We also obtain an explicit first order definition of the kernel of the canonical projections via the terms associated to the Mal'cev condition for DFC, in such a manner it is preserved by taking direct products and direct factors. The main tool is the use of "central elements," which are a generalization of both central idempotent elements in rings with identity and neutral complemented elements in a bounded lattice.

Recommendations

• Varieties with equationally definable factor congruences. II
• Varieties with equationally definable factor congruences
• Existentially definable factor congruences
• scientific article; zbMATH DE number 774072
• Boolean factor congruences and property (*)

Cites work

• Boolean products of indecomposables.
• Central elements in varieties with the Fraser-Horn property
• Compact factor congruences imply Boolean factor congruences
• Global subdirect products
• scientific article; zbMATH DE number 4174998 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• Modules over commutative regular rings
• Refinement properties for relational structures
• Representations by algebras of sections over Boolean spaces
• Sheaf spaces and sheaves of universal algebras
• Varieties having Boolean factor congruences

Cited in

(16)

• Directly indecomposables in semidegenerate varieties of connected po-groupoids
• Varieties with n-principal compact congruences
• 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 (*)
• Fregean subtractive varieties with definable congruence
• scientific article; zbMATH DE number 742852 (Why is no real title available?)
• Existentially definable factor congruences
• Factor congruence lifting property
• scientific article; zbMATH DE number 962253 (Why is no real title available?)
• The fundamental theorem of central element theory
• Pierce stalks in preprimal varieties
• From coextensive varieties to the Gaeta topos

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

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