Alternating group of degree n, denoted An