← all areas

Namespace FreyCurve 5 theorems

Landmarks here: Frey curve is peu ramifiée at every odd prime

• landmark Frey curve is peu ramifiée at every odd prime FreyCurve.isPeuRamifieeAt_odd_of_integralForm 4 below · cited by 2 · depth 7
• Vanishing of a₃ for the Frey curve at a good prime 3 FreyCurve.freyCurveInt_apOfModel_three 10 below · cited by 2 · depth 9
• 4 divides #̃ E(𝔽_q) at good odd primes FreyCurve.four_dvd_card_reductionMod 7 below · cited by 1 · depth 10
• Reduced Frey curve has exactly four 2-torsion points FreyCurve.card_two_torsion_reductionMod 6 below · cited by 1 · depth 11
• Factorisation of 8Ψ₂² for the reduced Frey curve FreyCurve.eight_mul_Psi2Sq_eval_reductionMod 1 below · cited by 1 · depth 12