** Next:** Case 1: p |
** Up:** Kummer's proof of Fermat's
** Previous:** 1 Arithmetic of prime

The aim is to show that if we have a counter-example to
Fermat's Last Theorem, then there is a cyclic extension of order *p*
of *K* which is unramified everywhere. As is usual we can assume that
the given counter-example (*X*, *Y*, *Z*) has the property that these are
mutually co-prime integers.

**Subsections**

Kapil Hari Paranjape
2002-11-22