mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   enzocreti (https://www.mersenneforum.org/forumdisplay.php?f=156)
-   -   isomorphism (https://www.mersenneforum.org/showthread.php?t=24804)

enzocreti 2019-10-02 11:57

isomorphism
 
Let be E the parity function S(n) in -1,+1


where S(n) are the permutations.


S(n)/A(n) is the quotient Group where A(n) denotes Ker E


so the quotient Group is given by the right (left cosets)of odd and even permutations?

Nick 2019-10-02 12:07

Yes, as long as n is at least 2, that quotient group has 2 elements: the set of all even pemutations and the set of all odd permutations.
These are the 2 cosets of A(n) in S(n).

enzocreti 2019-10-02 12:19

isomorphism
 
so it follows that S(n)/A(n) is isomorphic to the Group (-1,+1)?
by the fundamental theorem of isomorphism?

Nick 2019-10-02 14:38

[QUOTE=enzocreti;527161]so it follows that S(n)/A(n) is isomorphic to the Group (-1,+1)?
by the fundamental theorem of isomorphism?[/QUOTE]
Yes, for all n≥2, that's right.

enzocreti 2019-10-03 06:30

isomorphism
 
ok thanks


All times are UTC. The time now is 04:55.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.