<p>We establish several properties of higher commutators, which were<br />introduced by A. Bulatov, in congruence permutable varieties. We use these<br />commutators to prove that the clone of polynomial functions of a finite Mal’cev<br />algebra whose congruence lattice is of height at most 2, can be described by a<br />finite set of relations. For a finite nilpotent algebra of finite type that is a product<br />of algebras of prime power order and generates congruence modular variety, we<br />are able to show that the property of affine completeness is decidable. Moreover,<br />polynomial equivalence problem has polynomial complexity in the length of the<br />input polynomials.</p> / <p>Ustanovljavamo osobine viˇsih komutatora, koje je uveo A. Bulatov,<br />u kongruencijki permutabilnim varijetetima. Te komutatore koristimo da bi<br />dokazali da se klon polinomijalnih funkcija konaˇcne Maljcevljeve algebre ˇcija je<br />mreˇza kongruencija visine najviˇse dva moˇze opisati konaˇcnim skupom relacija. Za<br />konaˇcne nilpotentne algebre konaˇcnog tipa koje su proizvod algebri koje imaju red<br />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<br />da problem polinomijalne ekvivalencije ima polinomnu sloˇzenost u zavisnosti od<br />duˇzine unetih polinomijalnih terma.</p>
| Identifer | oai:union.ndltd.org:uns.ac.rs/oai:CRISUNS:(BISIS)6015 |
| Date | 30 September 2009 |
| Creators | Mudrinski Nebojša |
| Contributors | Mašulović Dragan, Aichinger Erhard, Crvenković Siniša, Madarász-Szilágyi Rozália, Marković Petar |
| Publisher | Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, University of Novi Sad, Faculty of Sciences at Novi Sad |
| Source Sets | University of Novi Sad |
| Language | English |
| Detected Language | Unknown |
| Type | PhD thesis |
Page generated in 0.0019 seconds