A\(\times A\) congruence coherent implies A congruence permutable (Q1096657): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01188397 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1999824136 / rank | |||
Normal rank |
Latest revision as of 11:07, 30 July 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