p -группа - p-group
Алгебраическая структура → Теория групп Теория групп |
---|
В математике , в частности теории групп , учитывая простое число р , А р -группа представляет собой группу , в которой порядок каждого элемента является мощность от р . То есть, для каждого элемента г в А р -группы G , существует неотрицательное целое число п такое , что произведение р п копий г , а не меньше, равно единице . Порядки разных элементов могут быть разными степенями p .
Абелевы p -группы также называются p -примарными или просто примарными .
Конечная группа является р -группа тогда и только тогда , когда его порядок (число его элементов) является степенью р . Учитывая конечную группу G , то теоремы Силова гарантировать существование подгруппы из G порядка р п для каждого простого мощности р н что делит порядок G .
Остальная часть статьи посвящена конечным p -группам. Пример бесконечной абелевой p -группы см. В группе Прюфера , а для примера бесконечной простой p -группы см. Группу монстров Тарского .
Характеристики
Каждая p -группа периодична, поскольку по определению каждый элемент имеет конечный порядок .
Если p простое число и G группа порядка p k , то G имеет нормальную подгруппу порядка p m для каждого 1 ≤ m ≤ k . Это следует по индукции с использованием теоремы Коши и теоремы о соответствии для групп. Доказательство эскиз выглядит следующим образом : поскольку центр Z из G является нетривиальной (смотри ниже), в соответствии с теоремой Коши Z имеет подгруппу Н порядка р . Будучи центральным в G , H обязательно нормальна в G . Теперь мы можем применить индуктивную гипотезу к G / H , и результат следует из теоремы о соответствии.
Нетривиальный центр
Один из первых стандартных результатов, использующих уравнение классов, состоит в том, что центр нетривиальной конечной p -группы не может быть тривиальной подгруппой.
Это составляет основу многих индуктивных методов в p -группах.
Например, нормализатор Н о надлежащей подгруппы H конечного р -группа G правильно содержит H , потому что для любого контрпримера с H = N , центр Z содержится в N , а следовательно , и в H , но тогда существует меньший пример H / Z , нормализатор которого в G / Z равен N / Z = H / Z , создавая бесконечный спуск. Как следствие, всякая конечная p -группа нильпотентна .
С другой стороны, каждая нормальная подгруппа конечной p -группы пересекает центр нетривиально, что можно доказать, рассматривая элементы N, которые фиксированы, когда G действует на N сопряжением. Поскольку каждая центральная подгруппа нормальна, всякая минимальная нормальная подгруппа конечной p -группы является центральной и имеет порядок p . Действительно, цоколь конечной p -группы - это подгруппа центра, состоящая из центральных элементов порядка p .
Если G - p -группа, то G / Z тоже имеет нетривиальный центр. Прообраз в G центра группы G / Z называется вторым центром, и эти группы начинают верхнюю центральную серию . Обобщая предыдущие комментарии о цоколе, конечная p -группа порядка p n содержит нормальные подгруппы порядка p i с 0 ≤ i ≤ n , а любая нормальная подгруппа порядка p i содержится в i- м центре Z i . Если нормальная подгруппа не содержится в Z i , то ее пересечение с Z i +1 имеет размер не менее p i +1 .
Автоморфизмы
В автоморфизмов группы р -группах хорошо изучены. Подобно тому, как каждая конечная p- группа имеет нетривиальный центр, так что группа внутренних автоморфизмов является собственным фактором группы, каждая конечная p- группа имеет нетривиальную группу внешних автоморфизмов . Каждый автоморфизм G индуцирует автоморфизм на G / Ф ( G ), где Φ ( G ) является подгруппа Фраттини из G . Фактор-группа G / Φ ( G ) является элементарной абелевой группой, а ее группа автоморфизмов является общей линейной группой , что очень хорошо понимается. Отображение группы автоморфизмов группы G в эту общую линейную группу было изучено Бернсайдом , который показал, что ядро этого отображения является p -группой.
Примеры
p -группы одного порядка не обязательно изоморфны ; например, циклическая группа C 4 и четырехгруппа Клейна V 4 обе являются 2-группами порядка 4, но они не изоморфны.
При этом p -группа не обязательно должна быть абелевой ; группа диэдра DIH 4 порядка 8 является неабелева 2-группа. Однако каждая группа порядка p 2 абелева.
Группы диэдра очень похожи и очень отличаются от групп кватернионов и полудиэдральных групп . Вместе группы диэдра, полудиэдра и кватернионов образуют 2-группы максимального класса , то есть группы порядка 2 n + 1 и класса нильпотентности n .
Итерированные венки
Итерированные сплетения циклических групп порядка p являются очень важными примерами p -групп. Обозначим циклическую группу порядка p как W (1), а сплетение W ( n ) с W (1) как W ( n + 1). Тогда W ( n ) - силовская p -подгруппа симметрической группы Sym ( p n ). Максимальные p -подгруппы полной линейной группы GL ( n , Q ) являются прямыми произведениями различных W ( n ). Он имеет порядок p k, где k = ( p n - 1) / ( p - 1). Он имеет класс нильпотентности p n −1 , а его нижний центральный ряд, верхний центральный ряд, центральный ряд с нижним показателем p и центральный ряд с верхним показателем p равны. Он порождается элементами порядка p , но его показатель равен p n . Вторая такая группа, W (2), также является p -группой максимального класса, поскольку имеет порядок p p +1 и класс нильпотентности p , но не является регулярной p -группой . Поскольку группы порядка p p всегда являются регулярными группами, это также минимальный такой пример.
Обобщенные диэдральные группы
Когда p = 2 и n = 2, W ( n ) является группой диэдра порядка 8, поэтому в некотором смысле W ( n ) представляет собой аналог группы диэдра для всех простых чисел p при n = 2. Однако для более высоких n аналогия становится натянутой. Существует другое семейство примеров, которое более точно имитирует группы диэдра порядка 2 n , но для этого требуется немного больше настроек. Пусть ζ обозначает примитивный корень p- й степени из единицы в комплексных числах, пусть Z [ζ] - порожденное им кольцо круговых целых чисел , и пусть P - первичный идеал, порожденный 1 − ζ. Пусть G - циклическая группа порядка p, порожденная элементом z . Сформируйте полупрямое произведение E ( p ) групп Z [ζ] и G, где z действует как умножение на ζ. Степени P n являются нормальными подгруппами в E ( p ), а примеры групп - E ( p , n ) = E ( p ) / P n . E ( p , n ) имеет порядок p n +1 и класс нильпотентности n , поэтому является p -группой максимального класса. Когда p = 2, E (2, n ) - группа диэдра порядка 2 n . Когда p нечетно, и W (2), и E ( p , p ) являются нерегулярными группами максимального класса и порядка p p +1 , но не изоморфны.
Группы унитреугольных матриц
Силовские подгруппы общих линейных групп - еще одно фундаментальное семейство примеров. Пусть V - векторное пространство размерности n с базой { e 1 , e 2 , ..., e n }, и определим V i как векторное пространство, порожденное { e i , e i +1 , ..., e n } для 1 ≤ i ≤ n , и определим V i = 0, когда i > n . Для каждого 1 ≤ m ≤ n набор обратимых линейных преобразований V, которые переводят каждое V i в V i + m, образуют подгруппу Aut ( V ), обозначенную U m . Если V - векторное пространство над Z / p Z , то U 1 - силовская p -подгруппа в Aut ( V ) = GL ( n , p ), а члены ее нижнего центрального ряда - это просто U m . С точки зрения матриц, U m - это те верхнетреугольные матрицы, у которых единицы на диагонали и нули на первых m −1 супердиагоналях. Группа U 1 имеет порядок p n · ( n - 1) / 2 , класс нильпотентности n и показатель степени p k, где k - наименьшее целое число, по крайней мере, такое же большое, как базовый p логарифм числа n .
Классификация
Группы порядка p n для 0 ≤ n ≤ 4 были классифицированы на ранних этапах истории теории групп, и современные работы распространили эту классификацию на группы, порядок которых делит p 7 , хотя само количество семейств таких групп растет так быстро, что дальнейшие классификации по этим линиям считаются трудными для понимания человеческого разума. Например, Маршалл Холл-младший и Джеймс К. Старший классифицировали группы порядка 2 n для n ≤ 6 в 1964 году.
Вместо того, чтобы классифицировать группы по порядку, Филип Холл предложил использовать понятие изоклинизма групп, которые собирают конечные p -группы в семейства, основанные на больших факторах и подгруппах.
Совершенно другой метод классифицирует конечные p -группы по их коклассу , то есть разнице между их составной длиной и их классом нильпотентности . Так называемые гипотезы кокласса описывают множество всех конечных p -групп фиксированного кокласса как возмущения конечного числа про-p групп . Гипотезы кокласса были доказаны в 1980-х годах с использованием техники, связанной с алгебрами Ли и мощными p-группами . Окончательные доказательства теорем кокласса принадлежат А. Шалеву и независимо С. Р. Лидхэм-Грину в 1994 г. Они допускают классификацию конечных p -групп в ориентированных графах коклассов, состоящих только из конечного числа деревьев коклассов, чье (бесконечно много) члены характеризуются конечным числом параметризованных презентаций.
Каждая группа порядка р 5 является метабелевой .
До стр. 3
Тривиальная группа - единственная группа порядка один, а циклическая группа C p - единственная группа порядка p . Существует ровно две группы порядка p 2 , обе абелевы, а именно C p 2 и C p × C p . Например, циклическая группа C 4 и четырехгруппа Клейна V 4, которая представляет собой C 2 × C 2, являются 2-группами порядка 4.
Существует три абелевых группы порядка p 3 , а именно C p 3 , C p 2 × C p и C p × C p × C p . Также есть две неабелевы группы.
Для p ≠ 2 один является полупрямым произведением C p × C p на C p , а другой - полупрямым произведением C p 2 на C p . Первую можно описать другими терминами как группу UT (3, p ) унитреугольных матриц над конечным полем с p элементами, также называемую группой Гейзенберга mod p .
При p = 2 оба упомянутых выше полупрямых произведения изоморфны группе диэдра Dih 4 порядка 8. Другой неабелевой группой порядка 8 является группа кватернионов Q 8 .
Распространенность
Среди групп
Число классов изоморфизма групп порядка p n растет как , и среди них преобладают классы, которые являются двухступенчатыми нильпотентными. Из-за этого быстрого роста существует фольклорная гипотеза, утверждающая, что почти все конечные группы являются 2-группами: считается, что доля классов изоморфизма 2-групп среди классов изоморфизма групп порядка не выше n стремится к 1, когда n стремится до бесконечности. Например, из 49 910 529 484 различных групп порядка не более 2000, 49 487 365 422 или чуть более 99% составляют 2 группы порядка 1024.
Внутри группы
Каждая конечная группа, порядок которой делится на p, содержит подгруппу, которая является нетривиальной p -группой, а именно циклическую группу порядка p, порожденную элементом порядка p, полученным из теоремы Коши . Фактически, она содержит p -группу максимально возможного порядка: если где p не делит m, то G имеет подгруппу P порядка, называемую силовской p -подгруппой. Эта подгруппа не обязательно должна быть единственной, но любые подгруппы этого порядка сопряжены, и любая p -подгруппа группы G содержится в силовской p -подгруппе. Это и другие свойства доказаны в теоремах Силова .
Приложение к структуре группы
p -группы - фундаментальные инструменты для понимания структуры групп и классификации конечных простых групп . p -группы возникают как как подгруппы, так и как фактор-группы. В качестве подгрупп для данного простого p имеется силовская p -подгруппа P (наибольшая p -подгруппа не единственная, но все сопряженные) и p- ядро (единственная наибольшая нормальная p -подгруппа) и различные другие. В качестве факторов наибольшее частное p -группы представляет собой фактор-группу G по p -вычетной подгруппе. Эти группы связаны (для разных простых чисел), обладают важными свойствами, такими как теорема о фокальной подгруппе , и позволяют определить многие аспекты структуры. группы.
Местное управление
Большая часть структуры конечной группы переносится в структуре ее так называемых локальных подгрупп , нормализаторов нетождественных p -подгрупп.
Большие элементарные абелевы подгруппы конечной группы контролируют группу, которая использовалась при доказательстве теоремы Фейта – Томпсона . Некоторые центральные расширения элементарных абелевых групп, называемые экстраспециальными группами, помогают описать структуру групп как действующих на симплектических векторных пространствах .
Ричард Брауэр классифицировал все группы, силовские 2-подгруппы которых являются прямым произведением двух циклических групп порядка 4, а Джон Уолтер , Дэниел Горенштейн , Гельмут Бендер , Мичио Сузуки , Джордж Глауберман и другие классифицировали те простые группы, силовские 2-подгруппы которых были абелев, двугранный, полудиэдральный или кватернион.
Смотрите также
Сноски
Примечания
Цитаты
использованная литература
- Беше, Ганс Ульрих; Эйк, Беттина; О'Брайен, EA (2002), "Тысячелетие проект: строительство малых групп" , Международный журнал по алгебре и вычислениям , 12 (5): 623-644, DOI : 10,1142 / S0218196702001115 , MR 1935567 , S2CID 31716675
- Бернсайд, Уильям (1897), теория групп конечного порядка , Cambridge University Press , ISBN 9781440035456
- Глауберман, Джордж (1971), "Глобальные и локальные свойства конечных групп", Конечные простые группы (Proc. Instructional Conf., Oxford, 1969) , Бостон, Массачусетс: Academic Press , стр. 1–64, MR 0352241
- Холл-младший, Маршалл ; Старший, Джеймс К. (1964), Группы порядка 2 n ( n ≤ 6) , Лондон: Macmillan, LCCN 64016861 , MR 0168631- Исчерпывающий каталог из 340 неабелевых групп порядка, делящего 64, с подробными таблицами определяющих отношений, констант и решетчатых представлений каждой группы в обозначениях, которые определяет текст. «Имеет непреходящую ценность для тех, кто интересуется конечными группами » (из предисловия).
- Холл, Филипп (1940), "Классификация прайм-энергетических групп" , Journal für умереть Reine унд Angewandte Mathematik , 1940 (182): 130-141, DOI : 10,1515 / crll.1940.182.130 , ISSN 0075-4102 , MR 0003389 , S2CID 122817195
- Лидхэм-Грин, CR ; Маккей, Сьюзан (2002), Структура групп с простым степенным порядком , Монографии Лондонского математического общества. Новая серия, 27 , Oxford University Press , ISBN 978-0-19-853548-5, MR 1918951
- Симс, Чарльз (1965), "Перечисление p-групп", Proc. Лондонская математика. Soc. , Серия 3, 15 : 151-166, DOI : 10,1112 / PLMS / s3-15.1.151 , МР 0169921
дальнейшее чтение
-
Беркович, Яков (2008), Группы порядка простой степени, Выставки де Грюйтера по математике 46, Том 1, Берлин: Walter de Gruyter GmbH, ISBN 978-3-1102-0418-6
|volume=
имеет дополнительный текст ( справка ) -
Беркович, Яков; Янко, Звонимир (2008), Группы порядка первичной мощности , Выставки де Грюйтера по математике 47, Том 2, Берлин: Walter de Gruyter GmbH, ISBN 978-3-1102-0419-3
|volume=
имеет дополнительный текст ( справка ) -
Беркович, Яков; Янко, Звонимир (2011-06-16), Группы порядка первичной мощности , Выставки де Грюйтера по математике 56, Том 3, Берлин: Walter de Gruyter GmbH, ISBN 978-3-1102-0717-0
|volume=
имеет дополнительный текст ( справка )