Algebrai alapismeretek az Algebrai síkgörbék c. tárgyhoz. 1. Integritástartományok, oszthatóság



Hasonló dokumentumok
Diszkrét matematika 2.

Klasszikus algebra előadás. Waldhauser Tamás március 24.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika 2.C szakirány

Nagy Gábor compalg.inf.elte.hu/ nagy

Polinomok (előadásvázlat, október 21.) Maróti Miklós

Polinomok (el adásvázlat, április 15.) Maróti Miklós

Klasszikus algebra előadás. Waldhauser Tamás április 14.

1. A maradékos osztás

Klasszikus algebra előadás. Waldhauser Tamás április 28.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1. Egész együtthatós polinomok

1. Polinomok számelmélete

Nagy Gábor compalg.inf.elte.hu/ nagy

0 ; a k ; :::) = ( 0: x = (0; 1; 0; 0; :::; 0; :::) = (0; 1)

Kongruenciák. Waldhauser Tamás

Hatványozás. A hatványozás azonosságai

Diszkrét matematika I.

Intergrált Intenzív Matematika Érettségi

Gy ur uk aprilis 11.

Határozatlan integrál

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

Diszkrét matematika 2.C szakirány

1. Polinomfüggvények. Állítás Ha f, g C[x] és b C, akkor ( f + g) (b) = f (b) + g (b) és ( f g) (b) = f (b)g (b).

1. Mátrixösszeadás és skalárral szorzás

1.1. Definíció. Azt mondjuk, hogy a oszója b-nek, vagy más szóval, b osztható a-val, ha létezik olyan x Z, hogy b = ax. Ennek jelölése a b.

3. Lineáris differenciálegyenletek

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika I., 12. előadás Dr. Takách Géza NyME FMK Informatikai Intézet takach november 30.

1. A maradékos osztás

1. A Horner-elrendezés

1. A polinom fogalma. Számolás formális kifejezésekkel. Feladat Oldjuk meg az x2 + x + 1 x + 1. = x egyenletet.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

1. Hatvány és többszörös gyűrűben

Nagy Gábor compalg.inf.elte.hu/ nagy

1. feladatsor: Vektorterek, lineáris kombináció, mátrixok, determináns (megoldás)

Komplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18

Vektorok, mátrixok, lineáris egyenletrendszerek

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Polinomok maradékos osztása

1. Interpoláció. Egyértelműség Ha f és g ilyen polinomok, akkor n helyen megegyeznek, így a polinomok azonossági tétele miatt egyenlők.

VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Testek március 29.

Polinomgy r k. 1. Bevezet. 2. Polinomok. Dr. Vattamány Szabolcs.

5. Az Algebrai Számelmélet Elemei

Mátrixok 2017 Mátrixok

Diszkrét matematika 2 (C) vizsgaanyag, 2012 tavasz

4. Test feletti egyhatározatlanú polinomok. Klasszikus algebra előadás NE KEVERJÜK A POLINOMOT A POLINOMFÜGGVÉNNYEL!!!

Tartalomjegyzék 1. Műveletek valós számokkal Függvények Elsőfokú egyenletek és egyenlőtlenségek

Alapvető polinomalgoritmusok

Nagy Gábor compalg.inf.elte.hu/ nagy

KOVÁCS BÉLA, MATEMATIKA I.

Vizsgatematika Bevezetés a matematikába II tárgyhoz tavasz esti tagozat

13.1.Állítás. Legyen " 2 C primitív n-edik egységgyök és K C olyan számtest, amelyre " =2 K, ekkor K(") az x n 1 2 K[x] polinomnak a felbontási teste

1. Bázistranszformáció

Algoritmuselmélet gyakorlat (MMN111G)

FFT. Második nekifutás. Czirbusz Sándor ELTE IK, Komputeralgebra Tanszék október 2.

15. LINEÁRIS EGYENLETRENDSZEREK

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

SE EKK EIFTI Matematikai analízis

Polinomok, Lagrange interpoláció

Zárthelyi feladatok megoldásai tanulságokkal Csikvári Péter 1. a) Számítsuk ki a 2i + 3j + 6k kvaternió inverzét.

Nagy Gábor compalg.inf.elte.hu/ nagy

1. Diagonalizálás. A Hom(V) diagonalizálható, ha van olyan bázis, amelyben A mátrixa diagonális. A diagonalizálható van sajátvektorokból álló bázis.

Diszkrét matematika 2. estis képzés

Polinomok A gyökök száma A gyökök és együtthatók összefüggése Szorzatra bontás, számelméleti kérdések A harmad- és negyedfokú egyenlet

karakterisztikus egyenlet Ortogonális mátrixok. Kvadratikus alakok főtengelytranszformációja

Integrálszámítás. a Matematika A1a-Analízis nevű tárgyhoz november

matematika alapszak Waldhauser Tamás jegyzete alapján készítette B. Szendrei Mária

1. Komplex szám rendje

Funkcionálanalízis. n=1. n=1. x n y n. n=1

összeadjuk 0-t kapunk. Képletben:

Egy általános iskolai feladat egyetemi megvilágításban

Lineáris egyenletrendszerek

FELADATOK A BEVEZETŽ FEJEZETEK A MATEMATIKÁBA TÁRGY III. FÉLÉVÉHEZ. ÖSSZEÁLLÍTOTTA: LÁNG CSABÁNÉ ELTE IK Budapest

LINEÁRIS ALGEBRA. Szerkeszt es alatt NAGY ATTILA

First Prev Next Last Go Back Full Screen Close Quit

Gauss-Jordan módszer Legkisebb négyzetek módszere, egyenes LNM, polinom LNM, függvény. Lineáris algebra numerikus módszerei

1. előadás: Halmazelmélet, számfogalom, teljes

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

3. el adás: Determinánsok

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika alapfogalmak

Diszkrét matematika 1. estis képzés. Komputeralgebra Tanszék ősz

Elemi algebrai eszközökkel megoldható versenyfeladatok Ábrahám Gábor, Szeged

A parciális törtekre bontás?

DISZKRÉT MATEMATIKA 2 KIDOLGOZOTT TÉTELSOR 1. RÉSZ

Komplex számok. (a, b) + (c, d) := (a + c, b + d)

KOVÁCS BÉLA, MATEMATIKA I.

Diszkrét matematika II. feladatok

HHF0CX. k darab halmaz sorbarendezésének a lehetősége k! Így adódik az alábbi képlet:

Matematika A2 vizsga mgeoldása június 4.

Komplex számok. Wettl Ferenc Wettl Ferenc () Komplex számok / 9

Szerkeszt es alatt LINEÁRIS ALGEBRA NAGY ATTILA EGYETEMI JEGYZET. Budapesti Műszaki és Gazdaságtudományi Egyetem. Algebra Tanszék

1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!

1.9. B - SPLINEOK B - SPLINEOK EGZISZTENCIÁJA. numerikus analízis ii. 34. [ a, b] - n legfeljebb n darab gyöke lehet. = r (m 1) n = r m + n 1

Matematika. 4. konzultáció: Kétváltozós függvények szélsőértéke. Parciális függvény, parciális derivált

Átírás:

Algebrai alapismeretek az Algebrai síkgörbék c tárgyhoz 1 Integritástartományok, oszthatóság 11 Definíció A nullaosztómentes, egységelemes kommutatív gyűrűket integritástartománynak nevezzük 11 példa Integritástartományra a legismertebb példa az egész számok Z halmaza Másik fontos példa a D integritástartomány feletti n változós D[X 1,, X n ] polinomgyűrű 12 Definíció Legyen a, b a D integritástartomány két eleme Azt mondjuk, hogy a osztja b-t, ha létezik c D elem, amelyre ac = b; jelöléssel a b Amennyiben a b és b a egyidőben fennáll, asszociált elemekről beszélünk, és az a b jelölést használjuk Az 1 egységelemmel asszociált elemeket D egységeinek nevezzük, ezek halmazát általában D jelöli Könnyű meggondolni, hogy az a, b D elemek akkor és csak akkor asszociáltak, ha a = bu és b = av teljesül valamely u, v D egységekre 12 példa Z egységei ±1, míg D[X 1,, X n ] = D 13 Definíció Azt mondjuk, hogy a D integritástartomány a eleme irreducibilis, ha minden b a elemre b a vagy b 1 teljesül Továbbá, ha a bc-ből következik, hogy a b vagy a c, akkor prímelemről beszélünk Könnyen meggondolható, hogy definíció szerint minden prímelem irreducibilis Ennek megfordítása azonban nem minden integritástartomány esetén igaz (Pl a Z[ 5] gyűrűben 3 3 = (2 + 5)(2 5) teljesül, azaz 3 irreducibilis, de nem prím) 14 Definíció Azokat az integritástartományokat, amelyekben minden irreducibilis elem prím, Gauss-gyűrűknek nevezzük 15 Állítás (Gauss tétele) Ha D Gauss-gyűrű, akkor a D[X] polinomgyűrű is Gauss-gyűrű 16 Következmény Ha D Gauss-gyűrű, akkor D[X 1,, X n ] = D[X 1,, X n 1 ][X n ] is Gauss-gyűrű Speciálisan, minden test feletti n-változós polinomgyűrű Gaussgyűrű 1

17 Következmény A D integritástartomány feletti D[X 1,, X n ] polinomgyűrűben egyértelmű faktorizáció áll fenn Pontosabban, bármely f D[X 1,, X n ] polinom sorrend és asszociáltság erejéig egyértelműen meghatározott módon felírható véges sok irreducibilis polinom f = g 1 g m szorzataként Bizonyítás A fokszámok tulajdonságai miatt nyilvánvaló, hogy f felbomlik véges sok irreducibilis elem szorzatára; a Gauss-tulajdonság szerint ez prímelemek szorzatát jelenti Ha felírunk két ilyen faktorizációt, f = g 1 g m = h 1 h k, akkor a prímtulajdonság szerint g 1 osztja valamelyik h i, ami azt jelenti, hogy asszociáltak Hasonlóan folytatva az f = g 2 g m polinomra azt kapjuk, hogy m = k és minden g i asszociált valamely h j -hez Legyen D integritástartomány és definiáljuk a T halmazt az alábbi módon T elemeit a b alakba írjuk, ahol a D és b D \ {0} Az a b, c T elemeket egyenlőknek tekintjük, ha ad = bc teljesül D-ben Az a elemeket a-val is jelölhetjük, d 1 ilyen módon D T áll fenn A négy alapműveletet az alábbi módon értelmezzük T-n: a b ± c d ad ± bc =, bd az osztás esetén c 0-t feltételezve a b c d = ac bd, a b : c d = ad bc, 18 Állítás A fenti módon értelmezett T halmaz a négy alapművelettel testet alkot 19 Definíció A fenti módon értelmezett T halmazt a D integritástaromány hányadostestének nevezzük 13 példa Z hányadosteste a racionális számok Q teste A D[X 1,, X n ] polinomgyűrű hányadosteste a D(X 1,, X n ) racionális törtfüggvények teste Minden n-változós racionális törtfüggvény f (X 1,, X n ) alakba írható, ahol g(x 1,, X n ) feltehető, hogy f -nek és g-nek nincsenek nem konstans közös tényezői A fent ismertetett eljárás szerint ezt a törtalakú felírást elsősorban formálisan kell értelmezni, azaz egyszerű jelsorozatnak kell tekinteni A névben szereplő függvény szó zavart okozhat, hiszen a várakozásainktól eltérően egy racionális törtfüggvény nem határoz meg egy D n D leképezést Ennek oka, hogy lehetséges olyan (x 1,, x n ) D n behelyettesítés, melyre f (x 1,, x n ) 0 és g(x 1,, x n ) = 0 Racionális törtfüggvények leképezésként való értelmezésére a továbbiakban nem lesz szükségünk 2

2 Egyváltozós polinomok, rezultáns Ebben a fejezetben D tetszőleges Gauss-gyűrűt jelöl, T pedig D hányadostestét Nyilván D T és D[X] T[X], sőt általában D[X] T[X] Ez azt jelenti, hogy D feletti polinomok esetén elvben különbséget kell tennünk D[X]-beli és T[X]- beli oszthatóság között, hiszen előforduhat, hogy T[X]-ben van, míg D[X]-ben nincs olyan h elem, amelyre f = gh teljesül 21 példa Legyen D = Z, T = Q, f (X) = X 2, g(x) = 2X Ekkor h(x) = 1 2 X Q[X] esetén f = gh, egész együtthatós h pedig nem létezik Az alábbi állítás mutatja, hogy ez a jelenség komolyabb zavart nem okoz 21 Állítás Legyen f (X) D[X] olyan nem konstans polinom, amely D felett irreducibilis Ekkor f (X) irreducibilis T[X]-ben is A továbbiakban D feletti polinomok nem konstans közös tényezőivel kapcsolatosan vizsgálódunk 22 Állítás Az f, g D[X] polinomoknak akkor és csak akkor van nem konstans közös tényezőjük, ha léteznek u, v D[X] polinomok úgy, hogy deg(u) < deg(g), deg(v) < deg( f ), és teljesül u f + vg = 0 Bizonyítás Tegyük fel, hogy d D[X] nem konstans közös tényező, azaz fennáll g = u d és f = v d valamely u, v D[X] polinomokra Mivel deg(d) > 0, ezért deg(u ) < deg(g), deg(v ) < deg( f ) Teljesül továbbá u f v g = u v d v u d = 0 A fordított irányhoz tegyük fel, hogy u f +vg = 0 teljesül az állításban szereplő feltételekkel Az irreducibilis felbontás tulajdonsága szerint léteznek h 1,, h n páronként nem asszociált irreducibilis polinomok, melyekre f = uh r 1 1 hr n vh s 1 1 hs n n és g = wh t 1 1 ht n n áll fenn valamely r i, s i, t i nem negatív egészekkel n, v = és u, v, w D egységekkel Az f gh oszthatóságból következik, hogy minden i esetén r i s i + t i ; deg(v) < deg( f ) pedig azt eredményezi, hogy valamelyik j indexre deg(h j ) > 0 és s j < r j Ekkor azonban r j, t j > 0, azaz h j nem konstans közös tényezője f -nek és g-nek Legyen n = deg( f ), m = deg(g) és írjuk fel az f, g, u, v D[X] polinomokat f (X) = a 0 X n + a 1 X n 1 + + a n, g(x) = b 0 X m + b 1 X m 1 + + b m, u(x) = u 1 X m 1 + u 2 X m 2 + + u m, v(x) = v 1 X n 1 + v 2 X n 2 + + v n 3

Az u(x) f (X) + v(x)g(x) polinom együtthatói a következők konst: a n u m + b m v n X : a n 1 u m +a n u m 1 + b m 1 v n +b m v n 1 X m 1 : a n m+1 u m + a n u 1 + b 1 v n + b 2 v n 1 + X m : a n m u m + a n 1 u 1 + b 0 v n + b 1 v n 1 + X n 1 : a 1 u m +a 2 u m 1 + + b m v 1 X n : a 0 u m +a 1 u m 1 + +b m 1 v 1 X n+m 1 : a 0 u 1 + b 0 v 1 Ez azt jelenti, hogy az u f + vg = 0 tulajdonsággal rendelkező u(x), v(x) polinomok létezése egyenértékű az alábbi (n + m)-változós, n + m egyenletből álló lineáris egyenletrendszer nem triviális megoldásának létezésével: 0 = a n U m + b m V n 0 = a n 1 U m +a n U m 1 + b m 1 V n +b m V n 1 0 =a n m+1 U m + a n U 1 + b 1 V n + b 2 V n 1 + 0 = a n m U m + a n 1 U 1 + b 0 V n + b 1 V n 1 + 0 = a 1 U m +a 2 U m 1 + + b m V 1 0 = a 0 U n +a 1 U m 1 + +b m 1 V 1 0 = a 0 U 1 + b 0 V 1 Az (1) egyenletrendszer együtthatóiból készített mátrix a n 0 0 b m 0 0 a n 1 a n 0 b m 1 b m 0 a 0 a 1 a n b m 1 (2) 0 a 0 a n 1 b m 2 0 0 a 0 0 0 b 0 23 Definíció A (2) mátrix determinánsát az f (X), g(x) polinomok rezultánsának nevezzük, és R f,g -vel jelöljük A rezultáns értéke D-beli elem, hiszen az a i, b j D elemekből adódik az összeadás és a szorzás műveleteinek felhasználásával A rezultáns felírásakor praktikus okokból gyakran az alábbi mátrixalakot használjuk 4 (1)

a 0 a 1 a n 0 0 0 a 0 a 1 a n 0 0 0 a 0 a 1 a n R f,g = det b 0 b m 0 0 0 0 b 0 b m 0 0 0 0 0 0 b 0 b m (3) 24 Állítás (Rezultánsok alaptétele) Az D feletti f (X), g(x) polinomoknak akkor és csak akkor van D feletti nem konstans közös tényezőjük, ha az R f,g rezultánsuk 0 Bizonyítás Tekintsük az (1) egyenletrendszert T felett, ekkor a T feletti nem triviális megoldás létezése ekvivalens R f,g = 0-val Mivel T a D hányadosgyűrűje, ezért az egyenletrendszer T feletti nem triviális mogoldásának megléte maga után vonja D feletti nem triviális megoldás meglétét (Elegendő felszorozni a nevezők legkisebb közös többszörösével) Másrészről az (1) D feletti nem triviális megoldása egyenértékű olyan D feletti u(x), v(x) polinomok létezésével, amelyekre teljesül u f +vg = 0, deg(u) < deg(g), deg(v) < deg( f ) Mint láttuk, ilyen D feletti polinomok akkor és csak akkor léteznek, ha f -nek és g-nek van D feletti közös tényezője 22 példa Legyen D = Z, f (X) = X 3 X, g(x) = X 2 + 2X 3 Ekkor 1 0 1 0 0 0 1 2 1 0 R f,g = det 1 0 3 2 1 = 0 0 1 0 3 2 0 0 0 0 3 Valóban, X 1 közös tényezője f -nek és g-nek 3 Kétváltozós polinomok alaptulajdonságai A mi esetünkben a rezultánsok a kétváltozós polinomok vizsgálatakor nyernek különös jelentőséget Tekintsük ugyanis a D = C[Y] integritástartományt, ekkor D[X] = C[X, Y] Másszóval az f (X, Y), g(x, Y) C[X, Y] n-edfokú, illetve m- edfokú kétváltozós polinomok felírhatók f (X, Y) = a 0 (Y)X n + a 1 (Y)X n 1 + + a n (Y), g(x, Y) = b 0 (Y)X m + b 1 (Y)X m 1 + + a m (Y) 5

alakban, ahol a i (Y), b j (Y) egyváltozós komplex együtthatós polinomok Igaz továbbá, hogy deg(a i ) i, deg(b j ) j Ebben az esetben f és g rezultánsa C feletti polinom: R f,g (Y) = det a 0 (Y) a n (Y) 0 0 a 0 (Y) a n (Y) b 0 (Y) b m (Y) 0 0 b 0 (Y) b m (Y) A rezultánsok alaptétele ekkor két jelentéssel bír C[Y] (4) 31 Tétel Az f (X, Y), g(x, Y) komplex polinomoknak pontosan akkor van X-ben nem konstans közös tényezőjük, ha az X szerinti R f,g (Y) rezultáns polinom azonosan nulla 32 Állítás Az y C rögzített komplex szám pontosan akkor gyöke az R f,g (Y) rezultáns polinomnak, ha az f (X, y), g(x, y) C[X] polinomoknak van közös gyökük, azaz ha létezik x C komplex szám, amelyre egyidejűleg teljesül f (x, y) = 0 és g(x, y) = 0 Kétváltozós polinomok rezultánsának egy fontos tulajdonságát mondja ki az alábbi állítás 33 Állítás Legyen az f (X, Y), g(x, Y) C[X, Y] polinomok foka n illetve m Ekkor az R f,g (Y) rezultáns foka legfeljebb nm Bizonyítás Jelölje c i j a (4) mátrix i-dik sorának j-dik elemét, ekkor a j i (Y) ha 1 i m, i j n + i, c i j = b j i+m (Y) ha m + 1 i m + n, i m j n m + i, 0 különben Tekintsük az R f,g (Y) determináns kiszámításakor adódó összeg tetszőleges tagját, ez ±c 1π(1) c n+m,π(n+m) alakú az {1,, n + m} halmaz valamilyen π permutációjára Ha valamelyik c iπ(i) tényező nulla, akkor ez a tag nem játszik szerepet R f,g (Y) értékében Tegyük fel, hogy minden tényező különbözik nullától Ekkor deg(±c 1π(1) c n+m,π(n+m) ) = n+m i=1 deg(c iπ(i) ) m i=1(π(i) i) + n+m i=m+1(π(i) i + m) = nm + n+m i=1 (π(i) i) = nm + n+m i=1 π(i) n+m i=1 i = nm Azaz a determináns kiszámításakor minden nem nulla tag foka legfeljebb nm, vagyis deg(r f,g (Y)) nm 6

4 Rezultánsok, folytatás Ebben a fejezetben a 22 állítást élesítjük Ehhez visszatérünk az utolsó előtti fejezetben használt jelöléseinkhez Legyen tetszőleges D integritástartomány, g(x), f (X) tetszőleges D feletti n, illetve m-edfokú polinomok: 41 Állítás Tetszőleges f, g D[X] polinomokhoz léteznek u, v D[X] polinomok úgy, hogy deg(u) < deg(g), deg(v) < deg( f ) és a rezultánsra fennáll R f,g = u(x) f (X) + v(x)g(x) Bizonyítás Legyen n = deg( f ), m = deg(m) és írjuk fel a polinomjainkat f (X) = a 0 X n + a 1 X n 1 + + a n, a 0 0, g(x) = b 0 X m + b 1 X m 1 + + b m, b 0 0 alakban Végezzük el a (3) képletben szereplő mátrixon az alábbi átalakítást: minden k = 1,, n+m 1 értékre adjuk hozzá az utolsó oszlophoz a k-dik oszlop X n+m k -szorosát Ekkor nyilván a mátrix determinánsának értéke változatlanul R f,g Másrészről az utolsó oszlopban szereplő elemek rendre a 0 X n+m 1 +a 1 X n+m 2 + +a n X m a 0 X n+m 2 + +a n 1 X m +a n X m 1 = X m 1 f (X) = X m 2 f (X) a 0 X n + +a n = f (X) b 0 X n+m 1 +b 1 X n+m 2 + +b m X n = X n 1 g(x) b 0 X n+m 2 + +b m 1 X n +b m X n 1 = X n 2 g(x) b 0 X n + +b m = g(x) Jelölje c j a j-dik sor utolsó eleméhez tartozó kiegészítő adjungált aldeterminánst Mivel az utolsó oszlop kivételével a mátrixban mindenhol D-beli elemek szerepelnek, ezért c j D minden j = 1,, n + m esetén A mátrix determinánsát az utolsó oszlopa szerint kifejtve kapjuk, hogy ahol R f,g = c 1 X m 1 f (X) + + c m f (X)+ c m+1 X n 1 g(x) + + c n+m g(x) = u(x) f (X) + v(x)g(x), u(x) = c 1 X m 1 + c 2 X m 2 + + c m, v(x) = c m+1 X n 1 + c m+2 X n 2 + + c n+m D feletti egyváltozós polinomok Mivel a fokszámokra kitett feltétel nyilvánvalóan teljesül, az állítást bebizonyítottuk Az állításunk súlya akkor válik igazán érzékelhetővé, ha megfogalmazzuk kétváltozós polinomokra 7

42 Következmény Legyenek f (X, Y), g(x, Y) C[X, Y] kétváltozós komplex együtthatós polinomok Jelölje n = deg X ( f ), m = deg X (g) az f és g X-beli fokát Ekkor léteznek a(x, Y), b(x, Y) C[X, Y] polinomok, melyekre deg X (a) < m, deg X (b) < n és R f,g (Y) = a(x, Y) f (X, Y) + b(x, Y)g(X, Y) Ennek felhasználásával belátjuk az alábbi kulcsfontosságú tételt 43 Tétel Legyen f (X, Y) C[X, Y] irreducibilis komplex együtthatós polinom és tegyük fel, hogy a g(x, Y) C[X, Y] polinomra teljesül g(x, y) = 0 valahányszor f (x, y) = 0 a komplex x, y C értékekre Ekkor f osztja g-t Bizonyítás I eset: f (X, Y) 0 Ekkor minden x, y C esetén f (x, y) = g(x, y) = 0, azaz g(x, Y) is azonosan 0, melynek minden polinom osztója II eset: f (X, Y) = f (Y) nem függ X-től Mivel f (Y) komplex együtthatós és irreducibilis, feltétlenül elsőfokúnak kell lennie: f (Y) = f (X, Y) = a 0 Y + a 1, a 0, a 1 C Írjuk g-t g(x, Y) = b 0 (Y)X m + + b m (Y) alakba A feltétel szerint a g(x, a 1 a 0 ) = b 0 ( a 1 a 0 )X m + + b m ( a 1 a 0 ) egyváltozós polinom azonosan nulla, azaz a 1 a 0 gyöke minden b i (Y)-nak (i = 0,, m) Más szóval f (Y) = a 0 Y + a 1 osztja az összes b i (Y)-t, tehát f g is teljesül III eset: n = deg X ( f ) > 0 Írjuk f -et f (X, Y) = a 0 (Y)X n + + a n (Y) alakba Mivel a 0 (Y) 0, véges sok komplex szám kivételével a 0 (y) 0 Rögzítsünk tetszőleges egy ilyen y C értéket, ekkor az f (X, y) egyváltozós komplex polinom foka pontosan n > 0 Az algebra alaptétele szerint létezik x C komplex szám, mely gyöke ennek, azaz f (x, y) = 0 teljesül Ekkor azonban a feltételünk szerint g(x, y) = 0 szintén fennáll, ami a 4 következmény szerint azt jelenti, hogy R f,g (y) = 0 Az látjuk tehát, hogy véges sok komplex szám kivételével az R f,g (Y) egyváltozós polinom helyettesítési értéke nulla, ami csak úgy lehetséges, ha R f,g (Y) 0 A 31 tétel szerint ekkor f -nek és g-nek van X-ben nem konstans d(x, Y) közös komponense: d f, g Mivel azonban f irreducibilis, f és d asszociáltak kell legyenek, azaz f g is teljesül 8