RightTransversal(G, H) : GrpAb, GrpAb -> {@ GrpAbElt @}, Map

Given a group G and a subgroup H of G, this function returns:

• An indexed set of elements T of G forming a right transversal for G over H; and,
• The corresponding transversal mapping phi: G -> T. If T = { t_1, ..., t_r } and g in G, phi is defined by phi(g) = t_i, where g in H t_i.