Rational halving quotient bound from root size

ID: rational-halving-quotient-bound-from-root-size

For distinct integral roots with , the finite set in unramified halving fields for a split cubic contains only primes at most . A quadratic Galois character unramified away from primes is represented by a signed square-free integer supported on those primes, giving at most characters. The halving cocycle with rational two-torsion has two independent coordinates in , so the quotient has at most elements. Since and there are at most primes at most , this gives . The bound is deliberately crude but depends only on the root size.

New to topics? Read the docs here!