Definable principal subcongruences. (Q1771906): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-002-8180-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2054891104 / rank | |||
Normal rank |
Latest revision as of 01:25, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Definable principal subcongruences. |
scientific article |
Statements
Definable principal subcongruences. (English)
0 references
19 April 2005
0 references
A variety \(\mathcal V\) has definable principal congruences if there is a finite list of congruence schemes sufficient to compute any principal congruence. \(\mathcal V\) has definable principal subcongruences if there is a finite list of congruence schemes sufficient to reach a principal congruence that can be fully computed by a predetermined finite list of congruence schemes. It is shown that if a locally finite variety \(\mathcal V\) of finite type has definable principal subcongruences then \(\mathcal V\) has a finite equational base if and only if the class of subdirectly irreducible members is finitely axiomatizable. Hence, a finite algebra \(\mathcal A\) of finite type whose variety \(\mathcal V(\mathcal A)\) is congruence distributive has definable principal subcongruences. On the other hand, there exist varieties of groups which do not have definable principal subcongruences.
0 references
congruence formula
0 references
principal congruence
0 references
congruence distributivity
0 references