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

• Проконечные группы — это группы, которые являются компактными хаусдорфовыми и имеют конечную топологическую размерность. 
• Они играют важную роль в алгебраической геометрии и алгебраической топологии. 
• Каждая проконечная группа является проконечным расширением поля. 
• Свойства и факты о проконечных группах включают их совместимость с топологией продукта и возможность измерения «размера» подмножеств. 
• Существуют понятия ind-конечных групп и проективных проконечных групп, которые являются двойственными проконечным группам. 
• Проциклические группы являются проконечными группами, топологически порожденными одним элементом.