Проективные произведения проконечных групп

Вводится определение проективного произведения этального пространства проконечных групп. Дана характеризация проективных произведений как "скручиваний" свободного произведения.