WikiDer > Pro-p group - Википедия

В математика, а про-п группа (для некоторых простое число п) это проконечная группа ${ displaystyle G}$ такой, что для любого открыто нормальная подгруппа ${ Displaystyle N треугольникleft G}$ то факторгруппа ${ Displaystyle G / N}$ это п-группа. Обратите внимание, что, поскольку проконечные группы компактный, открытые подгруппы - это в точности закрыто подгруппы конечных индекс, таким образом дискретный фактор-группа всегда конечна.

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

Наиболее понятый (и исторически самый важный) класс про-п группы это п-адический аналитические группы: группы со структурой аналитического многообразие над ${ displaystyle mathbb {Q} _ {p}}$ такие, что групповое умножение и обращение являются аналитическими функциями. Любоцкий и Манн в сочетании с Мишель Лазаррешение для Пятая проблема Гильберта над п-адические числа, показывает, что про-п группа п-адический аналитический тогда и только тогда, когда он имеет конечное классифицировать, т.е. существует натуральное число ${ displaystyle r}$ такая, что любая замкнутая подгруппа имеет топологическое порождающее множество с не более чем ${ displaystyle r}$ элементы. В более общем плане было показано, что конечно порожденная проконечная группа является компактной p-адической группой Ли тогда и только тогда, когда она имеет открытую подгруппу, которая является равномерно мощной про-p-группой.

В Теоремы кокласса были доказаны в 1994 г. А. Шалевым и независимо К. Р. Лидхэм-Грином. Теорема D является одной из этих теорем и утверждает, что для любого простого числа п и любое положительное целое число р, существует лишь конечное число про-п группы кокласса р. Этот результат о конечности является фундаментальным для классификации конечных п-группы с помощью ориентированные коклассовые графы.

Примеры

• Канонический пример - это п-адические целые числа

${ displaystyle mathbb {Z} _ {p} = displaystyle varprojlim mathbb {Z} / p ^ {n} mathbb {Z}.}$

• Группа ${ Displaystyle GL_ {п} ( mathbb {Z} _ {p})}$ обратимого п к п матрицы над ${ Displaystyle mathbb {Z} _ {p}}$ имеет открытую подгруппу U состоящий из всех матриц, конгруэнтных единичная матрица по модулю ${ Displaystyle p mathbb {Z} _ {p}}$. Этот U является про-п группа. Фактически п-адические аналитические группы, упомянутые выше, могут быть найдены как замкнутые подгруппы ${ Displaystyle GL_ {п} ( mathbb {Z} _ {p})}$ для некоторого целого числа п,
• Любой конечный п-группа также про-п-группа (относительно постоянной обратной системы).
• Факт: конечный гомоморфный образ про-p-группы является p-группой. (из-за J.P. Serre)

Смотрите также

• Остаточная собственность (математика)
• Проклятая группа (См. Свойство или факт 5)

Рекомендации

• Dixon, J.D .; дю Сотуа, М. П. Ф.; Mann, A .; Сигал, Д. (1991), Аналитические про-p-группы, Издательство Кембриджского университета, ISBN 0-521-39580-1, МИСТЕР 1152800
• дю Сотуа, М .; Segal, D .; Шалев, А. (2000), Новые горизонты в группах pro-p, Биркхойзер, ISBN 0-8176-4171-8

Этот алгебра-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е