continuous groups have a volume which is found by integrating over the whole group.

volume finite => group is compact.