Definition:Alternating Group on 4 Letters