Reference for the `standard' Tate curve argument.

I'd like a reference (e.g. something published somewhere that I can cite in a paper) for the proof of the following:

Let $E$ be an elliptic curve over $\mathbb Q$ with minimal discriminant $\Delta$, let $p$ be a prime, at which $E$ has potentially multiplicative reduction and let $\ell$ be a prime different than $p$. Then the mod $\ell$ representation is unramified at $p$ iff $\ell$ divides the valuation of $\Delta$ at $p$.

This is used for instance in the proof of Fermat's last theorem. In On modular representations of ${\rm Gal}(\overline{\mathbb Q}/\mathbb Q)$ arising from modular forms by Ken Ribet he cites Serre's (awesome) paper Sur les représentations modulaires de degré $2$ de ${\rm Gal}(\overline{\mathbb Q}/\mathbb Q)$, which (4.1.12) says this follows immediately from the theory of Tate curves.

It is pretty easy: the Tate curve gives you a explicit description the field obtained by adjoining the $\ell$-torsion points to $\mathbb Q_p$, and one can just check directly that the divisibility condition implies that this field (and thus the mod $\ell$ representation on the $\ell$-torsion points) is unramified at $p$.

Nonetheless I'm curious to know if anyone writes this down explicitly anywhere in the literature.

• For the benefit of other people like me who got a headache trying to understand the one-sentence proof: The Tate curve is a p-adic analytic description of an elliptic curve as the group quotient Q_p^*/{q^n}, where q is some power of p times a number with unit norm. Since the curve has potentially multiplicative reduction, this power of p is nonzero. The l-torsion is then generated by l-th roots of unity together with an l-th root of q. The question is whether this l-th root of q has the same p-adic norm as an integer power of p. \Delta is a power series that looks like q. [out of space] – S. Carnahan Oct 16 '09 at 4:09