Группа Profinite - Википедия - Profinite group

В математика, проконечные группы находятся топологические группы которые в определенном смысле собраны из конечные группы. У них много общих свойств с их конечными частными: например, оба Теорема Лагранжа и Теоремы Силова хорошо обобщаются на проконечные группы.[1]

Некомпактным обобщением проконечной группы называется локально проконечная группа.

Определение

Проконечные группы могут быть определены любым из двух эквивалентных способов.

Первое определение

Проконечная группа - это топологическая группа, которая изоморфный к обратный предел из обратная система из дискретный конечные группы.[2] В этом контексте обратная система состоит из направленный набор , набор конечных групп , каждый из которых имеет дискретную топологию и набор гомоморфизмы такой, что это личность на и коллекция удовлетворяет свойству композиции . Обратный предел установлен:

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

Второе определение

Проконечная группа - это Хаусдорф, компактный, и полностью отключен топологическая группа:[3] то есть топологическая группа, которая также является Каменное пространство. Учитывая это определение, можно восстановить первое определение, используя обратный предел куда пробегает открытые нормальные подгруппы упорядочено (обратным) включением.

Примеры

  • Конечные группы проконечны, если задано дискретная топология.
  • Группа п-адические целые числа при добавлении бесконечен (на самом деле проциклический ). Это обратный предел конечных групп куда п пробегает все натуральные числа и естественные карты за используются для процесса ограничения. Топология на этой проконечной группе такая же, как топология, возникающая из p-адического нормирования на .
  • Группа проконечные целые числа является обратным пределом конечных групп куда и мы используем карты за в лимитном процессе. Эта группа является продуктом всех групп , и это абсолютная группа Галуа любого конечного поля.
  • В Теория Галуа из расширения полей бесконечной степени естественным образом порождает проконечные группы Галуа. В частности, если L/K это Расширение Галуа, мы рассматриваем группу грамм = Гал (L/K) состоящий из всех полевых автоморфизмов L которые сохраняют все элементы K фиксированный. Эта группа является обратным пределом конечных групп Gal (F/K), куда F пробегает все промежуточные поля такие, что F/K это конечный Расширение Галуа. Для предельного процесса мы используем гомоморфизмы ограничения Gal (F1/K) → Гал (F2/K), куда F2F1. Полученная топология на Gal (L/K) известен как Топология Крулля после Вольфганг Круль. Уотерхаус (1974) показало, что каждый проконечная группа изоморфна группе, возникающей из теории Галуа немного поле K, но (пока) нельзя контролировать, какое поле K будет в этом случае. Фактически, для многих областей K вообще не известно, какой именно конечные группы встречаются как группы Галуа над K. Это обратная задача Галуа для поляK. (Для некоторых полей K решена обратная проблема Галуа, например, поле рациональных функций от одной переменной над комплексными числами.) Не каждая проконечная группа встречается как абсолютная группа Галуа поля.[4]
  • В фундаментальные группы, рассматриваемые в алгебраической геометрии также проконечные группы, грубо говоря, потому что алгебра может «видеть» только конечные покрытия алгебраическое многообразие. В фундаментальные группы из алгебраическая топология, однако, в общем случае не проконечны: для любой заданной группы существует 2-мерный комплекс CW, фундаментальная группа которого равна ему (зафиксируйте представление группы; комплекс CW имеет одну 0-клетку, петлю для каждого генератора, и 2 ячейки для каждого отношения, чья карта присоединения соответствует отношению "очевидным" способом: например, для отношения abc = 1прикрепляемое отображение отслеживает генератор фундаментальных групп петель для а, б, и c чтобы. Вычисление следует из теорема ван Кампена.)
  • Группа автоморфизмов локально конечное корневое дерево бесконечно.

Свойства и факты

  • Каждый товар проконечных групп (сколь угодно много) проконечна; топология, возникающая из конечности, согласуется с топология продукта. Обратный предел обратной системы проконечных групп с непрерывными отображениями переходов проконечен, а функтор обратного предела точен на категории проконечных групп. Кроме того, проконечность - свойство расширения.
  • Каждый закрыто подгруппа проконечной группы сама проконечна; топология, возникающая из конечности, согласуется с топология подпространства. Если N замкнутая нормальная подгруппа проконечной группы грамм, то факторная группа грамм/N бесконечно; топология, возникающая из конечности, согласуется с факторная топология.
  • Поскольку каждая проконечная группа грамм компактно по Хаусдорфу, имеем Мера Хаара на грамм, что позволяет нам измерить "размер" подмножеств грамм, вычислить определенные вероятности и интегрировать функции на грамм.
  • Подгруппа проконечной группы открыта тогда и только тогда, когда она замкнута и имеет конечные индекс.
  • Согласно теореме Николай Николов и Дэн Сигал в любой топологически конечно порожденной проконечной группе (т. е. проконечной группе, имеющей плотный конечно порожденная подгруппа ) подгруппы конечного индекса открыты. Это обобщает более ранний аналогичный результат Жан-Пьер Серр для топологически конечно порожденных группы pro-p. Доказательство использует классификация конечных простых групп.
  • Как простое следствие приведенного выше результата Николова – Сигала, любой сюръективный гомоморфизм дискретных групп φ:граммЧАС между проконечными группами грамм и ЧАС продолжается до тех пор, пока грамм топологически конечно порожден. Действительно, любая открытая подгруппа в ЧАС имеет конечный индекс, поэтому его прообраз в грамм также имеет конечный индекс, поэтому он должен быть открытым.
  • Предполагать грамм и ЧАС топологически конечно порожденные проконечные группы, изоморфные как дискретные группы изоморфизмом ι. Тогда ι биективен и непрерывен по полученному результату. Кроме того, ι−1 также непрерывно, поэтому ι - гомеоморфизм. Следовательно, топология топологически конечно порожденной проконечной группы однозначно определяется ее алгебраический структура.

Бесконечное завершение

Для произвольной группы , существует связанная проконечная группа , то бесконечное завершение из .[3] Он определяется как обратный предел групп , куда проходит через нормальные подгруппы в конечных индекс (эти нормальные подгруппы частично заказанный по включению, что переводится в обратную систему естественных гомоморфизмов между факторами). Существует естественный гомоморфизм , а изображение при этом гомоморфизме плотный в . Гомоморфизм инъективен тогда и только тогда, когда группа является финитно аппроксимируемая (т.е., где пересечение пробегает все нормальные подгруппы конечного индекса). Гомоморфизм характеризуется следующими универсальная собственность: для любой проконечной группы и любой гомоморфизм групп , существует единственный непрерывный групповой гомоморфизм с .

Инд-конечные группы

Есть понятие инд-конечная группа, что является концептуальным двойной проконечным группам; то есть группа грамм инд-конечно, если это прямой предел индуктивной системы конечных групп. (В частности, это инд-группа.) Обычная терминология другая: группа грамм называется локально конечный если каждый конечно порожденный подгруппа конечно. Фактически, это эквивалентно «инд-конечности».

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

Проективные проконечные группы

Проконечная группа проективный если у него есть подъемное имущество для каждого расширения. Это эквивалентно тому, что грамм проективен, если для любого сюръективного морфизма из проконечного ЧАСграмм Существует раздел граммЧАС.[5][6]

Проективность проконечной группы грамм эквивалентно любому из двух свойств:[5]

Каждая проективная проконечная группа может быть реализована как абсолютная группа Галуа из псевдоалгебраически замкнутое поле. Этот результат обусловлен Александр Любоцкий и Лу ван ден Дрис.[7]

Проциклическая группа

Проклинательная группа является проциклический если он топологически порождается одним элементом т.е. подгруппы .[8]

Топологическая группа если проциклический тогда и только тогда куда колеблется во всех рациональные простые числа и изоморфен либо или же .[9]

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

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

  1. ^ 1944-, Уилсон, Джон С. (Джон Стюарт) (1998). Конечные группы. Оксфорд: Clarendon Press. ISBN  9780198500827. OCLC  40658188.CS1 maint: числовые имена: список авторов (связь)
  2. ^ Ленстра, Хендрик. "Проклятые группы" (PDF). Лейденский университет.
  3. ^ а б Оссерман, Брайан. «Обратные пределы и проконечные группы» (PDF). Калифорнийский университет в Дэвисе. Архивировано из оригинал (PDF) на 2018-12-26.
  4. ^ Фрид и Джарден (2008) стр. 497
  5. ^ а б Серр (1997) стр. 58
  6. ^ Фрид и Джарден (2008) стр. 207
  7. ^ Фрид и Джарден (2008), стр. 208,545
  8. ^ Нойкирх, Юрген (1999). Алгебраическая теория чисел. Grundlehren der Mathematischen Wissenschaften. 322. Берлин, Гейдельберг: Springer Berlin Heidelberg. Дои:10.1007/978-3-662-03983-0. ISBN  978-3-642-08473-7.
  9. ^ «МО. Разложение проциклических групп». MathOverflow.