Math 2.0

Group theory and generalizations Definition

Group representation

Builds on GroupVector spaceGroup homomorphismGeneral linear groupLinear map

Definition

Let GG be a group and let FF be a field. Let VV be a vector space over FF, and let GL(V)GL(V) be the group of invertible linear maps V→VV \to V under composition. A representation of GG on VV is a group homomorphism ρ ⁣:G→GL(V)\rho \colon G \to GL(V). That is, ρ(gh)=ρ(g)∘ρ(h)\rho(gh) = \rho(g) \circ \rho(h) for all g,h∈Gg, h \in G. The dimension of VV is the degree of ρ\rho. Two representations ρ ⁣:G→GL(V)\rho \colon G \to GL(V) and σ ⁣:G→GL(W)\sigma \colon G \to GL(W) are isomorphic if there is a linear isomorphism T ⁣:V→WT \colon V \to W with T∘ρ(g)=σ(g)∘TT \circ \rho(g) = \sigma(g) \circ T for all g∈Gg \in G.

Remarks

Example: let G=ℤ/nℤG = \Z / n\Z and V=ℂV = \C. The map ρ(k)=e2πik/n\rho(k) = e^{2\pi i k / n}, viewed as multiplication on ℂ\C, is a representation of degree 11, because e2πi(k+l)/n=e2πik/ne2πil/ne^{2\pi i (k + l)/n} = e^{2\pi i k/n} e^{2\pi i l/n}, and the value does not depend on the representative kk of its class. Non-example: on G=ℤ/2ℤG = \Z / 2\Z, the map sending 00 to id⁡\id and 11 to 2⋅id⁡2 \cdot \id on ℂ\C is not a representation, because ρ(1+1)=ρ(0)=id⁡\rho(1 + 1) = \rho(0) = \id but ρ(1)ρ(1)=4⋅id⁡\rho(1)\rho(1) = 4 \cdot \id. When V=FnV = F^n, the group GL(V)GL(V) is the general linear group GLn(F)GL_n(F), and a representation is a matrix-valued homomorphism. Equivalently, a representation is a linear action of GG on VV, or a module over the group algebra F[G]F[G].

Reading path

To understand this page from the ground up, read these 6 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. General linear group object
  2. Group concept
  3. Group homomorphism concept
  4. Linear map concept
  5. Vector space concept
  6. Group representation definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Group_representation
About this page
TagRK8RV2C998
URIm2://RK8RV2C998
Kinddefinition
WritingW0 stub
MSC20C15, 20C05
DefinesGroup representation
UsesGroup, Vector space, Group homomorphism, General linear group, Linear map
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

Used by