Compactly generated group
From Wikipedia, the free encyclopedia
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.