Propoziţia 2.3.1 [1] Fie G un grup şi x  G un element de ordin finit cu ord  x   n .

Atunci

x  e  x 0 , x, x 2 ,..., x n 1  şi x  n ,
unde prin x am notat subgrupul lui G generat de x.
Demonstraţie:
Cum x   x k  Z , rezultă incluziunea
k

e, x, x 2

,..., x n 1  x .
Fie acum y x . Atunci k  Z cu y  x k . Conform Teoremei împărţirii cu rest
în Z, avem k  nq  r , unde q, r  Z şi 0  r  n , deci
y  x k  x nq  r   x n  x r  e q x r  x r ,
q

de unde rezultă şi incluziunea inversă, adică egalitatea celor două mulţimi din enunţ.
Dacă x i  x j cu 0  i  j  n , atunci e  x i x  i  x j x  i  x j i . Dar 0  j  i  n  ord  x  ,
în contradicţie cu definiţia ordinului lui x. Aşadar, elementele e  x 0 , x, x 2 ,..., x n 1 sunt
două câte două distincte, deci x  n .
Q.E.D.
Corolarul 2.3.2 [1] Fie G un grup finit de ordin n. Atunci x n  e pentru orice x  G .
Demonstraţie:
Fie x  G . Considerăm subgrupul x al lui G generat de x. Cum G este finit
deducem că x este un subgrup finit. Rezultă că x este de ordin finit, ord  x   k  N  şi
ord  x   ord  x  , conform Propoziţiei 2.3.1. În baza teoremei lui Lagrange, avem k n , deci
n  kq Atunci x n  x kq   x k   e q  e .
q
pentru un anumit q  N .

Q.E.D.

Enunţul original al Micii teoreme a lui Fermat se referă la numere întregi şi nu la

corpuri finite: pentru orice număr prim p  0 şi orice a  Z care nu este divizibil cu p, are
loc congruenţa a p 1  1 mod p  . Pentru a face legătura cu Teorema 2.3.3 se transpune
echivalent această congruenţă din inelul Z în egalitatea aˆ p 1  1̂, aˆ  Z, aˆ  0 din corpul
finit Z p . Din modul în care este definită înmulţirea în Z p , avem aˆ p 1  aˆ p 1 , deci enunţul
original al Micii Teoreme a lui Fermat pentru numere întregi este echivalent pentru corpul
p 1
finit Z p cu următorul enunţ: x  1, x  Z p . Prin urmare, enunţul Teoremei 2.3.3 este o

1
extindere naturală de la corpul finit Z p la orice corp finit F. De aceea, Teorema 2.3.3 se mai
numeşte şi Mica Tepremă a lui Fermat pentru corpuri finite.

Demonstraţie:
Dacă F este un corp finit cu q elemente atunci  F , este un grup de ordin q  1 , de


element neutru 1 F . Conform Corolarului 2.3.2, x q 1  1, x  F  .

Q.E.D.
Enunţul original al Micii teoreme a lui Fermat se referă la numere întregi şi nu la
corpuri finite: pentru orice număr prim p  0 şi orice a  Z care nu este divizibil cu p, are
loc congruenţa a p 1  1 mod p  . Pentru a face legătura cu Teorema 2.3.3 se transpune
echivalent această congruenţă din inelul Z în egalitatea aˆ p 1  1̂, aˆ  Z, aˆ  0 din corpul
finit Z p . Din modul în care este definită înmulţirea în Z p , avem aˆ p 1  aˆ p 1 , deci enunţul
original al Micii Teoreme a lui Fermat pentru numere întregi este echivalent pentru corpul
p 1
finit Z p cu următorul enunţ: x  1, x  Z p . Prin urmare, enunţul Teoremei 2.3.3 este o

extindere naturală de la corpul finit Z p la orice corp finit F. De aceea, Teorema 2.3.3 se mai
numeşte şi Mica Tepremă a lui Fermat pentru corpuri finite.