Jump to content

Элементарная абелева группа

(Перенаправлено с «Элементарный абелиан »)

В математике , особенно в теории групп , элементарная абелева группа — это абелева группа , в которой все элементы, кроме единицы, имеют одинаковый порядок. Этот общий порядок должен быть простым числом , а элементарные абелевы группы, в которых общий порядок равен 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 и аналогичны группе Гейзенберга .

См. также

[ редактировать ]
  1. ^ Ханс Дж. Зассенхаус (1999) [1958]. Теория групп . Курьерская корпорация. п. 142. ИСБН  978-0-486-16568-4 .
  2. ^ Перейти обратно: а б ОН Роуз (2009). Курс конечных групп . Springer Science & Business Media. п. 88. ИСБН  978-1-84882-889-6 .
  3. ^ Стивен Гивант; Пол Халмос (2009). Введение в булеву алгебру . Springer Science & Business Media. п. 6. ISBN  978-0-387-40293-2 .
  4. ^ Л. Фукс (1970). Бесконечные абелевы группы. Том I. Академическая пресса. п. 43. ИСБН  978-0-08-087348-0 .
  5. ^ Горенштейн, Дэниел (1968). «1,2». Конечные группы . Нью-Йорк: Харпер и Роу. п. 8. ISBN  0-8218-4342-7 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 1113cf79b905bbb901a2788171abb262__1719613020
URL1:https://arc.ask3.ru/arc/aa/11/62/1113cf79b905bbb901a2788171abb262.html
Заголовок, (Title) документа по адресу, URL1:
Elementary abelian group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)