Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/26332
Title: | On Polynomials in Mal’cev Algebras O polinomima u algebrama Maljceva |
Authors: | Mudrinski Nebojša | Keywords: | Polynomials, clones, Mal’cev algebra, commutators;Polinomi, klonovi, Maljcevljeve algebre, komutatori | Issue Date: | 30-Sep-2009 | Publisher: | Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu University of Novi Sad, Faculty of Sciences at Novi Sad |
Abstract: | <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> |
URI: | https://open.uns.ac.rs/handle/123456789/26332 | DOI: | 10.2298/NS20090930MUDRINSKI |
Appears in Collections: | PMF Teze/Theses |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.