This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Compactly generated group" – news · newspapers · books · scholar · JSTOR (March 2025) (Learn how and when to remove this message) This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Compactly generated group" – news · newspapers · books · scholar · JSTOR (March 2025) (Learn how and when to remove this message)

In mathematics, a compactly generated (topological) group is a topological group G which is algebraically generated by one of its compact subsets.^[1] This should not be confused with the unrelated notion (widely used in algebraic topology) of a compactly generated space -- one whose topology is generated (in a suitable sense) by its compact subspaces.

A topological group G is said to be compactly generated if there exists a compact subset K of G such that

${\displaystyle \langle K\rangle =\bigcup _{n\in \mathbb {N} }(K\cup K^{-1})^{n}=G.}$

So if K is symmetric, i.e. K = K ⁻¹, then

${\displaystyle G=\bigcup _{n\in \mathbb {N} }K^{n}.}$

This property is interesting in the case of locally compact topological groups, since locally compact compactly generated topological groups can be approximated by locally compact, separable metric factor groups of G. More precisely, for a sequence

U_n

of open identity neighborhoods, there exists a normal subgroup N contained in the intersection of that sequence, such that

G/N

is locally compact metric separable (the Kakutani-Kodaira-Montgomery-Zippin theorem).

This topology-related article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e