(i)
is a finite group (ii)
has finite index in
(iii)
is a regular cover of
.
Is this true in general? The point is that if
is a subgroup of
and
then it follows
in case
is finite or has finite index or is normal.