transitive group test