Teorema ëd Lagrange

Stamp:Prinsipi Ël teorema ëd Lagrange a fortiss che si $G$ a l'é në strop finì ëd cardinalità $n$, minca sot-ëstrop ëd $G$ a l'ha për cardinalità un divisor d'$n$.

La dimostrassion

La dimostrassion dël teorema ëd Lagrange a l'é un corolari dla proprietà sì da press.

Proprietà. Si G a l'é në strop finì, sò órdin a l'é l'órdin ëd qualsëssìa sò sot-ëstrop H multiplicà për l'ìndes d'H an G.
Dimostrassion. La partission ëd G ant ij lateraj (snistr o drit) d'H a l'ha, për definission, tanti element quant a l'é l'ìndes d'H an G. Dagià che tuti ij lateraj a l'han la midema cardinalità, a-i na ven l'afermassion. Stamp:Fin