← all areas

Namespace Rat 7 theorems

• Integers ≡ 1 (mod 8) are squares 2-adically Rat.exists_sq_eq_adicCompletion_of_eight_dvd_sub_one 0 below · cited by 4 · depth 18
• Squares modulo odd p are squares in ℚᵥ Rat.exists_sq_eq_adicCompletion_of_isSquare_zmod_of_odd 0 below · cited by 2 · depth 18
• Isotropy of z²-mx²-ny² at odd places of ℚ Rat.exists_ternary_isotropic_adicCompletion_of_intCast_notMem 1 below · cited by 5 · depth 18
• Anisotropy exactly at q for z²-ax²-by² with a,b<0 Rat.forall_not_ternary_isotropic_iff_mem_of_forall_isotropic_of_neg 5 below · cited by 5 · depth 18
• Ternary form ux²+vy²-uvz²=-p solvable from local isotropy Rat.exists_ternary_eq_neg_prime_of_forall_padic_isotropic 3 below · cited by 1 · depth 19
• Legendre's theorem: local–global isotropy for z²-ax²-by² Rat.exists_ternary_isotropic_of_forall_adicCompletion_of_pos 0 below · cited by 2 · depth 19
• Hilbert reciprocity over ℚ: parity of anisotropic places Rat.hilbertReciprocity_even_card_not_ternary_isotropic 4 below · cited by 5 · depth 19