Complete classification of $7$-adic Galois images for non-CM elliptic curves over $\Q$ R515NECVME

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
2JG32EEVV6	statement	lemma 6.1	arxiv
4D3HME6F8J	statement	proposition 5.1	arxiv
Tail bound	statement	lemma 9.1	arxiv
Good places	statement	lemma 8.5	arxiv
6PMHPP01BA	statement	theorem 10.1	arxiv
76X4R6R7E2	statement	corollary 5.3	arxiv
8S4G3RVZN0	statement	lemma 7.5	arxiv
9069NGE6RB	statement	lemma 7.1	arxiv
9CEVSC009T	statement	lemma 7.3	arxiv
9MC9WBGV5F	statement	proposition 6.2	arxiv
9NW4PQE85A	statement	proposition 4.3	arxiv
AF973PMN9R	statement	theorem 8.6	arxiv
C0EAAQ00HM	statement	theorem Theorem	arxiv
D72KSQ0WKV	statement	proposition 8.8	arxiv
EAT6MDQFGA	statement	corollary 1.2	arxiv
F52ZNXC3B1	statement	proposition 4.2	arxiv
Forms become functions	statement	lemma 8.3	arxiv
M10AJNF654	statement	proposition 6.3	arxiv
Local properties	statement	lemma 7.4	arxiv
M6END64N3X	statement	lemma 4.4	arxiv
QP7W3S7XMY	statement	proposition 7.8	arxiv
Global height	statement	proposition 7.6	arxiv
SQQKWCTS3V	definition	definition 8.1	arxiv
T10F4KY9V3	statement	corollary 1.1	arxiv
T3MBAR5YBA	statement	lemma 8.4	arxiv
VE2E1DYJGA	statement	lemma 8.2	arxiv
Change of model	statement	lemma 7.2	arxiv
ZDMV5NT0GV	statement	proposition 4.1	arxiv
ZVT4S7J2QX	statement	proposition 9.2	arxiv