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

Проконечная группа — топологическая группа, являющаяся проективным пределом системы конечных групп $G_{i}$ , $i\in I$ , снабженных дискретной топологией ( $I$ — предупорядоченное множество).

Аддитивная группа кольца целых p-адических чисел.
- Всякая компактная аналитическая группа над полем $p$ -адических чисел (например $SL_{n}(\mathbb {Z} _{p})$ ).

Проконечные группы являются остаточно конечными.