Перестановочные модули проконечных групп

Для произвольной проконечной группы $G$ и коммутативной области целостности $R$ определено понятие перестановочного $RG$-модуля, обобщающее известное понятие из теории представлений конечных групп. Установлена теорема о свободе такого модуля как $R$-модуля над кольцом скаляров.