Formula 11 , where the intersection point runs through all normal subgroups of the finite index .
Formula 11 , where the intersection runs through all finite subgroups of normal index .

Do these sentences mean the same thing?
no