Cocompact group action (source code)

= Cocompact group action
{wiki=Cocompact_group_action}

A **cocompact group action** refers to a specific type of action of a group on a topological space, particularly in the context of topological groups and geometric topology. In broad terms, if a group \\( G \\) acts on a topological space \\( X \\), we say that the action is **cocompact** if the quotient space \\( X/G \\) is compact.