Refactor Class FiniteGroup