Group Theory

Axiom can work with individual permutations, permutation groups and do representation theory.