Конечно порожденная абелева группа

редактировать

Коммутативная группа, где каждый элемент является суммой элементов из одного конечного подмножества

В абстрактной алгебры, абелева группа (G, +) называется конечно порожденной, если существует конечное число элементов x 1,..., x s в G так, что каждый x в G может быть записан в форме

x = n 1x1+ n 2x2+... + n sxs

с целыми числами n1,..., n s. В этом случае мы говорим, что набор {x 1,..., x s } является генерирующим набором группы G или что x 1,..., x s порождают G.

Каждая конечная абелева группа конечно порождена. Конечно порожденные абелевы группы можно полностью классифицировать.

Содержание

1 Примеры
2 Классификация
- 2.1 Первичная декомпозиция
- 2.2 Инвариантная декомпозиция множителей
- 2.3 Эквивалентность
- 2.4 История
3 Следствия
4 Неограниченно генерируемые абелевы группы
5 См. также
6 Примечания
7 Ссылки

Примеры

целые числа, $(Z, +) {\ displaystyle \ left (\ mathbb {Z}, + \ right)}$ $\ left (\ mathbb {Z}, + \ right)$ , являются конечно порожденной абелевой группой.
Целые числа по модулю $n {\ displaystyle n}$ $n$ , $(Z / n Z, +) {\ displaystyle \ left (\ mathbb {Z} / n \ mathbb {Z}, + \ right)}$ ${\ displaystyle \ left (\ mathbb {Z} / n \ mathbb {Z}, + \ справа)}$ , являются конечной (следовательно, конечно порожденной) абелевой группой.
Любая прямая сумма конечного числа конечно порожденных абелевых групп снова является конечно порожденной абелевой группой.
Каждая решетка образует конечно порожденную свободную абелеву группу. группа.

Других примеров нет (с точностью до изоморфизма). В частности, группа $(Q, +) {\ displaystyle \ left (\ mathbb {Q}, + \ right)}$ $\ left ( \ mathbb {Q}, + \ right)$ из рациональных чисел не имеет конечного поколения: если $x 1,…, xn {\ displaystyle x_ {1}, \ ldots, x_ {n}}$ $x_ {1}, \ ldots, x_ {n}$ - рациональные числа, выберите натуральное число $k {\ displaystyle k}$ $k$ взаимно простое со всеми знаменателями; тогда $1 / k {\ displaystyle 1 / k}$ $1 / k$ не может быть сгенерировано с помощью $x 1,…, xn {\ displaystyle x_ {1}, \ ldots, x_ {n}}$ $x_ {1}, \ ldots, x_ {n}$ . Группа $(Q ∗, ⋅) {\ displaystyle \ left (\ mathbb {Q} ^ {*}, \ cdot \ right)}$ $\ left (\ mathbb {Q} ^ {*}, \ cdot \ right)$ ненулевых рациональных чисел также не является конечно порожденной. Группы действительных чисел при сложении $(R, +) {\ displaystyle \ left (\ mathbb {R}, + \ right)}$ ${\ displaystyle \ left (\ mathbb {R}, + \ right)}$ и ненулевых действительных чисел при умножении $( R ∗, ⋅) {\ displaystyle \ left (\ mathbb {R} ^ {*}, \ cdot \ right)}$ ${\ displaystyle \ left (\ mathbb {R} ^ {*}, \ cdot \ right)}$ также не генерируются конечным образом.

Классификация

Фундаментальная теорема о конечно порожденных абелевых группах может быть сформулирована двумя способами, обобщая две формы основной теоремы о конечных абелевых группах. Теорема в обеих формах, в свою очередь, обобщает структурную теорему для конечно порожденных модулей над областью главных идеалов, которая, в свою очередь, допускает дальнейшие обобщения.

Первичное разложение

Формулировка первичного разложения утверждает, что каждая конечно порожденная абелева группа G изоморфна прямой сумме первичных циклических групп и бесконечных циклические группы. Первичная циклическая группа - это группа, порядок которой является степенью простого числа. То есть каждая конечно порожденная абелева группа изоморфна группе вида

Z n ⊕ Z q 1 ⊕ ⋯ ⊕ Z qt, {\ displaystyle \ mathbb {Z} ^ {n} \ oplus \ mathbb {Z} _ {q_ {1}} \ oplus \ cdots \ oplus \ mathbb {Z} _ {q_ {t}},}

\ mathbb {Z} ^ {n} \ oplus \ mathbb {Z} _ {q_ {1}} \ oplus \ cdots \ oplus \ mathbb {Z} _ {q_ {t}},

где n ≥ 0 - это ранг, а числа q 1,..., q t - степени (не обязательно различных) простых чисел. В частности, G конечна тогда и только тогда, когда n = 0. Значения n, q 1,..., q t равны (от до перестановка индексов) однозначно определяется G, то есть существует один и только один способ представить G как такое разложение.

Инвариантное разложение множителей

Мы также можем записать любую конечно порожденную абелеву группу G в виде прямой суммы вида

Z n ⊕ Z k 1 ⊕ ⋯ ⊕ Z ku, {\ displaystyle \ mathbb {Z} ^ {n} \ oplus \ mathbb {Z} _ {k_ {1}} \ oplus \ cdots \ oplus \ mathbb {Z} _ {k_ {u}},}

\ mathbb {Z} ^ {n } \ oplus \ mathbb {Z} _ {k_ {1}} \ oplus \ cdots \ oplus \ mathbb {Z} _ {k_ {u}},

где k 1делит k2, что делит k 3 и так далее до k u. Снова, ранг n и инвариантные множители k1,..., k u однозначно определяются G (здесь с уникальным порядком). Ранг и последовательность инвариантных множителей определяют группу с точностью до изоморфизма.

Эквивалентность

Эти утверждения эквивалентны в результате китайской теоремы об остатках, из которой следует, что $Z jk ≃ Z j ⊕ Z k {\ displaystyle \ mathbb {Z} _ {jk} \ simeq \ mathbb {Z} _ {j} \ oplus \ mathbb {Z} _ {k}}$ ${\ displaystyle \ mathbb {Z} _ {jk} \ simeq \ mathbb {Z} _ {j} \ oplus \ mathbb {Z} _ {k}}$ тогда и только тогда, когда j и k взаимно просты.

История

История фундаментальной теоремы и ее авторитет усложняются тем фактом, что она была доказана, когда теория групп еще не была хорошо известна, и, таким образом, ранние формы, хотя по существу современные результат и доказательство, часто оказываются заявлено для конкретного случая. Вкратце, ранняя форма конечного случая была доказана в (Gauss 1801) harv error: no target: CITEREFGauss1801 (help ), конечный случай был доказан в (Kronecker 1870) harv error: нет цели: CITEREFKronecker1870 (help ) и изложено в теоретико-групповых терминах в (Frobenius Stickelberger 1878) harv error: no target: CITEREFFrobeniusStickelberger1878 ( справка ). Случай конечно представленного решается с помощью нормальной формы Смита, и, следовательно, часто приписывается (Smith 1861), хотя конечно порожденный случай иногда вместо этого приписывается ( Пуанкаре 1900) ошибка harv: нет цели: CITEREFPoincaré1900 (help ); подробности следуют.

Теоретик групп Ласло Фукс утверждает:

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

Основная теорема для конечных абелевых групп была доказана Леопольдом Кронекером в (Kronecker 1870) harv error: no target: CITEREFKronecker1870 (help ) с использованием теоретико-группового доказательства, но без формулирования его в теоретико-групповых терминах; современное изложение доказательства Кронекера дано в (Stillwell 2012), 5.2.2 Теорема Кронекера, 176–177. Это обобщило более ранний результат Карла Фридриха Гаусса из Disquisitiones Arithmeticae (1801), который классифицировал квадратичные формы; Кронекер процитировал этот результат Гаусса. Теорема была сформулирована и доказана на языке групп Фердинандом Георгом Фробениусом и Людвигом Штикельбергером в 1878 году. Другая теоретико-групповая формулировка была дана учеником Кронекера Ойгеном Нетто в 1882.

Основная теорема для конечно представимых абелевых групп была доказана Генри Джоном Стивеном Смитом в (Smith 1861), как целочисленные матрицы соответствуют конечным представлениям абелевых групп (это обобщается на конечно представленные модули над областью главных идеалов), а нормальная форма Смита соответствует классификации конечно представленных абелевых групп.

Основная теорема для конечно порожденных абелевых групп была доказана Анри Пуанкаре в (Poincaré 1900) harv error: no target: CITEREFPoincaré1900 (help ), используя матричное доказательство (которое обобщается на области главных идеалов). Это было сделано в контексте вычисления гомологии комплекса, в частности, числа Бетти и коэффициентов кручения размерности комплекса, где число Бетти соответствует рангу свободной части, а коэффициенты кручения соответствуют части кручения.

Доказательство Кронекера было обобщено на конечно порожденные абелевы группы Эмми Нётер в (Noether 1926) harv error : no target: CITEREFNoether1926 (help ).

Следствия

Иначе говоря, основная теорема гласит, что конечно порожденная абелева группа является прямой суммой свободной абелевой группы конечных ранга и конечной абелевой группы, каждая из которых уникальна с точностью до изоморфизма.Конечная абелева группа - это просто подгруппа кручения группы G. Ранг группы G определяется как ранг группы часть G без кручения; это как раз число n в приведенных выше формулах.

A Следствие основной теоремы состоит в том, что каждое конечно общее ated абелева группа без кручения является свободной абелевой группой. Конечно порожденное условие здесь существенно: $Q {\ displaystyle \ mathbb {Q}}$ $\ mathbb {Q}$ не имеет кручения, но не является свободным абелевым.

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

Неконечно порожденные абелевы группы

Обратите внимание, что не всякая абелева группа конечного ранга конечно порождена; группа ранга 1 $Q {\ displaystyle \ mathbb {Q}}$ $\ mathbb {Q}$ - это один контрпример, а группа ранга 0, заданная прямой суммой счетно бесконечного числа копий $Z 2 {\ displaystyle \ mathbb {Z} _ {2}}$ $\ mathbb {Z} _ {2}$ - еще один.

См. Также

Теорема Джордана – Гёльдера является неабелевым обобщением

Примечания

Ссылки