show · cmf.galois_conjugate all knowls · up · search:

Two newforms $f=\sum a_nq^n$ and $g=\sum b_nq^n$ are Galois conjugate if there is an automorphism $\sigma\in \Gal(\overline{\Q}/\Q)$ such that $b_n=\sigma(a_n)$ for all $n\ge 1$, in which case we write $g=\sigma(f)$.

The set $\{\sigma(f):\sigma\in\Gal(\overline{\Q}/\Q)\}$ of all Galois conjugates of $f$ is the Galois orbit of $f$; it has cardinality equal to the dimension of $f$, equivalently, the degree of its coefficient field

Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2019-01-25 17:18:16
Referred to by:
History: (expand/hide all)