1: \begin{definition}\label{def:GrothendieckRing}

2: 	If $G$ is a finite group and $E$ a field, we write $R_E(G)$ for the

3: 	\emph{Grothendieck ring}\index{Grothendieck ring} of

4: 	the category $\Repf_E G$. Recall that $R_E(G)$ is the abelian

5: 	group generated by isomorphism classes $[V]$ of finite dimensional 

6: 	$E$-representations of $G$, subject to  the relations $[V]=[V_1]+[V_2]$ if

7: 	there exists a short exact sequence

8: 	\[0\rightarrow V_1\rightarrow V\rightarrow V_2\rightarrow 0.\]

9: 	The tensor product over $E$ makes $R_E(G)$ into a commutative ring (\emph{Exercise}: Check this!). It is easy to

10: 	see that $R_E(G)$ is the free $\Z$-module generated by the

11: 	isomorphism classes of

12: 	irreducible representations of $G$. We will see in Proposition

13: 	\ref{prop:compositionSeries} that there are only finitely many of

14: 	those.

15: 

16: 	There is a natural map  of monoids

17: 	\begin{equation}\label{eqn:isoclassMap}\left(\left\{\text{isomorphism

18: 		classes of objects in }\Repf_E

19: 	G\right\},\oplus\right)\rightarrow R_E(G).\end{equation} Its image is the

20: 	subset of all linear combinations $\sum_{V_i\text {irreducible}}a_i [V_i]$, $a_i\geq 0$, and is denoted by $R_E^+(G)$.

21: 

22: 	Maschke's Theorem \ref{thm:maschke} can be phrased as follows: If the

23: 	order $G$

24: 	is prime to the characteristic of $E$, then the map

25: 	\eqref{eqn:isoclassMap} is injective.

26: \end{definition}

27: