2010
DOI: 10.1007/s00012-010-0084-1
|View full text |Cite
|
Sign up to set email alerts
|

Some applications of higher commutators in Mal’cev algebras

Abstract: We establish several properties of Bulatov's higher commutator operations in congruence permutable varieties. We use higher commutators to prove that for a finite nilpotent algebra of finite type that is a product of algebras of prime power order and generates a congruence modular variety, affine completeness is a decidable property. Moreover, we show that in such algebras, we can check in polynomial time whether two given polynomial terms induce the same function.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

3
133
0

Year Published

2011
2011
2024
2024

Publication Types

Select...
6

Relationship

2
4

Authors

Journals

citations
Cited by 56 publications
(142 citation statements)
references
References 15 publications
3
133
0
Order By: Relevance
“…We note that an n-supernilpotent congruence is nilpotent of class n by property (HC8) in [3]. In rings and groups the converse holds as well by Lemmas 3.5 and 3.6.…”
Section: Introductionmentioning
confidence: 79%
See 2 more Smart Citations
“…We note that an n-supernilpotent congruence is nilpotent of class n by property (HC8) in [3]. In rings and groups the converse holds as well by Lemmas 3.5 and 3.6.…”
Section: Introductionmentioning
confidence: 79%
“…This definition is equivalent to the one given in [3,Definition 3.2] and in [6,Definition 3]. We use the notation M A (α 1 , .…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…The following special class of binary polynomials can be used to define commutators in Mal'cev algebras, as it has been done in [3,Lemma 6.9]. Definition 2.2.…”
Section: The Commutator [•mentioning
confidence: 99%
“…These proofs require the existence of a Mal'cev term in an essential way, hence the validity of (HC3'), (HC4), (HC7), (HC8) outside Mal'cev algebras still remains to be explored. We note that the properties (HC5) and (HC6) listed in [3] are missing from our list here. The property (HC5) relates higher commutators to a certain centralizing relation, and (HC6) relates the commutator operations of an algebra to the commutator operations of a homomorphic image.…”
Section: Introductionmentioning
confidence: 99%