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

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

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

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