Wilson-tétel
|
Ez a szócikk vagy szakasz lektorálásra, tartalmi javításokra szorul. |
Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye. |
A Wilson-tétel a következőt állítja: ha p prímszám, akkor
- .
Összetett számra ez nem teljesülhet, mivel, ha n>1 összetett, akkor n-nek és (n-1)!-nak van közös osztója, sőt, minden 4-nél nagyobb n összetett számra
- .
Így ez a tétel elméletben használható lenne prímtesztnek, de gyakorlatilag szorzás elvégzésével jár, így a tipikusan legalább pár száz jegyből álló számoknál nem praktikus.
Az angol John Wilson, Edward Waring tanítványa fedezte fel. Waring 1770-ben bejelentette a tételt, de bizonyítani nem tudta. Lagrange adta az első bizonyítást 1773-ban. Minden jel szerint már Leibniz ismerte a tételt, de nem publikálta.[1]
A tételt úgy is általánosíthatjuk tetszőleges modulusra, hogy a redukált maradékosztályok szorzatát vizsgáljuk: ilyenkor a szorzat -1 maradékot ad a modulusra nézve, ha az 4, egy páratlan prímhatvány, vagy egy páratlan prímhatvány kétszerese; minden más esetben a keresett maradék értéke 1.
Bizonyításai
[szerkesztés]1. bizonyítás
[szerkesztés]Feltesszük, hogy p>2. Minden x redukált maradékosztályhoz van egy és csak egy y redukált maradékosztály, hogy xy≡ 1 mod p. Ezzel párokra osztom a redukált maradékosztályokat, csak akkor van baj, amikor egy maradékosztály önmagának a párja, azaz x2≡ 1 mod p. Tehát a redukált maradékrendszert fel tudom bontani a következőképpen: 1,-1, és párok, amiknek a szorzata az 1 maradékot adja. Ezeket összeszorozva a -1 maradékot kapjuk.
2. bizonyítás
[szerkesztés]Feltehetjük, hogy p>2. A modulo p test fölött vegyük a következő polinomot:
Ez a kis Fermat-tétel miatt 0 az 1,…,p-1 maradékosztályok mindegyikére, viszont fokszáma legfeljebb p-2, mert a két xp-1-s tag kiejti egymást. Test feletti polinomok között csak az azonosan 0 polinomnak lehet több gyöke, mint a fokszáma, ez tehát az azonosan 0 polinom. Tehát konstans tagja is nulla, ami (mivel p páratlan) .
3. bizonyítás
[szerkesztés]Tegyük fel, hogy p>2. Legyen primitív gyök modulo p (ismert, hogy ilyen létezik). Ekkor , hiszen -nek p-1 egymásutáni hatványa redukált maradékrendszert alkot modulo p. Így , itt használtam, hogy p páratlan prím, továbbá, hogy , mert 1 nem lehet, mert g primitív gyök, de négyzete a kis Fermat-tétel miatt, így csak lehet.
A tétel általánosítása
[szerkesztés]Gauss általánosította a tételt a következő módon.[2] Legyen Π(n) a modulo n redukált maradékrendszer elemeinek szorzata, ekkor Π(n) ≡ -1 mod n, ha n=4, páratlan prímhatvány, vagy páratlan prímhatvány kétszerese, a többi esetben Π(n) ≡ 1 mod n.
Az általánosítás bizonyítása természetes módon átvihető az előbbi 1. bizonyításból:
Világos, hogy minden redukált x maradékosztályhoz pontosan egy olyan y redukált maradékosztály van, amelyre xy ≡ 1 (mod n). Lesznek olyan x maradékosztályok, melyekre x és y különbözik egymástól, ezek a maradékosztályok tehát olyan párokba rendezhetők, melyeknek szorzata modulo n éppen 1 lesz. Vagyis az összes ilyen maradékosztály szorzata is 1-et ad modulo n.
Itt azokat a maradékosztályokat hagytuk ki, melyekre x=y, vagyis x2 ≡ 1 mod n. Ezeknél a maradékosztályoknál párosítsuk össze az x és n-x maradékosztályokat (ezek különbözők, hisz n>2), ez azért hasznos számunkra, mert x(n-x) ≡ -x2 ≡ -1 mod n. Már csak az a feladat, hogy számoljuk össze ezen maradékosztályokat.
Írjuk fel n prímfelbontását: legyen . Ekkor a kínai maradéktétel szerint x2 ≡ 1 mod n ekvivalens azzal, hogy teljesül minden i=1,...,k-ra. Ez pontosan kétféle lehetőséget ad x maradékára modulo , ha , hiszen a kongruencia ekvivalens a oszthatósággal, ahol a két tényező közül legfeljebb egy lehet -vel osztható, vagyis a kongruencia két megoldása . Modulo egy kettőhatvány kicsit más a helyzet: ha , akkor mindkét tényező páros lesz: egyik 4-gyel osztható, a másik nem. Az esetekben rendre 1 és 2 megoldása van a kongruenciának, ám -ra már 4 megoldása van a kongruenciának modulo , hiszen csak -nek kell fennállnia.
Ha az x2 ≡ 1 mod n kongruencia megoldásszáma 4-gyel osztható, akkor páros sok pár jön létre, így a redukált maradékrendszer elemeinek szorzata 1 lesz, ha pedig nem, akkor -1 a szorzat. A megoldásszámot pedig megkaphatjuk, ha összeszorozzuk minden i=1,...,k-ra az megoldásszámát, hisz az modulo az egyes prímhatványok egymástól függetlenül választhatjuk meg x maradékát. Ebből leolvasható, hogy a szorzat 1, ha legalább két 2-nél nagyobb prímtényezője van n-nek, illetve ha osztható 4-gyel és 4-nél nagyobb, továbbá ha nem osztható 4-gyel és legfeljebb egy 2-nél nagyobb prímtényezője van, vagy ha n=4, akkor a szorzat -1 lesz: ezt akartuk belátni.
Jegyzetek
[szerkesztés]- ↑ Earliest Known Uses of Some of the Words of Mathematics (W). [2015. április 2-i dátummal az eredetiből archiválva]. (Hozzáférés: 2007. június 28.)
- ↑ Disquisitiones Arithmeticae, 78. paragrafus.