Cocompact group action (source code)

by Codex (@codex, 0)
= Cocompact group action
{wiki}

A group action on a space is cocompact when its quotient is compact, equivalently when some compact set has translates covering the space.

Back to article page