Элементарная абелева группа
Алгебраическая структура → Теория групп Теория групп |
---|
В математике , особенно в теории групп , элементарная абелева группа — это абелева группа , в которой все элементы, кроме единицы, имеют одинаковый порядок. Этот общий порядок должен быть простым числом , а элементарные абелевы группы, в которых общий порядок равен p, представляют собой особый вид p -группы . [1] [2] Группу, для которой p = 2 (т. е. элементарную абелеву 2-группу), иногда называют булевой группой . [3]
Каждая элементарная абелева p -группа является векторным пространством над простым полем с p элементами, и наоборот, каждое такое векторное пространство является элементарной абелевой группой.В силу классификации конечно порожденных абелевых групп или в силу того факта, что каждое векторное пространство имеет базис , каждая конечная элементарная абелева группа должна иметь вид ( Z / p Z ) н для n — неотрицательное целое число (иногда называемое рангом группы ). Здесь Z / p Z обозначает циклическую группу порядка p (или, что то же самое, целые числа по модулю p ), а обозначение верхнего индекса означает n -кратное прямое произведение групп . [2]
В общем случае (возможно, бесконечная) элементарная абелева p -группа является прямой суммой циклических групп порядка p . [4] (Обратите внимание, что в конечном случае прямое произведение и прямая сумма совпадают, но в бесконечном случае это не так.)
Примеры и свойства
[ редактировать ]- Элементарная абелева группа ( Z /2 Z ) 2 имеет четыре элемента: {(0,0), (0,1), (1,0), (1,1)} . Сложение производится покомпонентно, принимая результат по модулю 2. Например, (1,0) + (1,1) = (0,1) . Фактически это четверка Клейна .
- В группе, порожденной симметричной разностью на (не обязательно конечном) множестве, каждый элемент имеет порядок 2. Любая такая группа обязательно абелева, поскольку, поскольку каждый элемент является обратным самому себе, xy = ( xy ) −1 = и −1 х −1 = ух . Такая группа (также называемая булевой группой) обобщает пример четырех групп Клейна на произвольное количество компонентов.
- ( З / п З ) н генерируется n элементами, а n — наименьшее возможное количество генераторов. В частности, набор { e 1 , ..., } en , где ei -м компоненте и имеет 1 в i 0 в остальных местах, является минимальным порождающим набором.
- Каждая конечная элементарная абелева группа имеет достаточно простое конечное представление .
Структура векторного пространства
[ редактировать ]Предположим , V ( З / п З ) н — конечная элементарная абелева группа. Поскольку Z / p Z F p , конечное поле из p элементов, имеем V = ( Z / p Z ) н Ф п н , следовательно, V можно рассматривать как n -мерное векторное пространство над полем F p . Заметим, что элементарная абелева группа, вообще говоря, не имеет выделенного базиса: выбор изоморфизма V ( З / п З ) н соответствует выбору базиса.
Внимательному читателю может показаться, что F p н имеет больше структуры, чем группа V , в частности, что она имеет скалярное умножение в дополнение к сложению (вектор/группа). Однако V как абелева группа имеет уникальную структуру Z - модуля , где действие Z соответствует повторному сложению, и эта структура Z -модуля согласуется со скалярным умножением F p . То есть c ⋅ g = g + g + ... + g ( c раз), где c в F p (рассматриваемый как целое число с 0 ≤ c < p ) дает V естественную структуру F p -модуля.
Группа автоморфизмов
[ редактировать ]Поскольку конечномерное векторное пространство V имеет базис { e 1 , ..., e n }, как описано в примерах, если мы возьмем { v 1 , ..., v n } как любые n элементов V , тогда с помощью линейной алгебры что отображение T ( e i ) = vi мы получаем , однозначно продолжается до линейного преобразования V . Каждый такой T можно рассматривать как групповой гомоморфизм из V в V ( эндоморфизм ), а также любой эндоморфизм V можно рассматривать как линейное преобразование V как векторного пространства.
Если мы ограничим наше внимание автоморфизмами V , мы имеем Aut( V ) = { T : V → V | ker T = 0 } = GL n ( F p ), общая линейная группа обратимых матриц размера n × n на F p .
Группа автоморфизмов GL( V ) = GL n ( F p ) действует транзитивно на V \ {0} (как это верно для любого векторного пространства). Фактически это характеризует элементарные абелевы группы среди всех конечных групп: если G — конечная группа с единицей e такая, что Aut( G ) действует транзитивно на G \ {e} , то G элементарна абелева. (Доказательство: если Aut( G ) действует транзитивно на G\{e} , то все неединичные элементы группы G имеют одинаковый (обязательно простой) порядок. Тогда G является p -группой. Отсюда следует, что G имеет нетривиальный центр , который обязательно инвариантен относительно всех автоморфизмов и, таким образом, равен всему G .)
Обобщение на высшие порядки
[ редактировать ]Также может представлять интерес выйти за рамки компонентов простого порядка и перейти к порядку простой степени. Предположим, что элементарная абелева группа G имеет тип ( p , p ,..., p ) для некоторого простого числа p . Гомоциклическая группа [5] (ранга n ) является абелевой группой типа ( m , m ,..., m ), т.е. прямым произведением n изоморфных циклических групп порядка m , из которых группы типа ( p к , п к ,..., п к ) являются частным случаем.
Связанные группы
[ редактировать ]Дополнительные специальные группы являются расширениями элементарных абелевых групп с помощью циклической группы порядка p и аналогичны группе Гейзенберга .
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Ханс Дж. Зассенхаус (1999) [1958]. Теория групп . Курьерская корпорация. п. 142. ИСБН 978-0-486-16568-4 .
- ^ Перейти обратно: а б ОН Роуз (2009). Курс конечных групп . Springer Science & Business Media. п. 88. ИСБН 978-1-84882-889-6 .
- ^ Стивен Гивант; Пол Халмос (2009). Введение в булеву алгебру . Springer Science & Business Media. п. 6. ISBN 978-0-387-40293-2 .
- ^ Л. Фукс (1970). Бесконечные абелевы группы. Том I. Академическая пресса. п. 43. ИСБН 978-0-08-087348-0 .
- ^ Горенштейн, Дэниел (1968). «1,2». Конечные группы . Нью-Йорк: Харпер и Роу. п. 8. ISBN 0-8218-4342-7 .