Commuting permutations are multiples of each other
up vote
2
down vote
favorite
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
|
show 2 more comments
up vote
2
down vote
favorite
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
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
|
show 2 more comments
up vote
2
down vote
favorite
up vote
2
down vote
favorite
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
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
group-theory
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
|
show 2 more comments
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
|
show 2 more comments
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.
add a comment |
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.
add a comment |
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.
add a comment |
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.
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.
answered Nov 28 at 8:28
Hempelicious
7510
7510
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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