A\(\times A\) congruence coherent implies A congruence permutable (Q1096657): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A\(\times A\) congruence coherent implies A congruence permutable |
scientific article |
Statements
A\(\times A\) congruence coherent implies A congruence permutable (English)
0 references
1987
0 references
The content of this one-page article is the proof of the assertion in the title. An algebra A is called congruence coherent, if every subalgebra of A containing one class of a congruence on A is a union of classes of that congruence. The product \(\rho\circ \sigma\) of two binary relations \(\rho\), \(\sigma\) on the same set is defined so that (a,b)\(\in \rho \circ \sigma\) if and only if there exists c such that (a,c)\(\in \rho\), (c,b)\(\in \sigma\). If \(\rho \circ \sigma =\sigma \circ \rho\) for any two congruences \(\rho\), \(\sigma\) on an algebra A, then A is called congruence permutable.
0 references
congruence coherent algebra
0 references
congruence permutable algebra
0 references
direct product of algebras
0 references