1. ## group homomorphism

Let G be a group. Is it true that there is only one surjective group homomorphism from G to {-1,1}? If this is true how can I proof it?

I need this to proof that f:Sym(n) -> {-1,1} is sgn if f is multiplicative and surjective. Obviously f and sgn are surjective group homomorphisms...

2. Originally Posted by Icarus0
Let G be a group. Is it true that there is only one surjective group homomorphism from G to {-1,1}? If this is true how can I proof it?

I need this to proof that f:Sym(n) -> {-1,1} is sgn if f is multiplicative and surjective. Obviously f and sgn are surjective group homomorphisms...

what do you mean by Sym(n)
you want to prove that f is sgn what do you mean by sgn
write what you want without using shortcuts so all can understand your question

3. Originally Posted by Icarus0
Let G be a group. Is it true that there is only one surjective group homomorphism from G to {-1,1}? If this is true how can I proof it?

I need this to proof that f:Sym(n) -> {-1,1} is sgn if f is multiplicative and surjective. Obviously f and sgn are surjective group homomorphisms...
well, since $\displaystyle f$ is surjective, we have $\displaystyle [S_n: \ker f]= 2$ but we know (i hope you know!) that $\displaystyle A_n$ is the unique subgroup of $\displaystyle S_n$ with index 2. thus $\displaystyle \ker f = A_n$ and you're done.

4. Originally Posted by Icarus0
Let G be a group. Is it true that there is only one surjective group homomorphism from G to {-1,1}? If this is true how can I proof it?

No, it isn't. If there exists such an onto homomorphism then the group has to have even order...and not all (finite) groups have even order, of course.

Tonio

I need this to proof that f:Sym(n) -> {-1,1} is sgn if f is multiplicative and surjective. Obviously f and sgn are surjective group homomorphisms...
.

5. Originally Posted by Amer
what do you mean by Sym(n)
you want to prove that f is sgn what do you mean by sgn
write what you want without using shortcuts so all can understand your question
Sym(n) is the group that consists of all permutations of the first n natural numbers. sgn is the sign of the permutation.

well, since is surjective, we have but we know (i hope you know!) that is the unique subgroup of with index 2. thus and you're done.
I don't understand anything... S_n, A_n???

No, it isn't. If there exists such an onto homomorphism then the group has to have even order...and not all (finite) groups have even order, of course.

Tonio
Has sym(n) even order?

6. Originally Posted by Icarus0
Sym(n) is the group that consists of all permutations of the first n natural numbers. sgn is the sign of the permutation.

I don't understand anything... S_n, A_n???

Has sym(n) even order?

Yes it does, for any $\displaystyle n\geq 2$...and it's $\displaystyle Sym_n=:S_n\,,\,\,A_n=$ all the even permutations in $\displaystyle S_n$. If you don't know this then it will probably be a good idea you first read a little about this before you attempt to solve your question.

Tonio

7. Originally Posted by Icarus0
Let G be a group. Is it true that there is only one surjective group homomorphism from G to {-1,1}? If this is true how can I proof it?

I need this to proof that f:Sym(n) -> {-1,1} is sgn if f is multiplicative and surjective. Obviously f and sgn are surjective group homomorphisms...

s_n is the group of permutations A_n is the even permutation

$\displaystyle f : S_n \rightarrow \text{ {-1,1} }$

f is multiplicative and surjective want f is sgn

f is multiplicative $\displaystyle f(a.b) = f(a) . f(b)$

$\displaystyle ker(f) = \left\{ \alpha \in S_n : f(\alpha) = identity\; of\; the\; range\; =1\right\}$

8. Oh, I see. A_n is the kernel of sgn. We called this Alt(n).
But still I don't understand the following
well, since is surjective, we have but we know (i hope you know!) that is the unique subgroup of with index 2. thus and you're done.
What is the index of a group and what does [S_n:ker f] mean?

9. Originally Posted by Icarus0
Oh, I see. A_n is the kernel of sgn. We called this Alt(n).
But still I don't understand the followingWhat is the index of a group and what does [S_n:ker f] mean?
I assume, and let NCA validated this, but since $\displaystyle f:S_n\mapsto\mathbb{Z}_2$ is surjective we have that $\displaystyle S_n/\text{ker }f\cong\mathbb{Z}_2$ and in particular that $\displaystyle \left|S_n/\text{ker }f\right|=\left[S_n:\text{ker }f\right]=2$ where $\displaystyle \left[S_n:\text{ker }f\right]$ is the number of cosets formed by $\displaystyle \text{ker }f$ (the index of $\displaystyle \text{ker }f$ in $\displaystyle {S}_n$) therefore since $\displaystyle A_n$ is the only subgroup of order $\displaystyle \frac{n!}{2}$ it follows that $\displaystyle \text{ker }f=A_n$ for every surjection. But, this forces $\displaystyle f\left(S_n-A_n\right)=\{1\}$ which shows that it is the only surjection.