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}$?