The Order of S_n is n!

See also Symmetric Group & Permutations.

|Sn|=n!

Proof

To show Order (Groups), do an induction. Clearly the base case holds, so consider the inductive step where |Sn|=n!. For Sn+1 we can consider the number of functions that 1 can be sent to (ie: all σ(1)) and then consider the n-sizes remaining function. There's n+1 bijections that 1 can be sent to, so we multiply this by the n! ones from Sn. Thus there are (n+1)! bijections in total, completing the induction.