P-группа (P-ijrhhg)

Перейти к навигации Перейти к поиску

p-группа — группа, в которой порядок каждого элемента является степенью простого числа p.

  • Центр нетривиальной конечной p-группы является нетривиальной группой.
    • В частности, все p-группы нильпотентны.
    • Более того, если нормальная подгруппа в p-группе , то .
      • Данное свойство получается из теоремы о центре, если учесть, что любая подгруппа p-группы сама является p-группой и что нормальная подгруппа инвариантна к сопряжениям.
  • Если группа конечна, то ее порядок тогда тоже равен некоторой степени числа p (это следует из первой теоремы Силова).
    • Более того любая группа порядка является p-группой (следует из теоремы Лежандра).
  • При число неизоморфных групп порядка асимптотически равно
    .

Литература

[править | править код]