Math 2.0

Group theory and generalizations Definition

Irreducible representation

Builds on Group representationInvariant subspaceVector spaceGroup algebra

Definition

Let GG be a group, let FF be a field, and let ρ ⁣:G→GL(V)\rho \colon G \to GL(V) be a representation of GG on a vector space VV over FF. A subspace W⊆VW \subseteq V is GG-invariant if ρ(g)(W)⊆W\rho(g)(W) \subseteq W for all g∈Gg \in G. The representation ρ\rho is irreducible if V≠0V \ne 0 and the only GG-invariant subspaces of VV are 00 and VV.

Remarks

Example: let G=ℤ/4ℤG = \Z/4\Z act on ℝ2\R^2, with the class of 11 acting as the rotation RR by 9090 degrees. A GG-invariant line would be spanned by an eigenvector of RR, but RR has characteristic polynomial x2+1x^2 + 1 with no real root. So the only invariant subspaces are 00 and ℝ2\R^2, and the representation is irreducible. Non-example: let G=ℤG = \Z act on ℂ2\C^2, with nn acting by the matrix (1n01)\begin{pmatrix} 1 & n \\ 0 & 1 \end{pmatrix}. The line spanned by (1,0)(1, 0) is invariant, so the representation is not irreducible. It is also not a direct sum of irreducible representations, because this line has no invariant complement. Over ℂ\C, the same rotation representation of ℤ/4ℤ\Z/4\Z on ℂ2\C^2 is not irreducible: it splits into the eigenlines for ii and −i-i. So irreducibility depends on the field. An irreducible representation is also called simple, since it is the same as a simple module over the group algebra.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group algebra concept
  2. Group representation concept
  3. Invariant subspace concept
  4. Vector space concept
  5. Irreducible representation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Irreducible_representation
About this page
TagVNJ4V7FYBV
URIm2://VNJ4V7FYBV
Kinddefinition
WritingW0 stub
MSC20C15
DefinesIrreducible representation
UsesGroup representation, Invariant subspace, Vector space, Group algebra
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.