# The Unapologetic Mathematician

## Inducing the Trivial Representation

We really should see an example of inducing a representation. One example we’ll find extremely useful is when we start with the trivial representation.

So, let $G$ be a group and $H$ be a subgroup. Since this will be coming up a bunch, let’s just start writing $1$ for the trivial representation that sends each element of $H$ to the $1\times1$ matrix $\begin{pmatrix}1\end{pmatrix}$. We want to consider the induced representation $1\!\!\uparrow_H^G$.

Well, we have a matrix representation, so we look at the induced matrix representation. We have to pick a transversal $\{t_i\}$ for the subgroup $H$ in $G$. Then we have the induced matrix in block form:

$\displaystyle1\!\!\uparrow_H^G(g)=\begin{pmatrix}1(t_1^{-1}gt_1)&1(t_1^{-1}gt_2)&\cdots&1(t_1^{-1}gt_n)\\1(t_2^{-1}gt_1)&1(t_2^{-1}gt_2)&\cdots&1(t_2^{-1}gt_n)\\\vdots&\vdots&\ddots&\vdots\\1(t_n^{-1}gt_1)&1(t_n^{-1}gt_2)&\cdots&1(t_n^{-1}gt_n)\end{pmatrix}$

In this case, each “block” is just a number, and it’s either $1$ or $0$, depending on whether $t_i^{-1}gt_j$ is in $H$ or not. But if $t_i^{-1}gt_j\in H$, then $t_i^{-1}gt_jH=H, and$latex g(t_jH)=(t_iH)\$. That is, this is exactly the coset representation of $G$ corresponding to $H$. And so all of these coset representations arise as induced representations.

## 1 Comment	»

1. [...] now we can define the -module by inducing the trivial representation from the subgroup to all of . Now, the are not all irreducible, but we will see how to identify a [...]

Pingback by | December 7, 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": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 20, "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.8927940130233765, "perplexity_flag": "head"}