Show that $phi(g)$ is an even permutation












1












$begingroup$



Let $G$ be a group of order $n$ then $G$ is isomorphic to a subgroup of $S_n$,Denote it by $phi$, $phi:Gto S_n$ be an monomorphism of Cayleys Theorem



Let $gin G$ has order $k$.Show that $phi(g)$ is a product of disjoint cycles of length $k$.Moreovver Show that $phi(g)$ is an even permutation unless $g$ has even order and $langle grangle $ has odd index in $G$.




My Try:



Since $g$ has order $k$ so $phi(g)$ also has order $k$ and hence is either a $k-$ cycle or a product of $k$ cycles.



Given that $g$ has even order and so $phi(g)$ has even order and hence it is a product of odd number of transpositions.



But I need to prove that it is even permutation?



Where am I missing the point?



Please help.










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:09












  • $begingroup$
    @DonAntonio;question edited
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:14










  • $begingroup$
    Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:20










  • $begingroup$
    @Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:22






  • 2




    $begingroup$
    It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
    $endgroup$
    – Tobias Kildetoft
    Dec 6 '18 at 15:52
















1












$begingroup$



Let $G$ be a group of order $n$ then $G$ is isomorphic to a subgroup of $S_n$,Denote it by $phi$, $phi:Gto S_n$ be an monomorphism of Cayleys Theorem



Let $gin G$ has order $k$.Show that $phi(g)$ is a product of disjoint cycles of length $k$.Moreovver Show that $phi(g)$ is an even permutation unless $g$ has even order and $langle grangle $ has odd index in $G$.




My Try:



Since $g$ has order $k$ so $phi(g)$ also has order $k$ and hence is either a $k-$ cycle or a product of $k$ cycles.



Given that $g$ has even order and so $phi(g)$ has even order and hence it is a product of odd number of transpositions.



But I need to prove that it is even permutation?



Where am I missing the point?



Please help.










share|cite|improve this question











$endgroup$








  • 5




    $begingroup$
    Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:09












  • $begingroup$
    @DonAntonio;question edited
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:14










  • $begingroup$
    Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:20










  • $begingroup$
    @Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:22






  • 2




    $begingroup$
    It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
    $endgroup$
    – Tobias Kildetoft
    Dec 6 '18 at 15:52














1












1








1





$begingroup$



Let $G$ be a group of order $n$ then $G$ is isomorphic to a subgroup of $S_n$,Denote it by $phi$, $phi:Gto S_n$ be an monomorphism of Cayleys Theorem



Let $gin G$ has order $k$.Show that $phi(g)$ is a product of disjoint cycles of length $k$.Moreovver Show that $phi(g)$ is an even permutation unless $g$ has even order and $langle grangle $ has odd index in $G$.




My Try:



Since $g$ has order $k$ so $phi(g)$ also has order $k$ and hence is either a $k-$ cycle or a product of $k$ cycles.



Given that $g$ has even order and so $phi(g)$ has even order and hence it is a product of odd number of transpositions.



But I need to prove that it is even permutation?



Where am I missing the point?



Please help.










share|cite|improve this question











$endgroup$





Let $G$ be a group of order $n$ then $G$ is isomorphic to a subgroup of $S_n$,Denote it by $phi$, $phi:Gto S_n$ be an monomorphism of Cayleys Theorem



Let $gin G$ has order $k$.Show that $phi(g)$ is a product of disjoint cycles of length $k$.Moreovver Show that $phi(g)$ is an even permutation unless $g$ has even order and $langle grangle $ has odd index in $G$.




My Try:



Since $g$ has order $k$ so $phi(g)$ also has order $k$ and hence is either a $k-$ cycle or a product of $k$ cycles.



Given that $g$ has even order and so $phi(g)$ has even order and hence it is a product of odd number of transpositions.



But I need to prove that it is even permutation?



Where am I missing the point?



Please help.







abstract-algebra group-theory finite-groups symmetric-groups






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 6 '18 at 15:29







Join_PhD

















asked Dec 6 '18 at 15:05









Join_PhDJoin_PhD

3668




3668








  • 5




    $begingroup$
    Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:09












  • $begingroup$
    @DonAntonio;question edited
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:14










  • $begingroup$
    Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:20










  • $begingroup$
    @Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:22






  • 2




    $begingroup$
    It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
    $endgroup$
    – Tobias Kildetoft
    Dec 6 '18 at 15:52














  • 5




    $begingroup$
    Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:09












  • $begingroup$
    @DonAntonio;question edited
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:14










  • $begingroup$
    Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
    $endgroup$
    – DonAntonio
    Dec 6 '18 at 15:20










  • $begingroup$
    @Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
    $endgroup$
    – Join_PhD
    Dec 6 '18 at 15:22






  • 2




    $begingroup$
    It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
    $endgroup$
    – Tobias Kildetoft
    Dec 6 '18 at 15:52








5




5




$begingroup$
Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
$endgroup$
– DonAntonio
Dec 6 '18 at 15:09






$begingroup$
Either you have a different meaning for "isomorphism" than the usual one (perhaps a $;1-1;$ homomorphism=a monomorphism...?), or else there is a mistake in the question, since a group of order $;n;$ cannot be isomorphic with a group of order $;n!;$ , for $;nge3;$ ...
$endgroup$
– DonAntonio
Dec 6 '18 at 15:09














$begingroup$
@DonAntonio;question edited
$endgroup$
– Join_PhD
Dec 6 '18 at 15:14




$begingroup$
@DonAntonio;question edited
$endgroup$
– Join_PhD
Dec 6 '18 at 15:14












$begingroup$
Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
$endgroup$
– DonAntonio
Dec 6 '18 at 15:20




$begingroup$
Still, where you mention Cayley's theorem it should be $;phi:Gto Kle S_n;$ or something similar, and not what you wrote: $;G;$ cannot be isomorphic with $;S_n;$ .
$endgroup$
– DonAntonio
Dec 6 '18 at 15:20












$begingroup$
@Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
$endgroup$
– Join_PhD
Dec 6 '18 at 15:22




$begingroup$
@Jean-ClaudeArbaut;why is that not true ,isomorphic image of an element has the same order as the element
$endgroup$
– Join_PhD
Dec 6 '18 at 15:22




2




2




$begingroup$
It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
$endgroup$
– Tobias Kildetoft
Dec 6 '18 at 15:52




$begingroup$
It seems that the question is meant to be about the specific homomorphism coming from the usual proof of Cayley's Theorem. That is the one arising from the group acting on itself by left multiplication
$endgroup$
– Tobias Kildetoft
Dec 6 '18 at 15:52










1 Answer
1






active

oldest

votes


















0












$begingroup$

As pointed out in the comments, the homomorphism $phi:Gto Sym(G)$ is the one arising from the action of $G$ on itself by left multiplication. The cycle decomposition of $phi(g)$ is obtained from the orbits of the action of $g$ on $G$. Let $mathcal{X}$ be a set of representatives of the orbits of $g$. Then, as $g$ has order $k$,
$$phi(g)=prod_{xinmathcal{X}}(x,gx,g^2x,ldots,g^{k-1}x)$$
which is a product of disjoint cycles.



Now, cycles of odd length are even. Therefore, if $k$ is odd, $phi(g)in A_n$. If $k$ is even, then $phi(g)in A_n$ if, and only if $|X|$ is even (why?). The result now follows from the following lemma:




Lemma: $|X|=[G:langle grangle]$.




Proof: For $x,yin G$, $g^rx=y$ if, and only if $yx^{-1}inlangle grangle$. Therefore, the map $xmapsto langle grangle x$ defines a bijection between $mathcal{X}$ and the set of right cosets $langle granglebackslash G$.








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%2f3028603%2fshow-that-phig-is-an-even-permutation%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









    0












    $begingroup$

    As pointed out in the comments, the homomorphism $phi:Gto Sym(G)$ is the one arising from the action of $G$ on itself by left multiplication. The cycle decomposition of $phi(g)$ is obtained from the orbits of the action of $g$ on $G$. Let $mathcal{X}$ be a set of representatives of the orbits of $g$. Then, as $g$ has order $k$,
    $$phi(g)=prod_{xinmathcal{X}}(x,gx,g^2x,ldots,g^{k-1}x)$$
    which is a product of disjoint cycles.



    Now, cycles of odd length are even. Therefore, if $k$ is odd, $phi(g)in A_n$. If $k$ is even, then $phi(g)in A_n$ if, and only if $|X|$ is even (why?). The result now follows from the following lemma:




    Lemma: $|X|=[G:langle grangle]$.




    Proof: For $x,yin G$, $g^rx=y$ if, and only if $yx^{-1}inlangle grangle$. Therefore, the map $xmapsto langle grangle x$ defines a bijection between $mathcal{X}$ and the set of right cosets $langle granglebackslash G$.








    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      As pointed out in the comments, the homomorphism $phi:Gto Sym(G)$ is the one arising from the action of $G$ on itself by left multiplication. The cycle decomposition of $phi(g)$ is obtained from the orbits of the action of $g$ on $G$. Let $mathcal{X}$ be a set of representatives of the orbits of $g$. Then, as $g$ has order $k$,
      $$phi(g)=prod_{xinmathcal{X}}(x,gx,g^2x,ldots,g^{k-1}x)$$
      which is a product of disjoint cycles.



      Now, cycles of odd length are even. Therefore, if $k$ is odd, $phi(g)in A_n$. If $k$ is even, then $phi(g)in A_n$ if, and only if $|X|$ is even (why?). The result now follows from the following lemma:




      Lemma: $|X|=[G:langle grangle]$.




      Proof: For $x,yin G$, $g^rx=y$ if, and only if $yx^{-1}inlangle grangle$. Therefore, the map $xmapsto langle grangle x$ defines a bijection between $mathcal{X}$ and the set of right cosets $langle granglebackslash G$.








      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        As pointed out in the comments, the homomorphism $phi:Gto Sym(G)$ is the one arising from the action of $G$ on itself by left multiplication. The cycle decomposition of $phi(g)$ is obtained from the orbits of the action of $g$ on $G$. Let $mathcal{X}$ be a set of representatives of the orbits of $g$. Then, as $g$ has order $k$,
        $$phi(g)=prod_{xinmathcal{X}}(x,gx,g^2x,ldots,g^{k-1}x)$$
        which is a product of disjoint cycles.



        Now, cycles of odd length are even. Therefore, if $k$ is odd, $phi(g)in A_n$. If $k$ is even, then $phi(g)in A_n$ if, and only if $|X|$ is even (why?). The result now follows from the following lemma:




        Lemma: $|X|=[G:langle grangle]$.




        Proof: For $x,yin G$, $g^rx=y$ if, and only if $yx^{-1}inlangle grangle$. Therefore, the map $xmapsto langle grangle x$ defines a bijection between $mathcal{X}$ and the set of right cosets $langle granglebackslash G$.








        share|cite|improve this answer









        $endgroup$



        As pointed out in the comments, the homomorphism $phi:Gto Sym(G)$ is the one arising from the action of $G$ on itself by left multiplication. The cycle decomposition of $phi(g)$ is obtained from the orbits of the action of $g$ on $G$. Let $mathcal{X}$ be a set of representatives of the orbits of $g$. Then, as $g$ has order $k$,
        $$phi(g)=prod_{xinmathcal{X}}(x,gx,g^2x,ldots,g^{k-1}x)$$
        which is a product of disjoint cycles.



        Now, cycles of odd length are even. Therefore, if $k$ is odd, $phi(g)in A_n$. If $k$ is even, then $phi(g)in A_n$ if, and only if $|X|$ is even (why?). The result now follows from the following lemma:




        Lemma: $|X|=[G:langle grangle]$.




        Proof: For $x,yin G$, $g^rx=y$ if, and only if $yx^{-1}inlangle grangle$. Therefore, the map $xmapsto langle grangle x$ defines a bijection between $mathcal{X}$ and the set of right cosets $langle granglebackslash G$.









        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 6 '18 at 18:31









        David HillDavid Hill

        8,8271619




        8,8271619






























            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%2f3028603%2fshow-that-phig-is-an-even-permutation%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

            Ellipse (mathématiques)

            Quarter-circle Tiles

            Mont Emei