Equivalence of definitions for regular representations


by Kreizhn
Tags: definitions, equivalence, regular, representations
Kreizhn
Kreizhn is offline
#1
Mar29-12, 07:37 PM
P: 743
There seem to be two definitions for a regular representation of a group, with respect to a field k. In particular, one definition is that the regular representation is just left multiplication on the group algebra kG, while the other is defined on the set of all functions [itex] f: G \to k [/itex]. I do not see why these are equivalent, and would appreciate any advice as to why this is the case.
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)
morphism
morphism is offline
#2
Mar29-12, 07:58 PM
Sci Advisor
HW Helper
P: 2,020
(I'm assuming G is a finite group.) The element ##\sum_{g \in G} c_g g## in kG can be thought of as the function ##G \to k## defined by ##g \mapsto c_g##. Conversely, a function ##f \colon G \to k## gives rise to the element ##\sum_g f(g) g \in kG##. From this it's easy to see that the two vector spaces kG and {functions ##G \to K##} are isomorphic; in fact the map ##\sum_g c_g g \mapsto (g \mapsto c_g)## is an isomorphism.

Now all you have to do is check that this isomorphism respects the G-action. You've already indicated that the action on kG is given by left multiplication. The action of G on a function ##f \colon G \to k## is defined by ##(h \cdot f)(g) = f(h^{-1}g)## (for ##h \in G##). Now note that
$$ h \sum_g c_g g = \sum_g c_g hg = \sum_{h^{-1}g} c_{h^{-1}g} g. $$ This shows that the isomorphism is G-linear.
Kreizhn
Kreizhn is offline
#3
Mar29-12, 08:11 PM
P: 743
Excellent, thank you.


Register to reply

Related Discussions
ellipse: geometric equivalence of two definitions General Math 10
Field trace and norm (Equivalence between definitions) Linear & Abstract Algebra 2
Equivalence betwen diferent definitions of charge Beyond the Standard Model 0
regular and non-regular magic squares Calculus & Beyond Homework 0
Volumes of Regular Icosahedron and Regular Tetrahedron General Math 20