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

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

Примеры

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

Свойства

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