Thread:

1. The only non-abelian simple group of order 60 is A_5

Hi, assuming that a simple non-abelian group $G$ of order 60 can be embedded in $S_6$, I want to prove that $G$ cannot contain an odd permutation and is therefore a subgroup of $A_6$ (and then from that I can deduce that as it is order 60 it is $A_5$). How would I go about showing this?

2. Re: The only non-abelian simple group of order 60 is A_5

Originally Posted by alsn
Hi, assuming that a simple non-abelian group $G$ of order 60 can be embedded in $S_6$, I want to prove that $G$ cannot contain an odd permutation and is therefore a subgroup of $A_6$ (and then from that I can deduce that as it is order 60 it is $A_5$). How would I go about showing this?
Consider the sign map $\text{sgn}:G\to \mathbb{Z}_2$ where we're thinking of $G\hookrightarrow S_6$. Since $G$ is simple this is either zero or an embedding, and since $60\nmid 2$ I'm pretty sure it's clear that the map is zero. But, this tells us precisely that every element of $G$ is even.

3. Re: The only non-abelian simple group of order 60 is A_5

Originally Posted by Drexel28
Consider the sign map $\text{sgn}:G\to \mathbb{Z}_2$ where we're thinking of $G\hookrightarrow S_6$. Since $G$ is simple this is either zero or an embedding, and since $60\nmid 2$ I'm pretty sure it's clear that the map is zero. But, this tells us precisely that every element of $G$ is even.
ahhh okay. so since all the elements of G map to zero and none map to 1, does this mean that all combinations of elements of G are even? think i get it.

4. Re: The only non-abelian simple group of order 60 is A_5

Are you intending to make a distinction between "elements of G" and "combinations of elements of G"? The nature of a group is that combinations of elements are just elements themselves.

5. Re: The only non-abelian simple group of order 60 is A_5

Originally Posted by alsn
ahhh okay. so since all the elements of G map to zero and none map to 1, does this mean that all combinations of elements of G are even? think i get it.
Like Tinyboss points out, this doesn't make sense per se. What I proved was that every element of $G$'s embedding in $S_6$ has even sign and so the embedding lives inside $A_6$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 23, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9504854083061218, "perplexity_flag": "head"}