Remarks on the Fraser-Horn property (Q1084121)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Remarks on the Fraser-Horn property |
scientific article; zbMATH DE number 3977071
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Remarks on the Fraser-Horn property |
scientific article; zbMATH DE number 3977071 |
Statements
Remarks on the Fraser-Horn property (English)
0 references
1986
0 references
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\).
0 references
variety of algebras
0 references
Fraser-Horn property
0 references
product congruences
0 references
definable principal congruences
0 references
equationally definable principal congruences
0 references
