Sn is a symmetric group, also called permutation group, of order n!.
Notation for permutation:
  * cycles: (a1 a2 ...ap)(aq) which means a1 -> a2 -> ... -> ap -> a1 and 
	aq -> aq

Theorems:

 * Every permutation can be expressed as a product of cycles.
 * Two disjoing cycles commute (a1..ap)(b1...bq) ai!=bj for all i and j
 * Every finite group of order n is isomorphic to a subgroup of Sn.
 * Any permutation can be expressed as a product of 2-cycles.
 * An even permutation is the product of even number of 2-cycles.
 * An odd permutation is the product of odd number of 2-cycles.
 * Two elements of Sn are in the same conjugacy class <=> they have the same cycle structure.
i.e. (123)(45) is equivalent to (124)(35)
For H subset of Sn, ha~hp=> Sa~Sp but not the converse
example: S3~D3
	{e} ~ {(1)(2)(3)}
	{c,c^2} ~ {(123),(132)}
	{b,bc,bc^2} ~ {(12)(3), (13)(2),(23)(1)}

C3 subset D3
	{e}
	{c}
	{c^2}