Será por tanto un grupo G que es el límite directo de grupos finitos.