Metadata
Author: WikiMatrix
Data
English[en]
A discrete subgroup H of G is cocompact if there is a compact subset K of G such that HK = G. Discrete normal subgroups play an important role in the theory of covering groups and locally isomorphic groups.
Esperanto[eo]
Diskreta subgrupo H de G estas kunkompakta se estas kompakta subaro K de G tia, ke HK = G. Frisaj grupoj kaj papertapetaj grupoj estas diskretaj subgrupoj de la izometria grupo de la Eŭklida ebeno.