A rational homomorphism φ:G->G' defined over a field is called an isogeny when dim G = dim G'. Two groups G and G' are then called isogenous if there exists a third group G'' and isogenies G''->G and G''->G'.