Let ,"H=\\frac{S_3}{<(1,2)>}=" "{" "<(1,2)>,(1,3)<(1,2)>,(2,3)<(1,2)>" "}"
Where,<(1,2)>= {1,(1,2)} ,
(1,3)"<" (1,2)">=" "{" (1,3),(1,2,3)"}" "=(1,2,3)<(1,2)>"
(2,3)"<" (1,2)">" "=" "{" (2,3),(1,3,2)"}" "=(1,3,2)<(1,2)>" .
Since ,"(1,3)<(1,2)>(2,3)<(1,2)>=(1,3)(2,3)<(1,2)>"
"=(1,3,2)<(1,2)>=(2,3)<(1,2)>"
And "(2,3)<(1,2)>(1,3)<(1,2)>=(2,3)(1,3)<(1,2)>"
"=(1,2,3)<(1,2)>=(1,3)<(1,2)>"
Hence,"H" is closed.
Clearly,<(1,2)> is the identity element of H and each element is self inverse .
Since "S_3" Is associative so,"H" also.
Therefore, H is a group.
Comments
Leave a comment