Jump to content

Проконечная группа

(Перенаправлено из топологии Profinite )

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

Идея использования проконечной группы состоит в том, чтобы обеспечить «единообразное» или «синоптическое» представление всей системы конечных групп. Свойства проконечной группы — это, вообще говоря, однородные свойства системы. Например, проконечная группа конечно порождена (как топологическая группа) тогда и только тогда, когда существует так, что каждая группа в системе может быть создана элементы. [1] Многие теоремы о конечных группах можно легко обобщить на проконечные группы; примерами являются теорема Лагранжа и теоремы Силова . [2]

Для построения проконечной группы необходима система конечных групп и групповые гомоморфизмы между ними. Без ограничения общности эти гомоморфизмы можно считать сюръективными , и в этом случае конечные группы появятся как факторгруппы полученной проконечной группы; в некотором смысле эти факторы аппроксимируют проконечную группу.

Важными примерами проконечных групп являются группы аддитивные -адические целые числа и группы Галуа бесконечной степени расширений полей .

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

Определение

[ редактировать ]

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

Первое определение (конструктивное)

[ редактировать ]

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

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

Второе определение (аксиоматическое)

[ редактировать ]

Проконечная группа — это компактная и полностью несвязная топологическая группа: [4] то есть топологическая группа, которая также является пространством Стоуна .

Окончательное завершение

[ редактировать ]

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

Существует естественный гомоморфизм и образ при этом гомоморфизме плотно в Гомоморфизм инъективна тогда и только тогда, когда группа аппроксимируемо конечно (т.е. где пересечение проходит через все нормальные подгруппы конечного индекса).

Гомоморфизм характеризуется следующим универсальным свойством : для любой проконечной группы и любой непрерывный групповой гомоморфизм где задана наименьшая топология, совместимая с групповыми операциями, в которой ее нормальные подгруппы конечного индекса открыты, существует единственный непрерывный групповой гомоморфизм с

Эквивалентность

[ редактировать ]

Любая группа, построенная по первому определению, удовлетворяет аксиомам второго определения.

И наоборот, любая группа удовлетворяющий аксиомам второго определения, может быть построен как обратный предел согласно первому определению с использованием обратного предела где проходит через открытые нормальные подгруппы упорядочены по (обратному) включению. Если топологически конечно порождено, то оно, кроме того, равно своему собственному проконечному пополнению. [5]

Сюръективные системы

[ редактировать ]

На практике обратная система конечных групп почти всегда сюръективен , что означает, что все его карты сюръективны. Без ограничения общности достаточно рассматривать только сюръективные системы, поскольку по любой обратной системе можно сначала построить ее проконечную группу. а затем реконструировать его как его собственное бесконечное завершение.

  • Конечные группы являются проконечными, если задана дискретная топология .
  • Группа -адические целые числа при сложении является проконечным (фактически проциклическим ). Это обратный предел конечных групп где распространяется по всем натуральным числам и натуральным отображениям для Топология этой проконечной группы такая же, как и топология, возникающая из -адическая оценка
  • Группа бесконечных целых чисел это бесконечное завершение Подробно, это обратный предел конечных групп. где с картами по модулю для Эта группа является произведением всех групп и это абсолютная группа Галуа любого конечного поля .
  • Теория Галуа расширений полей бесконечной степени естественным образом порождает бесконечные группы Галуа. В частности, если является расширением Галуа , рассмотрим группу состоящий из всех полевых автоморфизмов которые сохраняют все элементы зафиксированный. Эта группа является обратным пределом конечных групп где распространяется по всем промежуточным полям так, что является конечным расширением Галуа. Для предельного процесса гомоморфизмы ограничения используются там, где Топология, полученная на известна как топология Крулля в честь Вольфганга Крулля . Уотерхаус (1974) показал, что каждая проконечная группа изоморфна группе, возникающей из теории Галуа некоторого поля. но нельзя (пока) контролировать, какое именно поле будет в этом случае. Фактически, для многих областей вообще говоря, неизвестно, какие именно конечные группы встречаются как группы Галуа над Это обратная задача Галуа для поля (Для некоторых полей решена обратная задача Галуа, такая как поле рациональных функций одной переменной над комплексными числами.) Не каждая проконечная группа встречается как абсолютная группа Галуа поля. [6]
  • Этальные фундаментальные группы, рассматриваемые в алгебраической геометрии, также являются проконечными группами, грубо говоря, потому что алгебра может «видеть» только конечные накрытия алгебраического многообразия . Однако фундаментальные группы , алгебраической топологии как правило, не бесконечны: для любой предписанной группы существует двумерный комплекс CW , фундаментальная группа которого равна ей.
  • Группа автоморфизмов локально конечного корневого дерева бесконечна.

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

[ редактировать ]
  • Каждое произведение (произвольного числа) проконечных групп является проконечным; топология, возникающая из-за бесконечности, согласуется с топологией произведения . Обратный предел обратной системы проконечных групп с непрерывными отображениями переходов проконечен, а функтор обратного предела точен на категории проконечных групп. Кроме того, быть бесконечным — это свойство расширения.
  • Каждая замкнутая подгруппа проконечной группы сама по себе проконечна; топология, возникающая из-за бесконечности, согласуется с топологией подпространства . Если является замкнутой нормальной подгруппой проконечной группы тогда факторная группа является бесконечным; топология, возникающая из-за бесконечности, согласуется с фактортопологией .
  • Поскольку каждая проконечная группа компактен по Хаусдорфу, существует мера Хаара на что позволяет нам измерить «размер» подмножеств вычислять определенные вероятности и интегрировать функции на
  • Подгруппа проконечной группы открыта тогда и только тогда, когда она замкнута и имеет конечный индекс .
  • Согласно теореме Николая Николова и Дэна Сигала , в любой топологически конечно порожденной проконечной группе (т. е. в проконечной группе, имеющей плотную конечно порожденную подгруппу ) подгруппы конечного индекса открыты. Это обобщает более ранний аналогичный результат Жана-Пьера Серра для топологически конечно порожденных про- группы . Доказательство использует классификацию конечных простых групп .
  • Как простое следствие приведенного выше результата Николова–Сигала, любой сюръективный гомоморфизм дискретной группы между многочисленными группами и является непрерывным до тех пор, пока топологически конечно порождена. Действительно, любая открытая подгруппа имеет конечный индекс, поэтому его прообраз в также имеет конечный индекс и, следовательно, должен быть открытым.
  • Предполагать и являются топологически конечно порожденными проконечными группами, которые изоморфны как дискретные группы изоморфизмом Затем является биективным и непрерывным в силу приведенного выше результата. Более того, также является непрерывным, поэтому является гомеоморфизмом. Поэтому топология топологически конечно порожденной проконечной группы однозначно определяется ее алгебраической структурой.

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

[ редактировать ]

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

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

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

[ редактировать ]

Проконечная группа – это проективным, если он обладает свойством подъема для каждого расширения. Это эквивалентно тому, что проективен, если для любого сюръективного морфизма из проконечного есть раздел [7] [8]

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

  • когомологическое измерение
  • для каждого простого числа Силов -подгруппы свободны -группы.

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

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

[ редактировать ]

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

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

См. также

[ редактировать ]
  1. ^ Сигал, Дэн (29 марта 2007 г.). «Некоторые аспекты теории проконечных групп». arXiv : math/0703885 .
  2. ^ Уилсон, Джон Стюарт (1998). Проконечные группы . Оксфорд: Кларендон Пресс. ISBN  9780198500827 . OCLC   40658188 .
  3. ^ Ленстра, Хендрик. «Проконечные группы» (PDF) . Лейденский университет .
  4. ^ Jump up to: а б Оссерман, Брайан. «Обратные пределы и проконечные группы» (PDF) . Калифорнийский университет в Дэвисе . Архивировано из оригинала (PDF) 26 декабря 2018 г.
  5. ^ Николов, Николай; Сигал, Дэн (2007). «О конечно порожденных проконечных группах. I: Сильная полнота и равномерные границы. II: Произведения в квазипростых группах». Энн. Математика. (2) . 165 (1): 171–238, 239–273. arXiv : math/0604399 . дои : 10.4007/анналы.2007.165.171 . S2CID   15670650 . Збл   1126.20018 .
  6. ^ Фрид и Джарден (2008), с. 497
  7. ^ Jump up to: а б Серр (1997), с. 58
  8. ^ Фрид и Джарден (2008), с. 207
  9. ^ Фрид и Джарден (2008), стр. 208,545.
  10. ^ Нойкирх, Юрген (1999). Алгебраическая теория чисел . Основные принципы математических наук. Том 322. Берлин, Гейдельберг: Springer Berlin Heidelberg. дои : 10.1007/978-3-662-03983-0 . ISBN  978-3-642-08473-7 .
  11. ^ «МО. Распад проциклических групп» . MathOverflow .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: bc80db18b2b758b1c1c41c4344fda963__1711226100
URL1:https://arc.ask3.ru/arc/aa/bc/63/bc80db18b2b758b1c1c41c4344fda963.html
Заголовок, (Title) документа по адресу, URL1:
Profinite group - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)