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

топологическая группа, являющаяся проективным пределом системы конечных групп , снабженных дискретной топологией (I - предупорядоченное множество). П. Г. Gобозначается . Как подпространство прямого произведения , снабженного компактной топологией (базой окрестностей единицы является система ядер проекций ), она замкнута и потому компактна. Примеры. 1) Пусть I - множество целых чисел, больших нуля, с естественным отношением порядка и . Пусть - естественный эпиморфизм и для любых i<j. Тогда -(аддитивная) группа кольца целых р-адических чисел. 2) Всякая компактная аналитич. Руппа над полем р-адических чисел (напр., ) является (как топологич. Группа) П. Г. 3) Пусть G - абстрактная группа и - семейство всех ее нормальных делителей конечного индекса.

На I можно ввести отношение , положив , если . Это отношение превращает I в предупорядоченное множество. Сопоставляя каждому группу G/Hi и каждой паре из I - естественный гомоморфизм , получают П. Г. , наз. Ассоциированной с GП. Г. Она является отделимым пополнением группы Gотносительно топологии, определенной подгруппами конечного индекса. Ядро естественного гомоморфизма является пересечением всех подгрупп конечного индекса. В этой конструкции можно было бы вместо семейства всех нормальных делителей конечного индекса рассматривать лишь те, индекс к-рых есть степень фиксированного простого числа р. Соответствующая группа обозначается и является про-р-группой. 4) П. Г. Следующим образом естественно возникают в теории Галуа (вообще говоря, бесконечных) алгебраич.

Расширений полей. Пусть K/k - Галуа расширение и - семейство всех конечных расширений Галуа поля k, лежащих в К. Тогда . На I можно ввести отношение , положив , если . Тогда I становится предупорядоченным множеством. Пусть GalKi/k- группа Галуа расширений Ki/k. Каждой паре из I сопоставляется естественный гомоморфизм Тогда соответствующая П. Г. (абстрактно) изоморфна группе Gal K/k, что позволяет считать Gal K/k П. Г. Система подгрупп Gal K/Ki образует в Gal K/k систему окрестностей единицы (см. Галуа топологическая группа). Эта конструкция получает обобщение в алгебраич. Геометрии при определении фундаментальной группы схемы. П. Г. Могут быть охарактеризованы как компактные вполне несвязные группы (см. Компактная группа), а также как компактные группы, у к-рых имеется множество открытых нормальных делителей, образующее систему окрестностей единицы.

Теория когомологий П. Г. (см. Когомологии групп, Галуа когомологий).играет важную роль в современной теории Галуа. Лит.:[1] Серр Ж.-П., Когомологии Галуа, пер. С франц., М., 1068. [2] Кох X., Теория Галуа р-расширений, пер. С нем., М., 1973. [3] Алгебраическая теория чисел, пер. С англ., М., 1969. В. Л. Попов.