Show that $tau (18632)(47) tau^{-1} = (12345)(67)$.
up vote
0
down vote
favorite
Example 4.7. of Aluffi's Algebra says
In $S_8$, $(18632)(47)$ and $(12345)(67)$ must be conjugate since they have the same type. So there there exist $tau$ such that $tau (18632)(47) tau^{-1} = (12345)(67)$ for $tau = (285)(364)$.
If $tau (18632)(47) tau^{-1} = (12345)(67)$ means $tau (18632)(47) = (12345)(67) tau$ so for RHS applying $tau$ to $(text{id})$ then $(12345)(67)$ results in $(128)(3765)$; and for LHS applying $(18632)(47)$ to $(text{id})$ then $tau$ results in $(152)(3847)$ which indeed are not equal! Which part am I doing wrong?
Edit. $tau$ is suggested by the book:
abstract-algebra permutations permutation-cycles
add a comment |
up vote
0
down vote
favorite
Example 4.7. of Aluffi's Algebra says
In $S_8$, $(18632)(47)$ and $(12345)(67)$ must be conjugate since they have the same type. So there there exist $tau$ such that $tau (18632)(47) tau^{-1} = (12345)(67)$ for $tau = (285)(364)$.
If $tau (18632)(47) tau^{-1} = (12345)(67)$ means $tau (18632)(47) = (12345)(67) tau$ so for RHS applying $tau$ to $(text{id})$ then $(12345)(67)$ results in $(128)(3765)$; and for LHS applying $(18632)(47)$ to $(text{id})$ then $tau$ results in $(152)(3847)$ which indeed are not equal! Which part am I doing wrong?
Edit. $tau$ is suggested by the book:
abstract-algebra permutations permutation-cycles
1
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Example 4.7. of Aluffi's Algebra says
In $S_8$, $(18632)(47)$ and $(12345)(67)$ must be conjugate since they have the same type. So there there exist $tau$ such that $tau (18632)(47) tau^{-1} = (12345)(67)$ for $tau = (285)(364)$.
If $tau (18632)(47) tau^{-1} = (12345)(67)$ means $tau (18632)(47) = (12345)(67) tau$ so for RHS applying $tau$ to $(text{id})$ then $(12345)(67)$ results in $(128)(3765)$; and for LHS applying $(18632)(47)$ to $(text{id})$ then $tau$ results in $(152)(3847)$ which indeed are not equal! Which part am I doing wrong?
Edit. $tau$ is suggested by the book:
abstract-algebra permutations permutation-cycles
Example 4.7. of Aluffi's Algebra says
In $S_8$, $(18632)(47)$ and $(12345)(67)$ must be conjugate since they have the same type. So there there exist $tau$ such that $tau (18632)(47) tau^{-1} = (12345)(67)$ for $tau = (285)(364)$.
If $tau (18632)(47) tau^{-1} = (12345)(67)$ means $tau (18632)(47) = (12345)(67) tau$ so for RHS applying $tau$ to $(text{id})$ then $(12345)(67)$ results in $(128)(3765)$; and for LHS applying $(18632)(47)$ to $(text{id})$ then $tau$ results in $(152)(3847)$ which indeed are not equal! Which part am I doing wrong?
Edit. $tau$ is suggested by the book:
abstract-algebra permutations permutation-cycles
abstract-algebra permutations permutation-cycles
edited Nov 18 at 12:09
asked Nov 18 at 11:32
72D
50916
50916
1
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10
add a comment |
1
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10
1
1
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
accepted
Maybe it is a printing mistake for $tau$ , I think $tau$ in the book is actually suppose to be $tau^{-1}$ and that would work. because in general: If $sigma=(i_1^1...i_{t(1)}^1)(i_1^2...i_{t(2)}^2)...(i_1^r...i_{t(r)}^r)$ and $rho=(j_1^1...j_{t(1)}^1)(j_1^2...j_{t(2)}^2)...(j_1^r...j_{t(r)}^r)$, Then define $tau$ by $tau(i_b^a)=j_b^a$, then $tausigmatau^{-1}=rho$.
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
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
accepted
Maybe it is a printing mistake for $tau$ , I think $tau$ in the book is actually suppose to be $tau^{-1}$ and that would work. because in general: If $sigma=(i_1^1...i_{t(1)}^1)(i_1^2...i_{t(2)}^2)...(i_1^r...i_{t(r)}^r)$ and $rho=(j_1^1...j_{t(1)}^1)(j_1^2...j_{t(2)}^2)...(j_1^r...j_{t(r)}^r)$, Then define $tau$ by $tau(i_b^a)=j_b^a$, then $tausigmatau^{-1}=rho$.
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
add a comment |
up vote
0
down vote
accepted
Maybe it is a printing mistake for $tau$ , I think $tau$ in the book is actually suppose to be $tau^{-1}$ and that would work. because in general: If $sigma=(i_1^1...i_{t(1)}^1)(i_1^2...i_{t(2)}^2)...(i_1^r...i_{t(r)}^r)$ and $rho=(j_1^1...j_{t(1)}^1)(j_1^2...j_{t(2)}^2)...(j_1^r...j_{t(r)}^r)$, Then define $tau$ by $tau(i_b^a)=j_b^a$, then $tausigmatau^{-1}=rho$.
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Maybe it is a printing mistake for $tau$ , I think $tau$ in the book is actually suppose to be $tau^{-1}$ and that would work. because in general: If $sigma=(i_1^1...i_{t(1)}^1)(i_1^2...i_{t(2)}^2)...(i_1^r...i_{t(r)}^r)$ and $rho=(j_1^1...j_{t(1)}^1)(j_1^2...j_{t(2)}^2)...(j_1^r...j_{t(r)}^r)$, Then define $tau$ by $tau(i_b^a)=j_b^a$, then $tausigmatau^{-1}=rho$.
Maybe it is a printing mistake for $tau$ , I think $tau$ in the book is actually suppose to be $tau^{-1}$ and that would work. because in general: If $sigma=(i_1^1...i_{t(1)}^1)(i_1^2...i_{t(2)}^2)...(i_1^r...i_{t(r)}^r)$ and $rho=(j_1^1...j_{t(1)}^1)(j_1^2...j_{t(2)}^2)...(j_1^r...j_{t(r)}^r)$, Then define $tau$ by $tau(i_b^a)=j_b^a$, then $tausigmatau^{-1}=rho$.
answered Nov 18 at 12:17
mathnoob
1,133116
1,133116
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
add a comment |
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
I think the book meant actions start from left to right! (?)
– 72D
Nov 18 at 12:26
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
Ah, you are right! sorry, that make sence now! But then still, $tau(18632)(47)=(12345)(67)tau =(1 8 5)(2 6 7 4)$. Also, sorry What did you mean by apply to (id)?
– mathnoob
Nov 18 at 12:38
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
By $(text{id})$ I meant the original set of ordered 1-2-...-8 that no $sigma$ acted yet; i.e. the first line of $tau$ in picture. Also the book defines acting $sigma$ from right to left not like operators or functions. A bit absurd!
– 72D
Nov 18 at 13:55
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%2f3003427%2fshow-that-tau-1863247-tau-1-1234567%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
1
I get $tau =(8 2 5)(6 3 4)$
– mathnoob
Nov 18 at 12:04
@mathnoob, I edited it.
– 72D
Nov 18 at 12:10