Central elements in varieties with the Fraser-Horn property (Q1969245): Difference between revisions
From MaRDI portal
Latest revision as of 14:24, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Central elements in varieties with the Fraser-Horn property |
scientific article |
Statements
Central elements in varieties with the Fraser-Horn property (English)
0 references
22 October 2000
0 references
A variety \({\mathcal V}\) is called a variety with \(\vec 0\) and \(\vec 1\) if there exist unary terms \(0_1,\dots, 0_n\), \(1_1,\dots, 1_n\) such that \({\mathcal V}\models \vec 0(w)=\vec 1(w) \Rightarrow x=y\). Let be \(b\in A\in{\mathcal V}\). An element \(\vec e\in A^n\) is called \(b\)-central if there is an isomorphism \(A\to A_1\times A_2\) such that \[ \vec e\to ((0_1(b_1), 1_1(b_2)),\dots, (0_n(b_1), 1_n(b_2))). \] A variety \({\mathcal V}\) has the Fraser-Horn property if for every \(A_1,A_2\in{\mathcal V}\) and each congruence \(\theta\) there is a product congruence \(\theta_1\times \theta_2\) on \(A_1\times A_2\). The main result states that in every variety \({\mathcal V}\) with \(\vec 0\) and \(\vec 1\) having the Fraser-Horn property the \(b\)-central elements can be characterized by suitable \(\forall\exists\)-formulas, and factor congruences by certain existential formulas. This yields that if \({\mathcal V}\) is of a finite type then the class of directly indecomposable members of \({\mathcal V}\) is definable by a \(\forall\exists\forall\)-sentence.
0 references
directly indecomposable algebra
0 references
Fraser-Horn property
0 references
\(b\)-central elements
0 references
factor congruences
0 references