In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map ''p'' : ''G'' -> ''H'' is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover