Since
is discrete, the identity element is not a limit point of
and so there is a
neighborhood
of the identity such that
. We may assume
has the property that if
are in
then the product
is in
. This follows from the continuity of the group
operation and a detailed verification is left as an exercise.
It is easy to see that if
and
are two distinct elements of
then
Fix
and consider now the set
given by
We shall show that the subgroup
contains a neighborhood of the identity. Pick a neighborhood
of the
identity such that
and
. Then for any
, we have on the one hand
and on the other hand
since
is normal.
Hence
which shows that
belongs to
and
contains a
neighborhood of the unit element. We may now invoke the previous theorem.
nisha
2012-03-20