equivalence group