Given an elliptic curve of the form over (so ). For any , we can define an elliptic curve over over . Note that and are isomorphic over (isomorphism given by sending on to ). Note . This is because of the exact sequence where the middle map is the trace map and surjects onto .