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

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

Примеры

• Аддитивная группа кольца целых p-адических чисел.
  • Всякая компактная аналитическая группа над полем [math]\displaystyle{ p }[/math]-адических чисел^{[уточнить]} (например [math]\displaystyle{ SL_n(\Z_p) }[/math]).

Свойства

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