On Polynomials in Mal’cev Algebras
O polinomima u algebrama Maljceva
Doktorand
Mudrinski, NebojšaMentor
Mašulović, DraganAichinger, Erhard
Članovi komisije
Crvenković, SinišaAichinger, Erhard
Madarász-Szilágyi, Rozália
Marković, Petar
Mašulović, Dragan
Metapodaci
Prikaz svih podataka o disertacijiSažetak
We establish several properties of higher commutators, which were introduced by A. Bulatov, in congruence permutable varieties. We use these commutators to prove that the clone of polynomial functions of a finite Mal’cev algebra whose congruence lattice is of height at most 2, can be described by a finite set of relations. For a finite nilpotent algebra of finite type that is a product of algebras of prime power order and generates congruence modular variety, we are able to show that the property of affine completeness is decidable. Moreover, polynomial equivalence problem has polynomial complexity in the length of the input polynomials.
Ustanovljavamo osobine viˇsih komutatora, koje je uveo A. Bulatov, u kongruencijki permutabilnim varijetetima. Te komutatore koristimo da bi dokazali da se klon polinomijalnih funkcija konaˇcne Maljcevljeve algebre ˇcija je mreˇza kongruencija visine najviˇse dva moˇze opisati konaˇcnim skupom relacija. Za konaˇcne nilpotentne algebre konaˇcnog tipa koje su proizvod algebri koje imaju red stepena prostog broja i koje generiˇsu kongruencijki modularan varijetet pokazu-jemo da je osobina afine kompletnosti odluˇciva. Takod¯e, pokazujemo za istu klasu da problem polinomijalne ekvivalencije ima polinomnu sloˇzenost u zavisnosti od duˇzine unetih polinomijalnih terma.