An application of Artin Wedderburn and Schur's Lemma In an operator algebras class, the professor said the following.
Let $G$ be a finite group, and consider the complex group algebra it generates.  Using the following 3 facts, we're supposed to see that $\mathbb{C}[G]$ is algebra-isomorphic to a direct sum of matrix algebras, each the image of some irreducible representation of $\mathbb{C}[G]$  I'm guessing by representation, he means an algebra homomorphism into the linear transforms on some vector space.  By irreducible he probably means there are no invariant subspaces for the representation other than $0$ and the whole vector space.
3 facts are:
1. Artin Wedderburn
2. Schur's Lemma
3. Every division ring over $\mathbb{C}$ is trivial. (I assume what he means is every division algebra over $\mathbb{C}$ is algebra-isomorphic to $\mathbb{C}$.)
I am incredibly rusty at algebra, being an analyst.  I have a number of questions.  The first is if this kind of situation happens a lot in operator algebras.  I was told when getting into operator algebras that the "algebra" part of the name of the field was illusory, and hence would not have to worry that my natural intuition and talents are in analysis, and not at all in algebra.  Is it advisable to master the graduate level type of algebra?  I have had no problem doing the algebra that has come up thus far.  On the other hand, I've heard a professor of mine talking about how group algebras are an important tie-in to the field of operator algebras, so I wonder if the fact that I've forgotten nearly everything might merit a full review of the first year graduate type material in algebra.
Another question is if Artin Wedderburn really works for algebras.  I know it's a statement for left/right semisimple rings (with unit), so one could hope that it would work for algebras with semisimple ring structure.  Assuming it does I'm perplexed by the fact that matrix algebras are finite dimensional, so we could deduce that all simple algebras are finite dimensional.  Or is this not the case because Artin Wedderburn only tells you that simple algebras are isomorphic to a matrix algebra over some division algebra over $\mathbb{C}$?  In that case, how can I know that the matrix entries in this case are actually just complex?
Thirdly, how would I put together these 3 facts to see the claim?
Fourthly, why is every division algebra over $\mathbb{C}$ just a copy of $\mathbb{C}$?
 A: First, let me point out that a matrix algebra $M_n(K)$ over a field $K$ has dimension $n^2<\infty$, and the classification of semisimple algebras provided by Artin-Wedderburn only cares about the finite-dimensional case (at least to my knowledge). 
I confess that I don't see how to use Schur's Lemma in proving your claim. (Perhaps, Schur appears while proving A-W, indeed a useful tool in the proof is that a simple algebra is isomorphic to some $M_n(D)$; and to prove this, one uses Schur's Lemma somewhere. But, as I said, I don't know what your professor had in mind.) But let me argue as follows: one can show that every $K[G]$-module is semisimple if char $K$ does not divide $|G|$ (this is Maschke's Theorem). In particular, $K[G]$ is a semisimple algebra. Now use Artin-Wedderburn (which does hold, in particular, for algebras over a field!) to write
\begin{equation}
K[G]=\prod_{i=1}^tM_{n_i}(D_i)
\end{equation}
where $D_i$ are skew-fields over $K$. Now you can worry about your favorite situation: $K=\textbf C$. There are no skew-fields over $\textbf C$ because, in general, a skew-field over $K$ is necessarily contained in a maximal abelian extension (of finite degree) $L$ of $K$. But $\textbf C$ has no finite nontrivial extensions. Hence
\begin{equation}
\textbf C[G]=\prod_{i=1}^tM_{n_i}(\textbf C).
\end{equation}
But what is $t$? What are the $n_i$'s? How to interpret the factors $M_{n_i}(\textbf C)$?
Well, in fact $t$ is the number of irreducible representations of $G$ (if it helps, it equals the number of conjugacy classes in $G$), and $n_i$ is the dimension of the $i$-th irreducible complex representation of $G$. So the usual formula $|G|=\sum_{i=1}^tn_i^2$ is reflected by the A-W decomposition:
\begin{equation}
|G|=\dim_\textbf C\textbf C[G]=\sum_{i=1}^t\dim_\textbf CM_{n_i}(\textbf C).
\end{equation}
A: Every (finite-dimensional) division algebra over $\mathbb{C}$ is isomorphic to $\mathbb{C}$ because $\mathbb{C}$ is algebraically closed.  We argue as follows.  Let $A$ be a finite-dimensional division algebra over $\mathbb{C}$, and choose any nonzero $x \in A$.  The set $\{1, x, x^2, x^3, \ldots\}$ is linearly dependent, which means there is a relation of the form $p(x) = 0$ where $p$ is in a polynomial in $\mathbb{C}$.  Since $\mathbb{C}$ is algebraically closed, this factors into $(x-a_1)(x-a_2) \ldots (x-a_n) = 0$, where $a_i \in \mathbb{C}$.  Since $A$ is a division algebra, this implies $x-a_i = 0$ for some $i$.  Since $x$ was arbitrary, we conclude that $A$ is 1 dimensional, i.e., $A \cong\mathbb{C}$. 
