Euler–Fermat-tétel

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Az Euler–Fermat-tétel a számelmélet egyik nagyon fontos állítása.

A tétel állítása

Ha a és m egymáshoz relatív prímek (azaz legnagyobb közös osztójuk 1), akkor

aφ(m)1(modm)

ahol φ(m) az Euler-féle φ-függvény, a pedig egy tetszőleges egész szám.

A tétel a kis Fermat-tétel általánosítása, hiszen ha p prímszám, akkor φ(p) = p – 1. A bizonyítást Leonhard Euler közölte 1736-ban.

Bizonyítása

Legyen r1,r2,,rφ(m) redukált maradékrendszer modulo m. Az  (a,m)=1 feltétel miatt az ar1,ar2,,arφ(m) maradékosztályok is redukált maradékrendszert alkotnak modulo m. Ekkor minden 1iφ(m)-hez létezik egyetlen olyan 1jφ(m), amelyre arirj(modm). Jelöljük ezt az rj-t si-vel. Ekkor:

ar1s1(modm)
ar2s2(modm)
arφ(m)sφ(m)(modm)

A kongruenciákat összeszorozva kapjuk:

aφ(m)r1r2rφ(m)s1s2sφ(m)(modm),

ahol r1,r2,,rφ(m) számok az s1,s2,,sφ(m) számok egy permutációját alkotják. Ezért a kongruenciát felírhatjuk így:

aφ(m)r1r2rφ(m)r1r2rφ(m)(modm).

Mivel  (ri,m)=1, ezért a kongruencia mindkét oldalát leoszthatjuk az összes ri-vel, és akkor megkapjuk az eredeti állítást.

Megjegyzés: A tétel megfordítása is igaz.

Csoportelméleti vonatkozás

A tétel speciális esete a csoportelméleti Lagrange-tételnek. Tekintsük a modulo m vett redukált maradékrendszer G := Z×m multiplikatív csoportját. Ekkor G elemszáma |G| = φ(m). A Lagrange-tétel szerint egy véges G csoport tetszőleges g elemére

g|G|=e

ahol e a G = Z×m csoport egységeleme.

További információk

Források

  • Freud─Gyarmati: Számelmélet, Nemzeti Tankönyvkiadó, 2000

Sablon:Portál