Intereting Posts

Why is polynomial convolution equivalent to multiplication in $F/(x^n-1)$?
How to plot a phase portrait for this system of differential equations?
Pointwise limit of continuous functions is 1) measurable and 2) pointwise discontinuous
Continuous versus differentiable
What does “calculus” mean in the most general sense?
Prove that $\frac{\binom{p}{k}}{p}$ is integral for $k\in \{1,..,p-1\}$ with $p$ a prime number with a particular method
Showing that $\operatorname {Br}(\Bbb F_q)=0$
Finding $\lim_{x\to \pm\infty}f(x)$ where $a,b>0$
Log-concave functions whose sums are still log-concave: possible to find a subset?
Is the complex Banach space $C()$ dual to any Banach Space?
Geometric interpretation of mixed partial derivatives?
How to fit $\sum{n^{2}x^{n}}$ into a generating function?
Polynomial bounded real part of an entire function
Calculating a spread of $m$ vectors in an $n$-dimensional space
A question about a proof of the “Least Upper Bound Property” in the Tao's Real Analysis notes

I have what seems to me a very simple proof that $A_{n}$ is the only subgroup of $S_{n}$ of index 2. Since I’ve seen other people prove it with what feel like really complicated methods (Like here.), I’m wondering if I’ve overlooked something.

**Proof**: Let $H$ be any subgroup of index 2 in $S_{n}$. Then $H\cap A_{n}$ is a normal subgroup of $A_{n}$ and since $A_{n}$ is simple, $H$ is either the trivial or the improper subgroup of $A_{n}$. If it’s the trivial subgroup it doesn’t have index 2 in $S_{n}$, and otherwise the theorem is proved.

- $G$ is Topological $\implies$ $\pi_1(G,e)$ is Abelian
- Prove that $H = \{x \in G \mid x=x^{-1}\}$ is a subgroup.
- how many element of order 2 and 5 are there
- Commutator subgroup of rank-2 free group is not finitely generated.
- Simple group of order $660$ is isomorphic to a subgroup of $A_{12}$
- Do groups, rings and fields have practical applications in CS? If so, what are some?

- Prove that any two cyclic groups of the same order are isomorphic?
- How are $G$-modules and linear group actions different
- G acts on X transitively, then there exists some element that does not have any fixed points
- On the commutator subgroup of a group
- Given 3 distinct primes {$p,q,r$}, then $|G|=pqr \implies G$ not simple
- Why Composition and Dihedral Group have reverse order of operation?
- Every element of a group has order $2$. Why, intuitively, is it abelian?
- Does the order, lattice of subgroups, and lattice of factor groups, uniquely determine a group up to isomorphism?
- How often are Galois groups equal to $S_n$?
- Is $\mathrm{GL}_n(\mathbb C)$ divisible?

Your proof looks **simple** because you assumed not so **simple** result that $A_n $ is **simple** for $n\geq 5$…

Actually something more is true…

Suppose that $H\leq S_n$ of index $m $ with $m< n$ then we have homomorphism $\eta: S_n \rightarrow S_m$.

As $Ker(\eta)$ is a normal subgroup of $S_n$ we should have $Ker(\eta)=1$ or $Ker(\eta)=A_n$.

Suppose $Ker(\eta)=(1)$ then we should have $S_n$ embedded in $S_m$, which is not possible as $m<n$.

So,$Ker(\eta)=A_n$ and we know that $Ker(\eta)\subset H$ i.e., $A_n\leq H< S_n$.

As $A_n$ is maximal subgroup of $S_n$ we have $H=A_n$.

So.. Do you see what i am concluding??

The following idea is super-simple. However, it only works if $n$ is odd (so it works precisely half the time!). But as it is so simple I thought it would be nice to record it here.

Suppose $n$ is odd. Note that $S_n$ can be generated by the elements $\alpha:=(1, 2)$ and $\beta:=(1, 2, \ldots, n)$. Now, every subgroup $H$ of index 2 is the kernel of some homomorphism $S_n\rightarrow \mathbb{Z}_2$. The key point is the following:

Homomorphisms are defined by the images of the generators. As $\beta:=(1, 2, \ldots, n)$ has odd order, it is killed by every homomorphism $\phi:S_n\rightarrow \mathbb{Z}_2$, so $\beta\in\ker\phi$ for all such $\phi$.

Therefore, if $\phi$ has non-trivial image it must be *precisely* the map defined by $\alpha\mapsto 1$, $\beta\mapsto0$. Hence, there is a unique homomorphism $\phi:S_n\rightarrow \mathbb{Z}_2$, and hence $S_n$ contains a unique subgroup of index 2 (for $n$ odd).

As suggested, I am writing the complete answer.

First we use the not so simple result:

**Theorem:** Let $n = 3$ or $n\geq 5$. Then $A_n$ is simple.

**Statement:** Now for $n=3$ or $n \geq 5$ let’s show that $\{id\}, A_n$ and $S_n$ are the only normal subgroups of $S_n$.In particular, $A_n$ is the **only** sugbroup of $S_n$ of index $2$.

Proof: It is clear that $\{id\}, A_n$ and $S_n$ are normal subgroups of $S_n$. Now let $H$ be a normal subgroup of $S_n$ and consider the group homomorphism $$\psi: H \to \{-1,+1\}$$

defined by $$\psi(\alpha)= \begin{cases}1&, \text {if}\ \ \alpha\ \ \text{is even}\\-1&, \text {if}\ \ \alpha\ \ \text{is odd}\end{cases} $$

Naturally, $\ker \psi = H \cap A_n$ and $(H: \ker \psi) = |\psi(H)| = 1$ or $2$. Thus, $(H: H \cap A_n) = 1$ or $2$.

**$1^{st}$ case:**

$(H: H\cap A_n) = 1$, that is, $H \subset A_n$. As $H \lhd S_n$, then a fortiori $H \lhd A_n$, then it follows from the theorem that $H=\{id\}$ or $H=A_n$.

**$2^{nd}$ case:**

$(H:H\cap A_n) = 2$. As $H \lhd S_n$, then $H \cap A_n \lhd A_n$, then from the theorem, $H \cap A_n = \{id\}$ or $H \cap A_n = A_n$. Therefore $|H| =2$ or $|H| = S_n$.

Let’s suppose $|H|=2$. As $H \cap A_n = \{id\}$, then $H$ contains an odd permutation $\tau$ of order $2$. Such permutation $\tau$ is necessarily a product of disjoint transpositions, say $\tau = (12)\rho_{2}\ldots\rho_{s}$. Then

$$\tau ‘ = (13)\tau(13)^{-1} \in H , \text{because}\ \ \tau \in H \lhd S_n$$

As $$\tau ‘ (2) = [(13)\tau(13)](2) = [(13)\tau](2) = [(13)](1) =3$$

and $\tau(2) =1$, we obtain $\tau \neq \tau ‘$ and it follows that $|H| \geq 3$. So assuming that $|H| = 2$ leads us to a contradiction and then $H = S_n$.

- Prove that $\beta \rightarrow \neg \neg \beta$ is a theorem using standard axioms 1,2,3 and MP
- If $A,B,$ and $C$ are sets, then $A\times(B-C)$ = $(A \times B)$ $-$ $(A \times C)$.
- Lipschitz and uniform continuity
- Use induction to prove that that $8^{n} | (4n)!$ for all positive integers $n$
- Closed form of arctanlog series
- Is there anything special about a transforming a random variable according to its density/mass function?
- Number of different partitions of N
- Newton's method in higher dimensions explained
- Pedagogy: How to cure students of the “law of universal linearity”?
- Let $z \in C^*$ such that $|z^3+\frac{1}{z^3}|\leq 2$ Prove that $|z+\frac{1}{z}|\leq 2$
- Proving the equivalency of Principle of Mathematical Induction and Well Ordering Principle
- Question on Schwartz function
- Bounded Linear Mappings of Banach Spaces
- Analytic continuation of Dirichlet function
- When and where the concept of valid logic formula was defined?