Algebra abstrakcyjna/Warstwy: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
Klapi (dyskusja | edycje)
powstanie modułu
 
Linia 10:
 
==Twierdzenie Lagrange'a==
Niech g będzie dowolną skończoną grupą, tzn. rząd grupy < <math>\infty</math>i niech H bedzie podgrupą G. Zachodzi wówczas nastepująca równość:
tw.
 
<math>|G| = |H| \cdot (G:H)</math>, gdzie <math> \,(G:H) </math> - moc zbioru ilorazowego <math>\frac{G}{H}</math>.