p-grupa
Z Wikipedii, wolnej encyclopedia
-grupa (także grupa pierwsza, grupa
-pierwsza) – grupa, której rząd jest równy
gdzie
jest liczbą pierwszą a
jest dodatnią liczbą całkowitą.
Konkretne wartości podstawia się do nazwy, np. dla
mówi się o 11-grupie.
Podgrupę grupy nazywa się
-podgrupą, jeżeli jest ona
-grupą. Podgrupę
grupy skończonego rzędu
nazywa się
-podgrupą Sylowa, jeśli jest największego możliwego rzędu. Z twierdzenia Sylowa wynika, że jeśli
gdzie
to