Dyadic Torsion of Elliptic Curves

Let $k$ be a field of characteristic $0$, and let $\alpha_{1}$, $\alpha_{2}$, and $\alpha_{3}$ be algebraically independent and transcendental over $k$. Let $K$ be the transcendental extension of $k$ obtained by adjoining the elementary symmetric functions of the $\alpha_{i}$'s. Let $E$ be the elliptic curve defined over $K$ which is given by the equation $y^{2} = (x - \alpha_{1})(x - \alpha_{2})(x - \alpha_{3})$. We define a tower of field extensions $K = K_{0}' \subset K_{1}' \subset K_{2}' \subset ...$ by giving recursive formulas for the generators of each $K_{n}'$ over $K_{n - 1}'$. We show that $K_{\infty}'$ is a certain central subextension of the field $K(E[2^{\infty}]) := \bigcup_{n = 0}^{\infty} K(E[2^{n}])$, and a generator of $K(E[2^{\infty}])$ over $K_{\infty}'(\mu_{2})$ is given. Moreover, if we assume that $k$ contains all $2$-power roots of unity, for each $n$, we show that $K(E[2^{n}])$ contains $K_{n}'$ and is contained in a certain quadratic extension of $K_{n + 1}'$.Comment: This is a revision of Sections 1 and 3 of the last draft of this manuscript; Section 2 was adapted as arXiv:1410.266

A note on 8-division fields of elliptic curves

Let $K$ be a field of characteristic different from $2$ and let $E$ be an elliptic curve over $K$, defined either by an equation of the form $y^{2} = f(x)$ with degree $3$ or as the Jacobian of a curve defined by an equation of the form $y^{2} = f(x)$ with degree $4$. We obtain generators over $K$ of the $8$-division field $K(E[8])$ of $E$ given as formulas in terms of the roots of the polynomial $f$, and we explicitly describe the action of a particular automorphism in $\mathrm{Gal}(K(E[8]) / K)$.Comment: 9 pages, 1 section, 13 references Changes made so that this article is as it appears in European Journal of Mathematic