1: \begin{definition}

2: \label{defn:invariants}

3: \index{invariant submodule}

4: For each $kG$-module $M$ the subset

5: \[

6: M^{G} = \{m\in M\mid \text{$gm=m$ for all $g\in G$}\}

7: \]

8: is a submodule, called the \emph{invariant submodule} of $M$.

9: 

10: The \emph{augmentation}\index{augmentation} of $kG$ is the homomorphism of $k$-algebras

11: \[

12: \eps\col kG\to k \quad\text{where}\quad \eps\big(\sum_{g\in G}c_{g}g\big) = \sum_{g\in G}c_{g}\,.

13: \]

14: That this is a  homomorphism of $k$-algebras can be checked directly, or by noting that it is induced by the constant homomorphism $G\to \{1\}$ of groups. The kernel of $\eps$ is the (two-sided) ideal $\bigoplus_{g}k(g-1)$, where the sum runs over all $g\in G\setminus\{1\}$.

15: 

16: The $kG$-module structure on $k$ thus obtained is called the \emph{trivial} \index{trivial module} one. It is immediate from the description of $\Ker(\eps)$ that there is identification

17: \[

18: \Hom_{kG}(k,M) = M^{G}\,.

19: \]

20: In particular, the functor defined on objects by $M\mapsto M^{G}$ is left exact; right exactness is equivalent to the projectivity of $k$ as a $kG$-module; see also Theorem~\ref{thm:Maschke}.

21: \end{definition}

22: