show/hide this revision's text 7 added 11 characters in body; edited tags

Let $S_\infty$ the group of permutations of $\mathbb{N}$. It can be shown that there is no homomorphism $S_\infty \to \mathbf{Z}/2$ extending the sign on the finite symmetric groups. Is it possible to write down a homomorphism (an unexplicit one won't be usefulin my application) of $S_\infty$ into another (infinite) group, which restricts to the sign? Perhaps we should also require that the homomorphism somehow also reminds of the sign in the infinite case. Thus perhaps we should formalize something like $(-1)^M$, where $M$ is an infinite set (as you might guess, this is related with my question about Infinite Tensor Products).

EDIT: As was pointed out by Pete, the question is equivalent to: Find a nice, "natural" group which contains $S_\infty / \cup_n A_n$.

show/hide this revision's text 6 added 88 characters in body; added 86 characters in body; added 126 characters in body

Let $S_\infty$ the group of permutations of $\mathbb{N}$. It can be shown that there is no homomorphism $S_\infty \to \mathbf{Z}/2$ extending the sign on the finite symmetric groups. Is it possible to write down a homomorphism (an unexplicit one won't be usefulin my application) of $S_\infty$ into another (infinite) group, which restricts to the sign? Perhaps we should also require that the homomorphism somehow also reminds of the sign in the infinite case. Thus perhaps we should formalize something like $(-1)^M$, where $M$ is an infinite set (as you might guess, this is related with my question about Infinite Tensor Products).

EDIT: As was pointed out by Pete, the question is equivalent to: Find a nice group which contains $S_\infty / \cup_n A_n$.

show/hide this revision's text 5 edited body

Let $S_\infty$ the group of permutations of $\mathbb{N}$. It can be shown that there is no homomorphism $S_\infty \to \mathbf{Z}/2$ extending the sign on the finite symmetric groups. Is it possible to write down a homomorphism (an unexplicit one won't be usefulin my application) of $S_\infty$ into another (infinite) group, which restricts to the sign? Perhaps we should also require that the homomorphism somehow also reminds on of the sign in the infinite case.

show/hide this revision's text 4 deleted 6 characters in body; edited title
show/hide this revision's text 3 edited tags
show/hide this revision's text 2 mathds didn't work for me (KB); I changed it to mathbf.
show/hide this revision's text 1