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

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

Примеры

• Аддитивная группа кольца целых p-адических чисел.
  • Всякая компактная аналитическая группа над полем $p$-адических чиселШаблон:Уточнить (например $S{L}_n({\mathbb{Z}}_p)$).

Свойства

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