1: \begin{definition} {Maschke's Theorem}

2: \label{MaschkeTheorem}

3: \\

4: For the finite group $G$ and a nonzero $G$-module $V$ can be written as the direct sum of its irreducible $G$-submodules, i.e. % as below,

5: $V = W^{(1)} \oplus W^{(2)} \oplus \cdots \oplus W^{(k)}$.

6: The matrix version of the Maschke's Theorem states that by suitable choice of basis, the matrix representation of the elements of the group $G$ can be made block diagonal, i.e.

7: \begin{equation}

8:     \nonumber

9:     \begin{gathered}

10:         \Phi(g) = X(g) =

11:         \left[ \begin{array}{cccc}

12:             {X^{(1)}(g)} & {0} & {\cdots} & {0}   \\

13:             {0} & {X^{(2)}(g)} & {\cdots} & {0}   \\

14:             {\vdots} & {\vdots} & {\ddots} & {\vdots}   \\

15:             {0} & {0} & {\cdots} & {X^{(k)}(g)}

16:         \end{array} \right],   \quad \forall g \in G.

17:     \end{gathered}

18: \end{equation}

19: where each $X^{(i)}(g)$ is an irreducible matrix representation of $G$.

20: \end{definition}