Este grupo, normalmente escrito como Γ en la teoría y con notación multiplicativa, puede ser obtenido como un subgrupo de los grupos de Galois de extensiones de campo infinitas (las cuales son por su naturaleza grupos profinitos).