direct sum of representation of product groupsfaithful representation related to the centerDirect sum and...

Does the US political system, in principle, allow for a no-party system?

Boss Telling direct supervisor I snitched

Giving a talk in my old university, how prominently should I tell students my salary?

Can I challenge the interviewer to give me a proper technical feedback?

I've given my players a lot of magic items. Is it reasonable for me to give them harder encounters?

Why do we say 'Pairwise Disjoint', rather than 'Disjoint'?

PTIJ: Sport in the Torah

After Brexit, will the EU recognize British passports that are valid for more than ten years?

How to make sure I'm assertive enough in contact with subordinates?

Professor forcing me to attend a conference, I can't afford even with 50% funding

Is there a logarithm base for which the logarithm becomes an identity function?

How to write a chaotic neutral protagonist and prevent my readers from thinking they are evil?

What is better: yes / no radio, or simple checkbox?

How to recover against Snake as a heavyweight character?

Short story about cities being connected by a conveyor belt

How to educate team mate to take screenshots for bugs with out unwanted stuff

Was this cameo in Captain Marvel computer generated?

Should I file my taxes? No income, unemployed, but paid 2k in student loan interest

ESPP--any reason not to go all in?

How would an energy-based "projectile" blow up a spaceship?

What would be the most expensive material to an intergalactic society?

Are small insurances worth it?

What is Tony Stark injecting into himself in Iron Man 3?

How do you make a gun that shoots melee weapons and/or swords?



direct sum of representation of product groups


faithful representation related to the centerDirect sum and tensor product of two representations of a groupEvery Irreducible Representation of $G times H$ is tensor product of Irreducible Reps of $G$ and $H$?direct sum and tensor product of representation of lie algebraTensor product of representations of a product group?Show $rho_1 oplus rho_2 : G → GL(V oplus W)$ is a homomorphisma decomposition of a representation of Z_2Is the tensor product of irreducible representations of different groups irreducible?What is the intuition behind the direct product and the direct sum of groups being identical for finite groups?Definition of the tensor product of representations













1












$begingroup$


Given two finite groups $G_1$ and $G_2$, and some representations $rho_1: G_1 to V_1$ and $rho_2: G_2 to V_2$, it seems the standard way to create a representation for $G_1 times G_2$ is to use the tensor product
$$rho_1(g_1) otimes rho_2(g_2) quad g_1,g_2 in G_1,G_2.$$
It seems to me that one could also use the direct sum
$rho_1(g_1) oplus rho_2(g_2)$,
because the blocks in the matrix form of the representation do not interact and one gets the desired effect. Given that this representation could have a lower dimension than using tensor product, why is it not used?










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Given two finite groups $G_1$ and $G_2$, and some representations $rho_1: G_1 to V_1$ and $rho_2: G_2 to V_2$, it seems the standard way to create a representation for $G_1 times G_2$ is to use the tensor product
    $$rho_1(g_1) otimes rho_2(g_2) quad g_1,g_2 in G_1,G_2.$$
    It seems to me that one could also use the direct sum
    $rho_1(g_1) oplus rho_2(g_2)$,
    because the blocks in the matrix form of the representation do not interact and one gets the desired effect. Given that this representation could have a lower dimension than using tensor product, why is it not used?










    share|cite|improve this question









    $endgroup$















      1












      1








      1


      1



      $begingroup$


      Given two finite groups $G_1$ and $G_2$, and some representations $rho_1: G_1 to V_1$ and $rho_2: G_2 to V_2$, it seems the standard way to create a representation for $G_1 times G_2$ is to use the tensor product
      $$rho_1(g_1) otimes rho_2(g_2) quad g_1,g_2 in G_1,G_2.$$
      It seems to me that one could also use the direct sum
      $rho_1(g_1) oplus rho_2(g_2)$,
      because the blocks in the matrix form of the representation do not interact and one gets the desired effect. Given that this representation could have a lower dimension than using tensor product, why is it not used?










      share|cite|improve this question









      $endgroup$




      Given two finite groups $G_1$ and $G_2$, and some representations $rho_1: G_1 to V_1$ and $rho_2: G_2 to V_2$, it seems the standard way to create a representation for $G_1 times G_2$ is to use the tensor product
      $$rho_1(g_1) otimes rho_2(g_2) quad g_1,g_2 in G_1,G_2.$$
      It seems to me that one could also use the direct sum
      $rho_1(g_1) oplus rho_2(g_2)$,
      because the blocks in the matrix form of the representation do not interact and one gets the desired effect. Given that this representation could have a lower dimension than using tensor product, why is it not used?







      group-theory finite-groups representation-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 4 hours ago









      self-educatorself-educator

      4611




      4611






















          1 Answer
          1






          active

          oldest

          votes


















          6












          $begingroup$

          When $V_1$ and $V_2$ are representations of $G_1$ and $G_2$ respectively, I'll use $V_1 boxtimes V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 otimes_{mathbb{C}} V_2$, and $V_1 boxplus V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 oplus V_2$.



          If $V$ is an irreducible representation of $G_1 times G_2$, then $V$ is isomorphic to $V_1 boxtimes V_2$ for some irreducible representations $V_1$ and $V_2$ of $G_1$ and $G_2$ respectively. This means that if we know the representations of $G_1$ and $G_2$, then using the $boxtimes$ construction we can get to all the (irreducible) representations of $G_1 times G_2$. Conversely, the $boxtimes$ product of two irreducible representations always produces an irreducible representation of $G_1 times G_2$.



          On the other hand, $V_1 boxplus V_2$ is always reducible as a $G_1 times G_2$ representation, since both vector subspaces $V_1$ and $V_2$ are stable under the $G_1 times G_2$ action. On the $V_1$ subspace, really only the $G_1$ part of the group acts, and the $G_2$ part acts trivially, and similarly for the $V_2$ subspace. We cannot produce all irreducible representations of $G_1 times G_2$ using this construction, which can already be seen in the example $G_1 = G_2 = mathbb{Z} / 2 mathbb{Z}$.






          share|cite|improve this answer









          $endgroup$













            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3140677%2fdirect-sum-of-representation-of-product-groups%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            6












            $begingroup$

            When $V_1$ and $V_2$ are representations of $G_1$ and $G_2$ respectively, I'll use $V_1 boxtimes V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 otimes_{mathbb{C}} V_2$, and $V_1 boxplus V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 oplus V_2$.



            If $V$ is an irreducible representation of $G_1 times G_2$, then $V$ is isomorphic to $V_1 boxtimes V_2$ for some irreducible representations $V_1$ and $V_2$ of $G_1$ and $G_2$ respectively. This means that if we know the representations of $G_1$ and $G_2$, then using the $boxtimes$ construction we can get to all the (irreducible) representations of $G_1 times G_2$. Conversely, the $boxtimes$ product of two irreducible representations always produces an irreducible representation of $G_1 times G_2$.



            On the other hand, $V_1 boxplus V_2$ is always reducible as a $G_1 times G_2$ representation, since both vector subspaces $V_1$ and $V_2$ are stable under the $G_1 times G_2$ action. On the $V_1$ subspace, really only the $G_1$ part of the group acts, and the $G_2$ part acts trivially, and similarly for the $V_2$ subspace. We cannot produce all irreducible representations of $G_1 times G_2$ using this construction, which can already be seen in the example $G_1 = G_2 = mathbb{Z} / 2 mathbb{Z}$.






            share|cite|improve this answer









            $endgroup$


















              6












              $begingroup$

              When $V_1$ and $V_2$ are representations of $G_1$ and $G_2$ respectively, I'll use $V_1 boxtimes V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 otimes_{mathbb{C}} V_2$, and $V_1 boxplus V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 oplus V_2$.



              If $V$ is an irreducible representation of $G_1 times G_2$, then $V$ is isomorphic to $V_1 boxtimes V_2$ for some irreducible representations $V_1$ and $V_2$ of $G_1$ and $G_2$ respectively. This means that if we know the representations of $G_1$ and $G_2$, then using the $boxtimes$ construction we can get to all the (irreducible) representations of $G_1 times G_2$. Conversely, the $boxtimes$ product of two irreducible representations always produces an irreducible representation of $G_1 times G_2$.



              On the other hand, $V_1 boxplus V_2$ is always reducible as a $G_1 times G_2$ representation, since both vector subspaces $V_1$ and $V_2$ are stable under the $G_1 times G_2$ action. On the $V_1$ subspace, really only the $G_1$ part of the group acts, and the $G_2$ part acts trivially, and similarly for the $V_2$ subspace. We cannot produce all irreducible representations of $G_1 times G_2$ using this construction, which can already be seen in the example $G_1 = G_2 = mathbb{Z} / 2 mathbb{Z}$.






              share|cite|improve this answer









              $endgroup$
















                6












                6








                6





                $begingroup$

                When $V_1$ and $V_2$ are representations of $G_1$ and $G_2$ respectively, I'll use $V_1 boxtimes V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 otimes_{mathbb{C}} V_2$, and $V_1 boxplus V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 oplus V_2$.



                If $V$ is an irreducible representation of $G_1 times G_2$, then $V$ is isomorphic to $V_1 boxtimes V_2$ for some irreducible representations $V_1$ and $V_2$ of $G_1$ and $G_2$ respectively. This means that if we know the representations of $G_1$ and $G_2$, then using the $boxtimes$ construction we can get to all the (irreducible) representations of $G_1 times G_2$. Conversely, the $boxtimes$ product of two irreducible representations always produces an irreducible representation of $G_1 times G_2$.



                On the other hand, $V_1 boxplus V_2$ is always reducible as a $G_1 times G_2$ representation, since both vector subspaces $V_1$ and $V_2$ are stable under the $G_1 times G_2$ action. On the $V_1$ subspace, really only the $G_1$ part of the group acts, and the $G_2$ part acts trivially, and similarly for the $V_2$ subspace. We cannot produce all irreducible representations of $G_1 times G_2$ using this construction, which can already be seen in the example $G_1 = G_2 = mathbb{Z} / 2 mathbb{Z}$.






                share|cite|improve this answer









                $endgroup$



                When $V_1$ and $V_2$ are representations of $G_1$ and $G_2$ respectively, I'll use $V_1 boxtimes V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 otimes_{mathbb{C}} V_2$, and $V_1 boxplus V_2$ to mean the representation of $G_1 times G_2$ with underlying vector space $V_1 oplus V_2$.



                If $V$ is an irreducible representation of $G_1 times G_2$, then $V$ is isomorphic to $V_1 boxtimes V_2$ for some irreducible representations $V_1$ and $V_2$ of $G_1$ and $G_2$ respectively. This means that if we know the representations of $G_1$ and $G_2$, then using the $boxtimes$ construction we can get to all the (irreducible) representations of $G_1 times G_2$. Conversely, the $boxtimes$ product of two irreducible representations always produces an irreducible representation of $G_1 times G_2$.



                On the other hand, $V_1 boxplus V_2$ is always reducible as a $G_1 times G_2$ representation, since both vector subspaces $V_1$ and $V_2$ are stable under the $G_1 times G_2$ action. On the $V_1$ subspace, really only the $G_1$ part of the group acts, and the $G_2$ part acts trivially, and similarly for the $V_2$ subspace. We cannot produce all irreducible representations of $G_1 times G_2$ using this construction, which can already be seen in the example $G_1 = G_2 = mathbb{Z} / 2 mathbb{Z}$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 4 hours ago









                JoppyJoppy

                5,818421




                5,818421






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3140677%2fdirect-sum-of-representation-of-product-groups%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    “%fieldName is a required field.”, in Magento2 REST API Call for GET Method Type The Next...

                    How to change City field to a dropdown in Checkout step Magento 2Magento 2 : How to change UI field(s)...

                    變成蝙蝠會怎樣? 參考資料 外部連結 导航菜单Thomas Nagel, "What is it like to be a...