Physics Forums

## Equivalence of definitions for regular representations

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 $f: G \to k$. I do not see why these are equivalent, and would appreciate any advice as to why this is the case.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:      Homework  Help     Science  Advisor  (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.

Excellent, thank you.

Thread Tools

|                                                                             |                            |         |
|-----------------------------------------------------------------------------|----------------------------|---------|
| Similar Threads for: Equivalence of definitions for regular representations |                            |         |
| Thread                                                                      | Forum                      | Replies |
|                                                                             | General Math               | 10      |
|                                                                             | Linear & Abstract Algebra  | 2       |
|                                                                             | Beyond the Standard Model  | 0       |
|                                                                             | Calculus & Beyond Homework | 0       |
|                                                                             | General Math               | 20      |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.854516863822937, "perplexity_flag": "middle"}