Проконечная группа — топологическая группа, являющаяся проективным пределом системы конечных групп , , снабженных дискретной топологией ( — предупорядоченное множество).
Примеры Аддитивная группа кольца целых p-адических чисел. Всякая компактная аналитическая группа над полем -адических чисел (например ).
Свойства Проконечные группы являются остаточно конечными.
Категория:Топологические группы