Algebra abstrakcyjna/Warstwy: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
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ść:
<math>|G| = |H| \cdot (G:H)</math>, gdzie <math> \,(G:H) </math> - moc zbioru ilorazowego <math>\frac{G}{H}</math>.
|