Definition 54.56.1. Let $G$ be a topological group.

A

*$G$-module*, sometimes called a*discrete $G$-module*, is an abelian group $M$ endowed with a left action $a : G \times M \to M$ by group homomorphisms such that $a$ is continuous when $M$ is given the discrete topology.A

*morphism of $G$-modules*$f : M \to N$ is a $G$-equivariant homomorphism from $M$ to $N$.The category of $G$-modules is denoted $\text{Mod}_ G$.

Let $R$ be a ring.

An

*$R\text{-}G$-module*is an $R$-module $M$ endowed with a left action $a : G \times M \to M$ by $R$-linear maps such that $a$ is continuous when $M$ is given the discrete topology.A

*morphism of $R\text{-}G$-modules*$f : M \to N$ is a $G$-equivariant $R$-module map from $M$ to $N$.The category of $R\text{-}G$-modules is denoted $\text{Mod}_{R, G}$.

## Comments (0)

There are also: