Title Fermat's Last Theorem English 877.4 KB 167
##### Document Text Contents
Page 83

(d) RQn can be topologically generated by r elements as a O-algebra.

Proof: Take r = dimkH
1

0ρ̄(1)). It suffices to find a set Qn with the
following properties.

(a) If q ∈ Qn then q ≡ 1 mod `n.

(b) If q ∈ Qn then ρ̄ is unramified at q and ρ̄(Frob q) has distinct eigenvalues.

0ρ̄(1))

∼→

q∈Qn

0ρ̄(1)).

0ρ̄(1)) is one dimensional we may replace the last condition

with

0ρ̄(1)) ↪→

q∈Qn

0ρ̄(1)).

Thus what we need show is that for each non-zero class [ψ] ∈ H1∅ (Q, ad
0ρ̄(1))

there is a prime q (depending on [ψ]) such that

(a) q ≡ 1 mod `n,

(b) ρ̄ is unramified at q and ρ̄(Frob q) has distinct eigenvalues,

(c) resq[ψ] ∈ H1(Fq, ad0ρ̄(1)) is nontrivial.

Using the Chebotarev density theorem we see that it will do to find σ ∈ GQ
such that

(a) σ|Q(ζ`n ) = 1,

(b) ad0ρ̄(σ) has an eigenvalue other than 1,

(c) ψ(σ) 6∈ (σ − 1)ad0ρ̄(1).

For m ≥ 0, let Fm denote the extension of Q(ζ`m) cut out by ad0ρ̄; i.e.,
the field fixed by the kernel of the representation ad0ρ̄ restricted to GQ(ζ`m ).
We will show that ψ(GFn) is non-trivial. For this it suffices to prove that