Intereting Posts

Group generated by a set of normal subgroups is normal
How find that $\left(\frac{x}{1-x^2}+\frac{3x^3}{1-x^6}+\frac{5x^5}{1-x^{10}}+\frac{7x^7}{1-x^{14}}+\cdots\right)^2=\sum_{i=0}^{\infty}a_{i}x^i$
Prerequisites to study cohomology?
What is the name of this theorem, and are there any caveats?
What is the remainder when $2^{1990}$ is divided by $1990$?
How to simplify a square root
Applying Extended Euclidean Algorithm for Galois Field to Find Multiplicative Inverse
Given a matrix with non-negative real entries, can you algebraically prove that it has a non-negative eigenvalue?
Adding relations to a partial order
Tensor product and injective maps
A difference between a roller coaster and a ferris wheel.
Finding a basis for a certain vector space of periodic polynomials
Bad Fraction Reduction That Actually Works
Conditional Probability: $P(A|B) = P(A|C_i)P(C_i|B)$
Difficulty in evaluating a limit: $\lim_{x \to \infty} \frac{e^x}{\left(1+\frac{1}{x}\right)^{x^2}}$

I’m working my way through the first Chapter of Fulton and Harris’ Representation Theory and I’m trying exercise 3.26:

There is a unique nonabelian group $G$ of order 21, which can be realized as the group of affine transformations $ T_{\alpha,\beta}(x) = \alpha x + \beta$ of the line over the field with seven elements, with $a$ a cube root of unity in that field. Find the irreducible representations and character table.

- Representation problem: I don't understand the setting of the question! (From Serre's book)
- Non-Examples for Krull-Schmidt-Azumaya
- (From Lang $SL_2$) Orthonormal bases for $L^2 (X \times Y)$
- Where does the ambiguity in choosing a basis for a Lie algebra come from?
- Irreducible representations of $\mathbb{Z}/p\mathbb{Z}$ over Galois field $\mathbb{F}_q$, $p\neq q$.
- finite subgroups of PGL(3,C)

To start, I was trying to find the conjugacy classes of $G$, $\alpha = 1,2,4$. Of course $\{T_{1,0}\}$ is the easiest conjugacy class.

Furthermore, I found that $T_{\alpha^{-1},-\alpha^{-1}\beta}$ is the inverse of $T_{\alpha,\beta}$ so using that to find conjugates:

$$T_{\alpha,\beta}\cdot T_{\gamma,\delta} \cdot T_{\alpha^{-1},-\alpha^{-1}\beta} = T_{\gamma, -\gamma \beta + \alpha \delta + \beta}$$

We see that conjugacy classes will be of the form $\{T_{\alpha, x}\}$ so we have at least 3 conjugacy classes. How do I proceed from here? Is this even the right way to tackle this exercise?

- The Ext functor in the quiver representation
- Show that $\det \rho(g)=1$ for elements g of odd order and $\det \rho(g)=-1$ for elements g of even order.
- Equivalence of induced representation
- What is the differences between scheme-theoretical intersection and set-theoretical intersection?
- Motivation of the definition of principal series.
- Integration over uncountable set of characters
- Dimension of the space of algebraic Riemann curvature tensors
- What are the three non-isomorphic 2-dimensional algebras over $\mathbb{R}$?

Thanks to Jyrki Lahtonen and his useful comments I have found the conjugacy classes myself:

We of course already had $\{T_{1,0}\}$ and we know that if two elements are conjugated then it would be of the shape $T_{\gamma,x}$ where $x = -\gamma \beta + \alpha \delta + \beta$.

Let us first look at the case where $\gamma = 1$ then $-\gamma \beta + \alpha \delta + \beta = \alpha \delta$ and, because $\alpha = 1,2,4$ this would mean that $T_{1,\delta}$ is conjugated with $T_{1,1\cdot\delta}, T_{1,2\cdot \delta}$ and $T_{1,4 \cdot \delta}$.

Thus, two other conjugacy classes are $\{ T_{1,1}, T_{1,2}, T_{1,4} \}$ and $\{ T_{1,3}, T_{1,5}, T_{1,6} \}$.

Now, if $\gamma \neq 1, \delta = 0$ then $T_{\gamma, 0}$ is conjugated to $T_{\gamma, \beta(-\gamma +1)}$ because then $-\gamma \beta + \alpha \delta + \beta = \beta(-\gamma +1)$. But because $\gamma \neq 1 \rightarrow -\gamma + 1 = \epsilon \neq 0$ and thus $\beta \cdot \epsilon$ will be any element of $\mathbb{F_7}$ if we choose $\beta$ right.

This gives us another two conjugacy classes: $\{T_{2, \delta} | \delta \in \mathbb{F_7} \}$ and $\{T_{4, \delta} | \delta \in \mathbb{F_7} \}$

We now list all the conjugacy classes so for, along with the number of elements:

$$|\{T_{1,0}\}| = 1$$

$$|\{ T_{1,1}, T_{1,2}, T_{1,4} \}| = 3$$

$$|\{ T_{1,3}, T_{1,5}, T_{1,6} \}| = 3$$

$$|\{T_{2, \delta} | \delta \in \mathbb{F_7} \}| = 7$$

$$|\{T_{4, \delta} | \delta \in \mathbb{F_7} \}| = 7$$

We conclude that these are all the conjugacy classes, as $1+3+3+7+7=21$.

EDIT: After working on my own for quite a while, I think I have also answered the actual question 3.26, and I would be very grateful if someone could check these results:

We must now find the characters of $G$.

We have ofcourse the trivial character, and we’ll start using for different characters by looking at the subgroup $H = \{ T_{1,\alpha} | \alpha \in \mathbb{F_7} \}$. At first, we see that $G/H = \{ H, T_{2,0}H, T_{4,0}H \} \cong C_3$, of which we know the character table (with $\omega^3 = 1$):

$$\begin{array}{c|c c c}

\text{Class rep.} & T_{1,0}H & T_{2,0}H & T_{4,0}H\\

\hline\hline

\chi_{triv} & 1 & 1 & 1 \\

\chi_1 & 1 & \omega & \omega^2 \\

\chi_2 & 1 & \omega^2 & \omega \\

\end{array}$$

Which we can expand into the following irreducible characters of $G$

$$\begin{array}{c|c c c c c}

\text{Class rep.} & T_{1,0} & T_{1,1} & T_{1,3} & T_{2,0} & T_{4,0}\\

\hline\hline

\chi_{triv} & 1 & 1 & 1 & 1 & 1 \\

\chi_1 & 1 & 1 & 1 & \omega & \omega^2 \\

\chi_2 & 1 & 1 & 1 & \omega^2 & \omega \\

\end{array}$$

We also know that $\sum \dim(\chi)^2 = |G| = 21$ and thus we are looking for two $3$ dimensional representations, as $1^2 + 1^2 + 1^2 + 3^2 + 3^2 = 21$.

From the hint in the book, these representations come from induced representations of $H$, so let us take the easiest non-trivial representation of $H$, where $\alpha^7 = 1$:

$$\chi_\alpha : 1, \alpha, \alpha^2, \alpha^3, \alpha^4, \alpha^5, \alpha^6$$

We know that $\chi_{Ind(\alpha)}(g) = 1/|H|\sum_{x \in G} \chi_{\alpha}^{‘}(x^{-1}gx)$

So we can easily calculate:

$\chi_{Ind(\alpha)}(T_{1,0}) = 1/7\cdot(21) = 3$ as expected.

$\chi_{Ind(\alpha)}(T_{1,1}) = 1/7\cdot(7\cdot\alpha + 7\cdot\alpha^2 + 7\cdot\alpha^4) = \alpha + \alpha^2 + \alpha^4$

$\chi_{Ind(\alpha)}(T_{1,3}) = 1/7\cdot(7\cdot\alpha^3 + 7\cdot\alpha^5 + 7\cdot\alpha^6) = \alpha^3 + \alpha^5 + \alpha^6$

$\chi_{Ind(\alpha)}(T_{2,0}) = 0$

$\chi_{Ind(\alpha)}(T_{4,0}) = 0$

So we find $$\chi_3 : 3, \alpha + \alpha^2 + \alpha^4, \alpha^3 + \alpha^5 + \alpha^6, 0, 0$$

Which also gives us $$\chi_4 : 3, \alpha^3 + \alpha^5 + \alpha^6,\alpha + \alpha^2 + \alpha^4, 0, 0$$

Concluding:

$$\begin{array}{c|c c c c c} \text{Class length} & 1 & 3 & 3 & 7 & 7 \\

\hline

\text{Class rep.} & T_{1,0} & T_{1,1} & T_{1,3} & T_{2,0} & T_{4,0}\\

\hline\hline

\chi_{triv} & 1 & 1 & 1 & 1 & 1 \\

\chi_1 & 1 & 1 & 1 & \omega & \omega^2 \\

\chi_2 & 1 & 1 & 1 & \omega^2 & \omega \\

\chi_3 & 3 & \alpha + \alpha^2 + \alpha^4 & \alpha^3 + \alpha^5 + \alpha^6 & 0 & 0 \\

\chi_4 & 3 & \alpha^3 + \alpha^5 + \alpha^6 & \alpha + \alpha^2 + \alpha^4 & 0 & 0 \\

\end{array}$$

With $\omega$ as a third root of unity.

With $\alpha$ as a seventh root of unity.

- Combinatorial Proof of $\binom{\binom{n}{2}}{2} = 3 \binom{n}{3}+ 3 \binom{n}{4}$ for $n \geq 4$
- How many ways to put 20 things to different 4 boxes?
- $G$ be a non-measurable subgroup of $(\mathbb R,+)$ ; $I$ be a bounded interval , then $m^*(G \cap I)=m^*(I)$?
- Which derivatives are eventually periodic?
- How to find the limit of the sequence $x_n =\frac{1}{2}$, if $x_0=0$ and $x_1=1$?
- Understanding the definition of the generator of a semigroup of operators
- Construction of a regular pentagon
- Frobenius element in cyclotomic extension
- Difference between summation and integration
- How many squares contains paint
- What values of $0^0$ would be consistent with the Laws of Exponents?
- For what $x\in$ is $y = \sum\limits_{k = 1}^\infty\frac{\sin( k!^2x )}{k!}$ differentiable?
- Best Algebraic Topology book/Alternative to Allen Hatcher free book?
- $\mathbb R\oplus \mathbb R$ is an Integral Domain or a Division Ring?
- If a rational number has a finite decimal representation, then it has a finite representation in base $b$ for any $b>1?$