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

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

Примеры

• Аддитивная группа кольца целых p-адических чисел.
  • Всякая компактная аналитическая группа над полом $p$-адических чисел (напр., $SL_n(\Z_p)$).

Свойства

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