KOLOBARJI POLINOMOV IN GRÖBNERJEVE BAZENemec, Maja (Avtor) Benkovič, Dominik (Mentor) kolobar polinomovnoetherski kolobarGröbnerjeva bazaBuchbergerjev algoritemV diplomskem delu najprej predstavimo osnovne definicije teorije kolobarjev, ki jih potrebujemo skozi celotno diplomsko delo. Nato se seznanimo še s pojmi kolobarjev polinomov ene in več spremenljivk ter noetherskimi kolobarji. Obravnavamo predvsem lastnosti, ki jih ima komutativni kolobar polinomov F[x_1‚x_2‚…,x_{n}], kjer je F polje. V preostalih poglavjih se posvetimo študiju Gröbnerjevih baz. Gre za končne množice generatorjev posameznih idealov kolobarja F[x_1‚x_2‚…,x_{n}]. Nato opišemo algoritem splošnega deljenja polinomov, kjer so polinomi iz F[x_1‚x_2‚…,x_{n}], ki ga rabimo v nadaljevanju. Nadalje povemo še nekaj o uporabnosti Gröbnerjevih baz. Med drugim dokažemo Buchbergerjev kriterij, ki igra ključno vlogo pri Buchbergerjevem algoritmu. S pomočjo omenjenega algoritma lahko poiščemo Gröbnerjevo bazo poljubnega danega ideala. Definiramo tudi pojma minimalne in reducirane Gröbnerjeve baze ter pogledamo kako iz Gröbnerjeve baze dobimo omenjeni bazi. Teorija Gröbnerjevih baz se izkaže za zelo koristno pri reševanju algebraičnih enačb, saj služi kot osnova pri reševanju sistemov enačb, kjer nastopajo nelinearni polinomi. Zato si na koncu pogledamo še eliminacijsko teorijo, ki pove kako iz nekega sistema enačb dobiti nove enačbe, ki ne vsebujejo vseh prvotnih spremenljivk.[M. Nemec]20102010-09-06 08:00:56Diplomsko delo15367sl