Prove that $A_n$ is a normal subgroup of $S_n$
Proof
A subgroup is normal if its left cosets are the same as its right cosets.
That is, we want to show that for s in $S_n$, $A_ns$ = $sA_n$
Note that by Lagrange's theorem, $A_n$ has two cosets, one of which is $A_n$ itself.
Suppose that $sA_n$ = $A_n$: then $s$ is a member of $A_n$ which means that $A_ns$ = $A_n$ as well. Suppose that $sA_n \neq A_n$ then $s$ is not a member of $A_n$, which means that $A_ns$ cannot be $A_n$. Since neither $sA_n$ nor $A_ns$ are equal to $A_n$, they must both be the second coset. so, $A_n$ is normal
So I was reading this proof on the internet and if someone could please explain something to me. I've been going through my book and the only thing Lagrange's Theorem say is that the order of a subgroup divides the order of a finite group. Where does it say about cosets?
Also say what they say is true and that Lagrange Theorem says that the "group" ($A_n$ in this case) has two cosets, itself and the 'other', what exactly is this 'other'? Because the proof concludes that the right and left cosets are equal and therefore they are the 'other' cosets