Квазициклическая p-группа, для фиксированного простого числаp — это единственная p-группа, в которой из любого элемента можно извлечь ровно p корней p-й степени.
Обычно обозначается как Z(p∞)
Квазициклическую p-группу также её называют p-группой Прюфера, в честь немецкого математика Хайнца Прюфера.
Свойства
Квазициклическая p-группа может быть представлена как подгруппа U(1), состоящая из комплексных корней из единицы степени pn, где n пробегает все натуральные числа:
<math>\mathbb{Z}(p^\infty)=\{\exp(2\pi i m/p^n) \mid m\in \mathbb{N},\,n\in \mathbb{N}\}.\;</math>
Эквивалентным образом, квазициклическую p-группу можно рассматривать как подгруппу Q/Z, состоящую из элементов, порядок которых является степенью p:
Квазициклическая p-группа — это единственная бесконечная p-группа, являющаяся Шаблон:Не переведено 5 (то есть такой, что любое конечное подмножество её элементов порождает циклическую группу). Нетрудно видеть, что все собственные подгруппы квазициклической группы являются циклическими.
Квазициклические p-группы, для всевозможных простых p — это единственные бесконечные группы, такие что множество их подгрупп линейно упорядочено по вложению:
На этой цепочке включений p-группа Прюфера представлена как прямой предел своих конечных подгрупп.
Как <math>\mathbb Z</math>-модуль, p-группа Прюфера является артиновой, но не является нётеровой (аналогично, она является артиновой, но не нётеровой группой). В таком качестве она является контрпримером к возможному утверждению о том, что любой артинов модуль нётеров.
