Математическая энциклопедия » Что такое «Абелева Группа»?

Значение слова, определение и толкование термина

Абелева Группа

Abeleva Gruppa

разрешимости алгебраич. уравнений в радикалах. Обычно для обозначения операции в А. г. используется аддитивная запись, т. е. знак + для самой операции, наз. сложением, знак 0 для нейтрального элемента, наз. нулем (в мультипликативной записи он наз. единицей).

Примеры А. г. Все циклические группы - абе-левы, в частности аддитивная группа целых чисел - абелева. А. г. будут всевозможные прямые суммы циклич. групп, аддитивная группа рациональных чисел Q(являющаяся локально циклической группой, т. е. группой, все конечно порожденные подгруппы к-рой циклические), группы типа [Абелева Группа. Фото 1] (или квазициклич. группы [Абелева Группа. Фото 2] где [Абелева Группа. Фото 3]- произвольное простое число).

Свободное объединение в многообразии А. г. совпадает с прямой суммой. Свободная абелева группа есть прямая сумма нек-рого множества бесконечных циклич. групп. Всякая подгруппа свободной А. г.- свободная А. г. Совокупность всех элементов конечного порядка А. г. образует подгруппу, наз. периодической частью А. г. Факторгруппа А. г. по ее периодич. части является группой без кручения. Таким образом, всякая А. г.- расширение периодич. А. г. при помощи А. г. без кручения. Это расширение не всегда расщепляемо, т. е. периодич. часть, вообще говоря, не выделяется в виде прямого слагаемого. Периодич. А. г., порядки всех элементов к-рой являются степенями фиксированного простого числа р, наз. примарной по простому числу p(в общей теории групп употребляется термин р-группа). Всякая периодич. А. г. может быть разложена, притом единственным способом, в прямую сумму примерных групп, относящихся к различным простым числам.

Наиболее полное описание известно для А. г. с конечным числом образующих. Его дает основная теорема об абелевых группах с конечным числом образующих: всякая конечно порожденная А. г. разлагается в прямую сумму конечного числа неразложимых циклич. подгрупп, из к-рых часть - конечные примарные, часть - бесконечные [Г. Фробениус (G. Frobenius), Л. Штиккельбергер (L. Stickelberger)]. В частности, конечная А. г. разложима в прямую сумму примарных циклич. групп. Такое разложение, вообще говоря, не единственно, но любые два разложения А. г. с конечным числом образующих в прямую сумму неразложимых циклич. групп изоморфны между собой и, таким образом, число бесконечных циклич. слагаемых и совокупность порядков примарных циклич. слагаемых не зависят от выбора разложения. Эти числа, наз. инвариантами конечно порожденной А. г., они являются полной системой инвариантов в том смысле, что всякие две группы, у к-рых эти инварианты совпадают, изоморфны. Всякая подгруппа А. г. с конечным числом образующих сама обладает конечной системой образующих.

Не всякая А. г. представима в виде прямой суммы (даже бесконечного числа) циклич. групп. Для примарных А. г. имеется необходимое и достаточное условие существования такого разложения - критерий Куликова. Пусть А - примерная А. г. по нек-рому простому р. Ненулевой элемент агруппы Аназ. элементом бесконечной высоты в А, если для любого целого [Абелева Группа. Фото 4] уравнение [Абелева Группа. Фото 5] разрешимо в А, и элементом высоты n, если это уравнение разрешимо лишь для [Абелева Группа. Фото 6] Критерий Куликова: примерная А. г. разложима в прямую сумму циклич. групп тогда и только тогда, когда она есть объединение возрастающей последовательности своих подгрупп, у каждой из к-рых высоты элементов ограничены в совокупности. Любая подгруппа А. г., разложимой в прямую сумму циклич. подгрупп, сама разложима в прямую сумму циклич. подгрупп. Неразложимые (в прямую сумму) примарные группы исчерпываются циклич. примерными группами и группами [Абелева Группа. Фото 7]

Конечное множество элементов [Абелева Группа. Фото 8] А. г. наз. линейно зависимым, если существуют текие целые числа [Абелева Группа. Фото 9] не все равные нулю, что [Абелева Группа. Фото 10] Если же теких чисел не существует, то это множество наз. линейно независимым. Произвольная системе элементов А. г. наз. линейно зависимой, если линейно зависима нек-рая конечная ее подсистема. А. г., не являющаяся периодической, обладает максимальными линейно независимыми системами. Мощности всех максимальных линейно независимых подсистем одинаковы и наз. рангом (Прюфера) данной А. г. Ранг периодич. группы считается равным нулю. Ранг свободной А. г. совпадает с мощностью системы ее свободных образующих.

Всякая А. г. без кручения ранга I изоморфна нек-рой подгруппе аддитивной группы рациональных чисел. Существует полное описание таких групп на языке типов. Всякому элементу А. г. без кручения ставится в соответствие его характеристика - счетная последовательность, состоящая из неотрицательных чисел и символа [Абелева Группа. Фото 11] Эти последовательности строятся следующим образом. Все простые числа нумеруются в порядке возрастания [Абелева Группа. Фото 12] и элементу асопоставляется последовательность, на k-м месте к-рой стоит число [Абелева Группа. Фото 13] если уравнение [Абелева Группа. Фото 14] имеет решение в группе, а уравнение [Абелева Группа. Фото 15] уже решения не имеет, и стоит символ [Абелева Группа. Фото 16] если уравнение [Абелева Группа. Фото 17] имеет решение при любом [Абелева Группа. Фото 18] Характеристики считаются эквивалентными, если они отличаются не более, чем на конечном числе мест, и символ [Абелева Группа. Фото 19] в каждой из них стоит на местах с одними и теми же номерами. Характеристики двух линейно зависимых элементов эквивалентны. Класс эквивалентных характеристик наз. типом. Всякой А. г. без кручения ранга I однозначно соответствует тип, наз. типом данной группы, причем неизоморфным группам соответствуют различные типы.

А. г. без кручения, разложимые в прямую сумму групп ранга I, наз. вполне разложимыми. Не всякая подгруппа вполне разложимой группы будет вполне разложимой (но всякое прямое слагаемое таково). Для всякого целого nсуществует А. г. без кручения ранга n, неразложимая в прямую сумму. Для счетных А. г. без кручения может быть построена полная система инвариантов.

А. г. наз. полной, или делимой, если для любого ее элемента аи любого целого тв ней разрешимо уравнение [Абелева Группа. Фото 20] Все делимые А. г. исчерпываются всевозможными прямыми суммами групп, изоморфных [Абелева Группа. Фото 21] и группам [Абелева Группа. Фото 22] причем мощности множеств компонент, изоморфных [Абелева Группа. Фото 23] а также [Абелева Группа. Фото 24] (для каждого р), составляют полную и независимую систему инвариантов делимой группы. Всякая А. г. может быть изоморфно вложена в нек-рую делимую А. г. Делимые А. г. и только они являются инъективными объектами в категории А. г. и служат прямыми слагаемыми для всякой содержащей их А. г. Таким образом, всякая А. г. представима в виде прямой суммы полной группы и так наз. редуцированной группы, т. е. группы, к-рая не содержит ненулевых полных подгрупп. Описание редуцированных А. г. известно лишь в немногих случаях. Так, теорема Ульма (см. [1], [Абелева Группа. Фото 25] 28) дает описание всех счетных редуцированных периодич. А. г.

Теория А. г., берущая свое начало в теории чисел, находит применение во многих современных математич. теориях. Так, теория двойственности характеров конечных А. г. получила глубокое развитие в теории двойственности для топологических локально компактных групп. Развитие гомологич. алгебры позволило решить ряд проблем в теории А. г., напр, дать описание множества всех расширений одной группы с помощью другой. Развитие теории модулей неразрывно связано с А. г. как модулями над кольцом целых чисел. Многие результаты теории А. г. удается перенести на случай модулей над кольцом главных идеалов. Относительная простота и изученность А. г. (что подтверждает, напр., разрешимость элементарной теории А. г.) вместе с довольно разнообразным запасом объектов делают А. г. постоянным источником примеров во многих разделах математики.

[Абелева Группа. Фото 26]

  • ВКонтакте

  • Facebook

  • Мой мир@mail.ru

  • Twitter

  • Одноклассники

  • Google+

Абелева Группа в других словарях

  • АБЕЛЕВА ГРУППА - группа, умножение в к-рой коммутативно (перестановочно). А. г. наз. также коммутативной.

См. также

  • ближайшая к Луне точка орбиты искусственного спутника Луны.Ср. Апоселений.

  • (исп. cierzo) — сухой и холодный северозападный ветер в континентальных частях Испании, в долине р. Эбро. Обладает свойствами мистраля. В устье