Need help understanding commutator subgroup Please
@perl
calculate the commutator subgroup of S_3
\(S_3= \{(12),(13),(23),(123),(132)\}\) and commutator in \(S_3\) must be an even permutation. So that, let H is commutator subgroup of \(S_3\) , then H=\(\{(12),(13), (23)\}\) but I have to show that H is the required subgroup
commutator subgroup means the elements are commutative?
you are missing one element in S3, (1) the identity
nope, the definition of commutator subgroup is \(\{aba^{-1}b^{-1}|a, b\in G\}\)
a, b are commutators
you should have six elements in S3
Yes, I listed above
check again, you left out (1)
oh yes, identity. (123)
the identity is just (1)
the same
not a big deal , though
(123) is not the same as (1) , right?
literally, no. However, when talking about identity, I indicate to \(\left(\begin{matrix}1&2&3\\1&2&3\end{matrix}\right)\) so that, mathematically, it is 1. hehehe
right
this is kind of advanced for me, do you have notes on this, i can read
on the commutator stuff
so you found [(1,2),(2,3)] ?
it might help to identify the inverses of these elements. let me see if i can find a table for S3
so (1,2)^-1 = (1,2) (2,3)^-1 = (2,3) (1,3)^-1 = (1,3) (1,2,3)^-1 = (1,3,2) (1,3,2)^-1 = (1,2,3)
how?? how (1,2) ^-1 = 1,2?
because (1,2)(1,2) = ( )
if you think of S3 as the motions of an equilateral triangle, ( 1 , 2 ) is a reflection about an axis. so if you do the reflection again, you are back to where you start
oh, yes. My goodness.
|dw:1414419717491:dw|
Join our real-time social learning platform and learn together with your friends!