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

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

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

Это заготовка статьи по математике. Помогите Википедии, дополнив её.

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (3 марта 2023)