Commuting permutations are multiples of each other











up vote
2
down vote

favorite
1












Assumptions: Let $alpha$ be a permutation represented as disjoint cycles $alpha=c_1circ dots circ c_r$ with respective length $lambda_1 ,...,lambda_r$ such that $lambda_ineq lambda_j$ if $ineq j$.



Statement: If now $betaalpha=alphabeta$ then $beta=c_1^{z_1}circ...circ c_r^{z_r}$ for integers $z_1,dots,z_r$.



My attempt: The commututing relation $betaalpha=alphabeta$ says that the permutations are conjugate and hence share the same signature/cycle type. My hope was, that one can then compare cycles of same lenght but I go stuck there.



Help appreciated.










share|cite|improve this question






















  • Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
    – Lubin
    Nov 26 at 20:58










  • Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
    – Hectorx
    Nov 26 at 21:32












  • I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
    – Lubin
    Nov 26 at 22:37










  • I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
    – Hectorx
    Nov 26 at 22:48










  • You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
    – Lubin
    Nov 27 at 0:42















up vote
2
down vote

favorite
1












Assumptions: Let $alpha$ be a permutation represented as disjoint cycles $alpha=c_1circ dots circ c_r$ with respective length $lambda_1 ,...,lambda_r$ such that $lambda_ineq lambda_j$ if $ineq j$.



Statement: If now $betaalpha=alphabeta$ then $beta=c_1^{z_1}circ...circ c_r^{z_r}$ for integers $z_1,dots,z_r$.



My attempt: The commututing relation $betaalpha=alphabeta$ says that the permutations are conjugate and hence share the same signature/cycle type. My hope was, that one can then compare cycles of same lenght but I go stuck there.



Help appreciated.










share|cite|improve this question






















  • Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
    – Lubin
    Nov 26 at 20:58










  • Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
    – Hectorx
    Nov 26 at 21:32












  • I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
    – Lubin
    Nov 26 at 22:37










  • I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
    – Hectorx
    Nov 26 at 22:48










  • You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
    – Lubin
    Nov 27 at 0:42













up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





Assumptions: Let $alpha$ be a permutation represented as disjoint cycles $alpha=c_1circ dots circ c_r$ with respective length $lambda_1 ,...,lambda_r$ such that $lambda_ineq lambda_j$ if $ineq j$.



Statement: If now $betaalpha=alphabeta$ then $beta=c_1^{z_1}circ...circ c_r^{z_r}$ for integers $z_1,dots,z_r$.



My attempt: The commututing relation $betaalpha=alphabeta$ says that the permutations are conjugate and hence share the same signature/cycle type. My hope was, that one can then compare cycles of same lenght but I go stuck there.



Help appreciated.










share|cite|improve this question













Assumptions: Let $alpha$ be a permutation represented as disjoint cycles $alpha=c_1circ dots circ c_r$ with respective length $lambda_1 ,...,lambda_r$ such that $lambda_ineq lambda_j$ if $ineq j$.



Statement: If now $betaalpha=alphabeta$ then $beta=c_1^{z_1}circ...circ c_r^{z_r}$ for integers $z_1,dots,z_r$.



My attempt: The commututing relation $betaalpha=alphabeta$ says that the permutations are conjugate and hence share the same signature/cycle type. My hope was, that one can then compare cycles of same lenght but I go stuck there.



Help appreciated.







group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 26 at 20:24









Hectorx

161




161












  • Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
    – Lubin
    Nov 26 at 20:58










  • Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
    – Hectorx
    Nov 26 at 21:32












  • I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
    – Lubin
    Nov 26 at 22:37










  • I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
    – Hectorx
    Nov 26 at 22:48










  • You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
    – Lubin
    Nov 27 at 0:42


















  • Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
    – Lubin
    Nov 26 at 20:58










  • Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
    – Hectorx
    Nov 26 at 21:32












  • I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
    – Lubin
    Nov 26 at 22:37










  • I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
    – Hectorx
    Nov 26 at 22:48










  • You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
    – Lubin
    Nov 27 at 0:42
















Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
– Lubin
Nov 26 at 20:58




Does the commuting relation really say that the permutations are conjugate? Can you say what you’re using there?
– Lubin
Nov 26 at 20:58












Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
– Hectorx
Nov 26 at 21:32






Oh I see, $alphabetaalpha^{-1}=beta$ only says that $beta$ is conjugate to itself via $alpha$. This seems to be of no help. However, I know that if $alpha=(a_{11}...a_{1l_1})...(a_{s1}...a_{1l_s})$ then $(beta a_{11}...beta a_{1l_1})...(beta a_{s1}...beta a_{1l_s})=betaalphabeta^{-1}$. Can I continue from here?
– Hectorx
Nov 26 at 21:32














I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
– Lubin
Nov 26 at 22:37




I don’t think it’s at all true that commuting permutations are powers of each other. I hope you don’t need this for other aims.
– Lubin
Nov 26 at 22:37












I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
– Hectorx
Nov 26 at 22:48




I thought the assumption $lambda_ineqlamba_j$ would force them to be multiples as I can't think of a counter example. However I appreciate your opinion.
– Hectorx
Nov 26 at 22:48












You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
– Lubin
Nov 27 at 0:42




You’re not looking for simple-enough examples: consider $(1,2)$ and $(3,4)$.
– Lubin
Nov 27 at 0:42










1 Answer
1






active

oldest

votes

















up vote
0
down vote













This is true. Because if $O$ is an orbit of $alpha$, then so is $beta(O)$. By the condition on cycle lengths, $beta(O)=O$. So $O$ is left invariant by $beta$.



On $O$, $alpha$ acts as an $n$-cycle, where $|O|=n$. The only permutations commuting with this cycle are its powers. So that is how $beta$ must act.



Since $O$ was an arbitrary orbit, this proves your claim.






share|cite|improve this answer





















    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',
    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%2f3014874%2fcommuting-permutations-are-multiples-of-each-other%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








    up vote
    0
    down vote













    This is true. Because if $O$ is an orbit of $alpha$, then so is $beta(O)$. By the condition on cycle lengths, $beta(O)=O$. So $O$ is left invariant by $beta$.



    On $O$, $alpha$ acts as an $n$-cycle, where $|O|=n$. The only permutations commuting with this cycle are its powers. So that is how $beta$ must act.



    Since $O$ was an arbitrary orbit, this proves your claim.






    share|cite|improve this answer

























      up vote
      0
      down vote













      This is true. Because if $O$ is an orbit of $alpha$, then so is $beta(O)$. By the condition on cycle lengths, $beta(O)=O$. So $O$ is left invariant by $beta$.



      On $O$, $alpha$ acts as an $n$-cycle, where $|O|=n$. The only permutations commuting with this cycle are its powers. So that is how $beta$ must act.



      Since $O$ was an arbitrary orbit, this proves your claim.






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        This is true. Because if $O$ is an orbit of $alpha$, then so is $beta(O)$. By the condition on cycle lengths, $beta(O)=O$. So $O$ is left invariant by $beta$.



        On $O$, $alpha$ acts as an $n$-cycle, where $|O|=n$. The only permutations commuting with this cycle are its powers. So that is how $beta$ must act.



        Since $O$ was an arbitrary orbit, this proves your claim.






        share|cite|improve this answer












        This is true. Because if $O$ is an orbit of $alpha$, then so is $beta(O)$. By the condition on cycle lengths, $beta(O)=O$. So $O$ is left invariant by $beta$.



        On $O$, $alpha$ acts as an $n$-cycle, where $|O|=n$. The only permutations commuting with this cycle are its powers. So that is how $beta$ must act.



        Since $O$ was an arbitrary orbit, this proves your claim.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 28 at 8:28









        Hempelicious

        7510




        7510






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3014874%2fcommuting-permutations-are-multiples-of-each-other%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

            Sphinx de Gizeh

            Dijon

            Langue