Topological group module (source code)

= Topological group module

A topological <abelian group> $A$ with a continuous action of a <topological group> $G$ by group <automorphisms>. Continuity means joint continuity of $G\times A\to A$. For a discrete coefficient group this is equivalent to every element of $A$ having an open stabilizer.