Equivalence of Representations

Research Depth 59 in the knowledge graph I know this Set as goal
Unlocks 20 downstream topics
equivalence intertwining-operator isomorphism

Core Idea

Two representations ρ: G → GL(V) and σ: G → GL(W) are equivalent (isomorphic) if there exists an invertible linear map T: V → W that intertwines the two actions: T∘ρ(g) = σ(g)∘T for all g ∈ G. In matrix terms, this means ρ and σ differ by a change of basis. Equivalence is the right notion of "sameness" for representations — it preserves all structural properties while ignoring coordinate artifacts.

Explainer

In any mathematical theory, once you define objects, the next essential step is to define when two objects are "the same." For representations, the right notion is equivalence (also called isomorphism). Two representations ρ: G → GL(V) and σ: G → GL(W) are equivalent if there exists an invertible linear map T: V → W such that T∘ρ(g) = σ(g)∘T for all g ∈ G. The map T is called an intertwining isomorphism or a G-isomorphism.

The intertwining condition T∘ρ(g) = σ(g)∘T says that it does not matter whether you first apply the G-action and then translate via T, or first translate via T and then apply the G-action. In matrix terms, if ρ and σ are both n-dimensional, the condition becomes Tρ(g) = σ(g)T, or equivalently σ(g) = Tρ(g)T⁻¹ for all g — which is exactly conjugation by T. So equivalent matrix representations are related by a single change of basis applied uniformly to all group elements.

Why does this definition matter? Because many superficially different-looking representations are secretly the same. The rotation group SO(2) acting on ℝ² in the standard basis gives the familiar rotation matrices. In an eigenvector basis (over ℂ), the same action becomes diagonal. These look different as matrices but carry identical structural information — they are equivalent representations. The goal of representation theory is to classify representations up to equivalence, stripping away coordinate noise to reveal the underlying structure.

The intertwining operators that are not necessarily invertible also play a crucial role. The set Hom_G(V, W) of all G-equivariant linear maps from V to W forms a vector space, and its dimension measures how "similar" two representations are. Schur's lemma, which you will encounter soon, shows that when V and W carry irreducible representations, this space is either zero-dimensional (the representations are inequivalent) or one-dimensional (they are equivalent). This is the beginning of a systematic classification program.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineOpposites and Additive InversesAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersDividing IntegersUnit RatesProportionsPercent ConceptConverting Between Fractions, Decimals, and PercentsOperations with Rational NumbersTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesLiteral EquationsSlope-Intercept FormPoint-Slope FormWriting Linear EquationsParallel and Perpendicular Line SlopesGraphing Linear EquationsSystems of Equations — Graphing MethodSystems of Equations — Elimination MethodSystems of Three VariablesMatrices IntroductionLinear TransformationsGroup RepresentationsEquivalence of Representations

Longest path: 60 steps · 270 total prerequisite topics

Prerequisites (2)

Leads To (1)