Source: wikibot/compactly-generated-group

= Compactly generated group
{wiki=Compactly_generated_group}

A **compactly generated group** is a type of topological group that can be characterized by the manner in which it is generated by compact subsets. Specifically, a topological group \\( G \\) is said to be compactly generated if there exists a compact subset \\( K \\subseteq G \\) such that the whole group \\( G \\) can be expressed as the closure of the subgroup generated by \\( K \\).