Grupul rădăcinilor de ordin n ale unității

Fie n ∈ N* și Un ={ z∈C | zn =1 } mulțimea rădăcinilor de ordinul n ale unității. Se știe că acestea sunt
2π 2π
date de relația zk=cos +isin , k=0, 1,…, n-1.
n n

Pe Un considerăm operația de înmulțire de pe C .

Are loc următoarea:

Teoremă. Cuplul (Un , ∙ ) este grup abelian finit, numit grupul rădăcinilor de ordin n ale unității.

Demonstrație. Verificăm axiomele grupului.

G1) Înmulțirea de pe C este lege de compoziție pe Un, adică să arătăm că ( ∀ ) zk, zl ∈ Un ¿> ¿ zk∙ zl ∈ Un

Avem (zk zl)n = zkn∙ zln=1∙1=1

G2) Asociativitatea înmulțirii are loc, deoarece înmulțirea pe C este asociativă.

G3) Elementul neutru. Cum 1 este element neutru pentru înmulțirea de pe C și 1∈ Un ( pentru k=0,
z0=1) se deduce că 1 este element de unitate și față de înmulțirea de pe Un.

G4) Elemente inverse ( simetrizabile) . Pentru x∈ Un , există x|∈ Un astfel încât xx|=1= x|x. De aici x|=
1
∈ Un .
x

G5) Comutativitatea înmulțirii are loc pe Un deoarece înmulțirea este comutativă pe C .

Observație. Elementele lui Un au ca imagini geometrice în plan vârfurile unui poligon regulat cu n
laturi înscris în cercul unitate. În următoarea figură avem ilustrate cazurile n=3, n=4.
Pentru n=3

Pentru n=4