Math 2.0

Topological groups, Lie groups Definition

Left regular representation

Builds on Locally compact groupHaar measureLp spaceUnitary representation

Definition

Let GG be a locally compact group with a left Haar measure mm, and let L2(G)=L2(G,m)L^2(G) = L^2(G, m). For g∈Gg \in G and ξ∈L2(G)\xi \in L^2(G), let (λ(g)ξ)(x)=ξ(g−1x),x∈G.(\lambda(g)\xi)(x) = \xi(g^{-1} x), \quad x \in G. The left regular representation of GG is the map λ\lambda from GG to the unitary operators on L2(G)L^2(G).

Remarks

Each λ(g)\lambda(g) is unitary because mm is left invariant, and λ(gh)=λ(g)λ(h)\lambda(gh) = \lambda(g)\lambda(h) because (gh)−1x=h−1(g−1x)(gh)^{-1}x = h^{-1}(g^{-1}x). The map g↦λ(g)ξg \mapsto \lambda(g)\xi is continuous for each ξ\xi, so λ\lambda is a unitary representation. The right regular representation is (ρ(g)ξ)(x)=Δ(g)1/2ξ(xg)(\rho(g)\xi)(x) = \Delta(g)^{1/2} \xi(xg), where Δ\Delta is the modular function; it is unitarily equivalent to λ\lambda.

Example: for a finite group GG with counting measure, L2(G)L^2(G) is the group algebra ℂ[G]\C[G] and λ(g)δx=δgx\lambda(g)\delta_x = \delta_{gx}. Every irreducible representation π\pi of GG appears in λ\lambda with multiplicity dim⁡π\dim \pi.

Non-example: the formula (Tgξ)(x)=ξ(gx)(T_g \xi)(x) = \xi(g x) does not define a representation when GG is not abelian. Indeed (TgThξ)(x)=(Thξ)(gx)=ξ(hgx)(T_g T_h \xi)(x) = (T_h \xi)(g x) = \xi(h g x), so TgTh=ThgT_g T_h = T_{hg}, and Thg≠TghT_{hg} \ne T_{gh} when gh≠hggh \ne hg.

For f∈L1(G)f \in L^1(G), the integrated operator λ(f)=∫Gf(g)λ(g) dm(g)\lambda(f) = \int_G f(g)\lambda(g) \, dm(g) is convolution by ff, and the norm closure of these operators is the reduced group C*-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. Haar measure concept
  2. Locally compact group concept
  3. Lp space concept
  4. Unitary representation concept
  5. Left regular representation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Regular_representation
About this page
TagJ2Y33XCRH3
URIm2://J2Y33XCRH3
Kinddefinition
WritingW0 stub
MSC22D10, 43A65
DefinesLeft regular representation
UsesLocally compact group, Haar measure, Lp space, Unitary representation
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.