Algebra abstrakcyjna/Warstwy: Różnice pomiędzy wersjami
Usunięta treść Dodana treść
Zdzichobot (dyskusja | edycje) m Algebra abstrakcyjna:Warstwy przeniesiono do Algebra abstrakcyjna/Warstwy: Zmiana konwencji nazewnictwa |
|||
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>.
|