isIsogenousTo

P151471 predicate

Indicates that two mathematical structures, typically elliptic curves or abelian varieties, are related by an isogeny, i.e., a non-constant morphism with finite kernel that preserves their group structure.

Sample triples (1)

Subject Object
orthogonal group O(n+1,2) PO(n+1,2) NERFINISHED