Первичная циклическая группа

Тип группы в математике

В математике первичная циклическая группа — это группа , которая является как циклической группой , так и p -первичной группой для некоторого простого числа p . То есть, это циклическая группа порядка p m , C p m , для некоторого простого числа p и натурального числа m .

Каждая конечная абелева группа G может быть записана в виде конечной прямой суммы примарных циклических групп, как указано в основной теореме о конечных абелевых группах :

G = 1 i n C p i m i . {\displaystyle G=\bigoplus _{1\leq i\leq n}\mathrm {C} _{{p_{i}}^{m_{i}}}.} [1]

Это выражение по сути уникально: между множествами групп в двух таких выражениях существует биекция, которая отображает каждую группу в одну, которая изоморфна.

Первичные циклические группы характеризуются среди конечно порождённых абелевых групп как группы кручения , которые не могут быть выражены как прямая сумма двух нетривиальных групп. Как таковые, они, вместе с группой целых чисел , образуют строительные блоки конечно порождённых абелевых групп.

Подгруппы первичной циклической группы линейно упорядочены по включению. Единственными другими группами, обладающими этим свойством, являются квазициклические группы .


Ссылки

  1. ^ Кульманн, Сальма; Капла, Итай. "ТЕОРИЯ МОДЕЛИ – УПРАЖНЕНИЕ 11" (PDF) . Архивировано (PDF) из оригинала 2021-05-06 . Получено 2024-11-03 .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Primary_cyclic_group&oldid=1255103988"