# The Unapologetic Mathematician

## Subspaces from Irreducible Representations

Because of Maschke’s theorem we know that every representation of a finite group $G$ can be decomposed into chunks that correspond to irreducible representations:

$\displaystyle V\cong\bigoplus\limits_{i=1}^km_iV^{(i)}$

where the $V^{(i)}$ are pairwise-inequivalent irreps. But our consequences of orthonormality prove that there can be only finitely many such inequivalent irreps. So we may as well say that $k$ is the number of them and let a multiplicity $m_i$ be zero if $V^{(i)}$ doesn’t show up in $V$ at all.

Now there’s one part of this setup that’s a little less than satisfying. For now, let’s say that $V$ is an irrep itself, and let $m$ be a natural number for its multiplicity. We’ve been considering the representation

$\displaystyle mV=\bigoplus\limits_{i=1}^mV$

made up of the direct sum of $m$ copies of $V$. But this leaves some impression that these copies of $V$ actually exist in some sense inside the sum. In fact, though inequivalent irreps stay distinct, equivalent ones lose their separate identities in the sum. Indeed, we’ve seen that

$\displaystyle\hom_G(V,mV)\cong\mathrm{Mat}_{1,m}(\mathbb{C})$

That is, we can find a copy of $V$ lying “across” all $m$ copies in the sum in all sorts of different ways. The identified copies are like the basis vectors in an $m$-dimensional vector space — they hardly account for all the vectors in the space.

We need a more satisfactory way of describing this space. And it turns out that we have one:

$\displaystyle mV=\bigoplus\limits_{i=1}^mV\cong V\otimes\mathbb{C}^m$

Here, the tensor product is over the base field $\mathbb{C}$, so the “extra action” by $G$ on $V$ makes this into a $G$-module as well.

This actually makes sense, because as we pass from representations to their characters, we also pass from “plain” vector spaces to their dimensions, and from tensor products to regular products. Thus at the level of characters this says that adding $m$ copies of an irreducible character together gives the same result as multiplying it by $m$, which is obviously true. So since the two sides have the same characters, they contain the same number of copies of the same irreps, and so they are isomorphic as asserted.

Actually, any vector space of dimension $m$ will do in the place of $\mathbb{C}^m$ here. And we have one immediately at hand: $\hom_G(V,mV)$ itself. That is, if $V$ is an irreducible representation then we have an isomorphism:

$\displaystyle mV\cong V\otimes\hom_G(V,mV)$

As an example, if $V$ is any representation and $V^{(i)}$ is any irrep, then we find

$\displaystyle m_iV^{(i)}\cong V^{(i)}\otimes\hom_G(V^{(i)},V)$

We can reassemble these subspaces to find

$\displaystyle V\cong\bigoplus\limits_{i=1}^km_iV^{(i)}\cong\bigoplus\limits_{i=1}^kV^{(i)}\otimes\hom_G(V^{(i)},V)$

Notice that this extends our analogy between $\hom$ spaces and inner products. Indeed, if we have an orthonormal basis $\{e_i\}$ of a vector space of dimension $k$, we can decompose any vector as

$\displaystyle v=\sum\limits_{i=1}^ke_i\langle e_i,v\rangle$

## 2 Comments	»

1. [...] be a representation of a finite group , with finite dimension . We can decompose into blocks — one for each irreducible representation of [...]

Pingback by | November 12, 2010 | Reply

2. [...] we recall that the submodule of invariants can be written [...]

Pingback by | November 16, 2010 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 37, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9281932711601257, "perplexity_flag": "head"}