Topological group module
ID: topological-group-module
A topological abelian group with a continuous action of a topological group by group automorphisms. Continuity means joint continuity of . For a discrete coefficient group this is equivalent to every element of having an open stabilizer.
New to topics? Read the docs here!