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

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

ПримерыПравить

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

СвойстваПравить

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