Remarks on the Fraser-Horn property

DOI10.1007/BF01190906MaRDI QIDQ1084121zbMATH OpenFDO

Authors Stanley N. Burris

Publication date 1986

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

definable principal congruencesequationally definable principal congruencesFraser-Horn propertyproduct congruencesvariety of algebras

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05)

Review text

A variety of algebras has the Fraser-Horn property (FHP) if all congruences of a direct product of two algebras are product congruences. A variety has definable principal congruences (DPC) if there exists a first order four-ary formula which describes the principal congruences. If this formula can be given as a (finite) set of equations, the variety has equationally definable principal congruences (EDPC). The important result of this short paper is that in any variety: \(EDPC=DPC+FHP\).

Recommendations

• The Fraser-Horn and Apple Properties
• Modular varieties with the Fraser-Horn property
• Central elements in varieties with the Fraser-Horn property
• scientific article; zbMATH DE number 561838
• Definable principal congruences in congruence distributive varieties

Cites work

• Congruence Relations in Direct Products
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Uniform congruence schemes

Cited in

(11)

• Fraser-Horn identities can be written in two variables
• A single quasi-identity for a quasivariety with the Fraser-Horn property
• Congruence lattices of powers of an algebra
• On the structure of varieties with equationally definable principal congruences. III
• Central elements in varieties with the Fraser-Horn property
• Varieties with equationally definable factor congruences
• Operator properties of congruence permutable varieties with strongly definable principal congruences.
• The Fraser-Horn and Apple Properties
• Modular varieties with the Fraser-Horn property
• scientific article; zbMATH DE number 561838 (Why is no real title available?)
• Fraser–Horn–Hu property for ordered algebras

This page was built for publication: Remarks on the Fraser-Horn property

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