Bézout-lemma

A Wikipédiából, a szabad enciklopédiából
Jump to navigation Jump to search

A Bézout-lemma Étienne Bézout (1730-1783) nyomán a számelméletben azt állítja, hogy két egész szám, a és b legnagyobb közös osztója előáll a és b egész együtthatós lineáris kombinációjaként:

, ahol , tehát egyik vagy mindkettő negatív is lehet. Ha a két szám relatív prím, akkor

Az s és a t együtthatók a kibővített euklideszi algoritmussal hatásosan számolhatók.

Az összefüggés minden főideálgyűrűben érvényes, még a nem kommutatívokban is.

Története[szerkesztés]

A lemmát Étienne Bézout (1730–1783) után nevezték el, aki polinomokra bizonyította.[1] Azonban az egészekre vonatkozó bizonyítást már Claude Gaspard Bachet de Méziriac (1581–1638) ismerte.[2][3][4]

Nem egyértelmű[szerkesztés]

A legnagyobb közös osztónak ez az előállítása nem egyértelmű, sőt, végtelen sok megoldás van. Adott (x, y) együtthatók esetén a többi megoldás így számolható:

Példa[szerkesztés]

Legyen a = 12 és b = 42, lnko(12, 42) = 6. Ekkor

Következményei[szerkesztés]

A Bézout-lemmának számos következménye van a matematikában, különösen a számelméletben, ahol elemi jelentőséggel bír. Levezethető belőle az Euklidesz-lemma, amiből bizonyítható a prímtényezős felbontás egyértelműsége.

Bizonyítása[szerkesztés]

A bizonyítás a maradékos osztás műveletén alapul, így minden euklideszi gyűrűre könnyen átvihető. Az s és a t együtthatók pozitívok és negatívok is lehetnek, így előállnak pozitív és negatív számok is alakban, ahol . Legyen ezek között a legkisebb abszolút értékű. Mivel osztója a-nak és b-nek is, így minden, az előző módon előálló számnak is osztója, tehát d-nek is. A maradékos osztás miatt , valamely egész q-ra és -re. Visszahelyettesítve az egyenletbe, és r-re megoldva kapjuk, hogy . A d szám minimalitása miatt , ezért d osztója a-nak. Hasonlóan, d osztója b-nek is, emiatt . De már láttuk, hogy d osztható -val. Tehát .

Főideálgyűrűkben[szerkesztés]

A gyűrűelmélet ideáljait használva van egy főideál, amely tartalmazza az és az ideálokat. Az ideálok szintén gyűrűk, ezért is része ennek az ideálnak. Speciálisan, ha , vagy a gyűrű euklideszi, akkor , ahol , mivel a főideálgyűrűkben minden ideál egy elemmel generálható. Ez az egyenlőség azt fejezi ki, hogy a c elem a és b lineáris kombinációként előáll, de közös osztójuk is, hiszen az általa generált ideál mindkettőt tartalmazza. Tehát főideálgyűrűkben a Bézout-lemma közvetlenül a definícióból adódik.

Több egészre[szerkesztés]

A lemma több egészre is általánosítható:

ekkor vannak egészek, hogy

ahol d a legkisebb ilyen pozitív egész, és az összes ilyen alakú szám osztható d-vel. Az együtthatók előjelére nincs megkötés, lehetnek pozitívok, negatívok, vagy akár nullák is.

Források[szerkesztés]

  1. Bézout, Théorie générale des équations algébriques (Paris, France: Ph.D. Pierres, 1779).
  2. Tignol, Jean-Pierre. Galois' Theory of Algebraic Equations. Singapore: World Scientific (2001). ISBN 981-02-4541-6 
  3. Claude Gaspard Bachet (sieur de Méziriac). Problèmes plaisants & délectables qui se font par les nombres, 2nd, Lyons, France: Pierre Rigaud & Associates, 18–33. o. (1624)  On these pages, Bachet proves (without equations) “Proposition XVIII. Deux nombres premiers entre eux estant donnez, treuver le moindre multiple de chascun d’iceux, surpassant de l’unité un multiple de l’autre.” (Given two numbers [which are] relatively prime, find the lowest multiple of each of them [such that] one multiple exceeds the other by unity (1).) This problem (namely, ax - by = 1) is a special case of Bézout’s equation and was used by Bachet to solve the problems appearing on pages 199 ff.
  4. Lásd még: Maarten Bullynck (2009. február 1.). „Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany”. Historia Mathematica 36 (1), 48–72. o. DOI:10.1016/j.hm.2008.08.009.  
  • Kurt Meyberg: Algebra - Teil 1. Hanser 1980, ISBN 3-446-13079-9, S. 43
  • Stephen Fletcher Hewson: A Mathematical Bridge: An Intuitive Journey in Higher Mathematics. World Scientific 2003, ISBN 9789812385550, S. 53ff