2
$\begingroup$

Let G be a group and A an abelian subgroup of G. I want to prove that for each irreducible representation $p$ we have that $dim(p)\leq [G:A]$.
I proved that for each subspace $p(A)-$invariant $W$, $W_0= \sum_{g \in G}p(g)(W)$ is a p(G)-invariant of V (hint of the professor) and that for a abelian finite group, each irreducible representation has dimension 1.
But how can i go on? I wish i can tell more of what i did in this question but i honestly have no idea how to proceed.I was thinking in the canonical decomposition of a representation, considering the subspaces W,but after some writing it seems non-sense. Any help are welcome.
Ps:my representation theory course uses only knowlegde of theory of groups, not modules or other stuff.

$\endgroup$
5
  • 1
    $\begingroup$ Are you working in the “““easy””” case (finite groups, algebraically closed fields with chacteristics coprime with $|G|$), or are there subtleties? $\endgroup$
    – Aphelli
    Jul 24, 2020 at 14:59
  • 2
    $\begingroup$ The field needs to be algebraically closed, otherwise it's false. As $Z_3$ over $\mathbb{Q}$ demonstrates. As for your question, do you really need all $g\in G$ in the definition of $W_0$? In other words, what is $\dim(W_0)$? $\endgroup$ Jul 24, 2020 at 15:07
  • 1
    $\begingroup$ I assume that you are not familiar with induced representations and Frobenius reciprocity? Because the result follows very neatly from that. $\endgroup$ Jul 25, 2020 at 11:12
  • $\begingroup$ forgot to mention, the field is C and the group is finite, $\endgroup$
    – Myanklana
    Jul 25, 2020 at 13:53
  • $\begingroup$ and no, i cant use induced representations for this, is literally the next content of the course $\endgroup$
    – Myanklana
    Jul 25, 2020 at 13:54

1 Answer 1

1
$\begingroup$

You need some assumption on your group and the coefficient field.

I think the idea is to find a non-zero vector on which the abel group acts as a character. Then the remaining things work through: the representation is generated by the vector (as it is irreducible). As the abel subgroup acts on it as a character, we get a spanning set of the representation of order smaller than or equal to [G:H].

For example it is the case if your group is finite and the representation is taking coefficients in an algebraically closely field.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .