Definable principal congruences in congruence distributive varieties

DOI10.1007/BF01188057MaRDI QIDQ759785zbMATH OpenFDO

Authors Emil W. Kiss

Publication date 1985

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01188057

zbMATH Keywords

congruence distributive varietyfinite algebrafirst order definable principal congruences

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Review text

The paper presents an algorithm that, given a finite algebra A generating a congruence distributive variety, determines whether this variety has first order definable principal congruences (DPC). In fact, DPC turns out to be equivalent to the extendability of the principal congruences of certain subalgebras of the algebras in \(HS(A^ 3)\). To verify this algorithm, combinatorial properties of the finite subdirect powers of A are investigated. As an application, R. McKenzie's result that there are no non-distributive lattice varieties with DPC is obtained.

Recommendations

• Definable principal subcongruences.
• Definable principal congruences and solvability
• Quasivarieties with definable relative principal subcongruences
• scientific article; zbMATH DE number 3912447
• scientific article; zbMATH DE number 2183540

Cites work

• A correction to Definable principal congruences in varieties of groups and rings
• Definable principal congruences in varieties of groups and rings
• scientific article; zbMATH DE number 3777731 (Why is no real title available?)
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• The number of subdirectly irreducible algebras in a variety
• Uniform congruence schemes
• Varieties of Rings with Definable Principal Congruences

Cited in

(16)

• Definable principal congruences and solvability
• Remarks on the Fraser-Horn property
• Universal algebras
• The determination of subvarieties of certain congruence-distributive varieties
• Definable principal subcongruences.
• Operator properties of congruence permutable varieties with strongly definable principal congruences.
• scientific article; zbMATH DE number 2183540 (Why is no real title available?)
• scientific article; zbMATH DE number 3912447 (Why is no real title available?)
• The Structure of Rings in Some Varieties with Definable Principal Congruences
• Finite Rings in Varieties with Definable Principal Congruences
• Definability of principal congruences in equivalential algebras
• Fregean subtractive varieties with definable congruence
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• The Division Relation: Congruence Conditions and Axiomatisability
• Congruence-lattices of discrete RUCS varieties
• Congruence-distributive varieties of algebras

This page was built for publication: Definable principal congruences in congruence distributive varieties

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