Ciertamente "G" puede o bien ser un grupo de Galois infinito profinito, o uno finito para una extensión de Galois finita "L"/"K" de campos.