Skip to main content
Replaced four instances of double-backslash-comma with single-backslash-comma, to fix rendering.
Source Link

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation, denoted $\mathbb C[G]$

To prove this, take any non-trivial representation $R$ and consider $\mathrm{Hom}\\,(R, \mathbb C[G])$$\mathrm{Hom}\,(R, \mathbb C[G])$. A careful examination should show it's non-trivial as well.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$$\chi _ R(g) = \mathrm{tr}\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$$\mathrm{tr}\,A = \mathrm{tr}\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book to answer your question. I would like to point out the following very accessible text if you are be interested in learning more:

  • Introduction to representation theory, write-up of lectures by Pavel Etingof to high-school students and MIT undergraduates. They cover more material, finite groups are in Chapter 3.   

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation, denoted $\mathbb C[G]$

To prove this, take any non-trivial representation $R$ and consider $\mathrm{Hom}\\,(R, \mathbb C[G])$. A careful examination should show it's non-trivial as well.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book to answer your question. I would like to point out the following very accessible text if you are be interested in learning more:

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation, denoted $\mathbb C[G]$

To prove this, take any non-trivial representation $R$ and consider $\mathrm{Hom}\,(R, \mathbb C[G])$. A careful examination should show it's non-trivial as well.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\,A = \mathrm{tr}\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book to answer your question. I would like to point out the following very accessible text if you are be interested in learning more:

  • Introduction to representation theory, write-up of lectures by Pavel Etingof to high-school students and MIT undergraduates. They cover more material, finite groups are in Chapter 3.   
reworded
Source Link
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation  , denoted $\mathbb C[G]$

To prove this, take any nontrivialnon-trivial representation $R$ and show thatconsider $\mathrm{dim}\\,\mathrm{Hom}\\,(R, \mathbb C[G]) >0$$\mathrm{Hom}\\,(R, \mathbb C[G])$. A careful examination should show it's non-trivial as well.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book to answer your question. I would like to point out the following bookvery accessible text if you wouldare be interested in learning more about different parts of the subject:

  • Introduction to representation theory, write-up of lectures by Pavel Etingof to high-school students and MIT undergraduates. This books coversThey cover more material, but it has finite groups are in Chapter 3.

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation  $\mathbb C[G]$

To prove this, take any nontrivial representation $R$ and show that $\mathrm{dim}\\,\mathrm{Hom}\\,(R, \mathbb C[G]) >0$.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book. I would like to point out the following book if you would be interested in learning more about different parts of the subject:

  • Introduction to representation theory, write-up of lectures by Pavel Etingof to high-school students and MIT undergraduates. This books covers more material, but it has finite groups in Chapter 3.

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation, denoted $\mathbb C[G]$

To prove this, take any non-trivial representation $R$ and consider $\mathrm{Hom}\\,(R, \mathbb C[G])$. A careful examination should show it's non-trivial as well.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book to answer your question. I would like to point out the following very accessible text if you are be interested in learning more:

Source Link
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

It's not entirely trivial, but here's the sketch of the proof if you would like to finish it yourself. Note that people usually denote complex numbers by $\mathbb C$:

(1) Every irreducible representation comes as part of regular representation $\mathbb C[G]$

To prove this, take any nontrivial representation $R$ and show that $\mathrm{dim}\\,\mathrm{Hom}\\,(R, \mathbb C[G]) >0$.

(2) The character $\chi_R$ is a function on $G$ defined as $\chi _ R(g) = \mathrm{tr}\\,g| _ R$. Prove that value of any character on an element of $G$ depends only on element's conjugacy class.

This immediately follows from $\mathrm{tr}\\,A = \mathrm{tr}\\,BAB^{-1}$ (property of trace).

(3) Prove that any function on $G$ that depends only on a conjugacy class is a linear combination of some characters $\chi_R$.

I'm not sure I remember how to prove this in an elementary way, but it's doable.

(4) Prove your statement from (1)-(3).

Indeed, there must be at least as many irreducible representations as there are conjugacy classes and all of them appear in regular representation by (1), so you have your statement.


There are many references on representation theory, you can basically pick up any book. I would like to point out the following book if you would be interested in learning more about different parts of the subject:

  • Introduction to representation theory, write-up of lectures by Pavel Etingof to high-school students and MIT undergraduates. This books covers more material, but it has finite groups in Chapter 3.