Arithmetic of cyclotomic fields and Fermat-type equations

Let l be any odd prime, and ζ a primitive l-th root of unity. Let C_l be the l-Sylow subgroup of the ideal class group of Q(ζ). The Teichmüller character w : Z_l → Z^*_l is given by w(x) = x (mod l), where w(x) is a p-1-st root of unity, and x ∈ Z_l. Under the action of this character, C_l decomposes as a direct sum of C^((i))_l, where C^((i))_l is the eigenspace corresponding to w^i. Let the order of C^((3))_l be l^h_3). The main result of this thesis is the following: For every n ≥ max( 1, h_3 ), the equation x^(ln) + y^(ln) + z^(ln) = 0 has no integral solutions (x,y,z) with l ≠ xyz. The same result is also proven with n ≥ max(1,h_5), under the assumption that C_l^((5)) is a cyclic group of order l^h_5. Applications of the methods used to prove the above results to the second case of Fermat's last theorem and to a Fermat-like equation in four variables are given.

The proof uses a series of ideas of H.S. Vandiver ([Vl],[V2]) along with a theorem of M. Kurihara [Ku] and some consequences of the proof of lwasawa's main conjecture for cyclotomic fields by B. Mazur and A. Wiles [MW]. In [V1] Vandiver claimed that the first case of Fermat's Last Theorem held for l if l did not divide the class number h^+ of the maximal real subfield of Q(e^(2πi/i)). The crucial gap in Vandiver's attempted proof that has been known to experts is explained, and complete proofs of all the results used from his papers are given.

A note on the integral trace form in cyclotomic fields

Let m >= 3 be an integer, zeta(m) is an element of C a primitive mth root of unity, and K-m the cyclotomic field Q(zeta(m)). An explicit description of the integral trace form Tr-Km/Q(x (x) over bar)vertical bar Z[zeta(m)] where (x) over bar is the complex conjugate of x is presented. In the case where m is prime, a procedure for finding the minimum of the form subject to x being a nonzero element of a certain Z- module in Z[zeta(m)] is presented.

ON THE MINIMUM ABSOLUTE VALUE of THE DISCRIMINANT of ABELIAN FIELDS of DEGREE p(2)

Let p be a prime number. A formula for the minimum absolute value of the discriminant of all Abelian extensions of Q of degree p(2) is given in terms of p.

An Extension of Craig's Family of Lattices

Let p be a prime, and let zeta(p) be a primitive p-th root of unity. The lattices in Craig's family are (p - 1)-dimensional and are geometrical representations of the integral Z[zeta(p)]-ideals < 1 - zeta(p)>(i), where i is a positive integer. This lattice construction technique is a powerful one. Indeed, in dimensions p - 1 where 149 <= p <= 3001, Craig's lattices are the densest packings known. Motivated by this, we construct (p - 1)(q - 1)-dimensional lattices from the integral Z[zeta(pq)]-ideals < 1 - zeta(p)>(i) < 1 - zeta(q)>(j), where p and q are distinct primes and i and fare positive integers. In terms of sphere-packing density, the new lattices and those in Craig's family have the same asymptotic behavior. In conclusion, Craig's family is greatly extended while preserving its sphere-packing properties.

On computing discriminants of subfields of Q(zeta(pr))

The conductor-discriminant formula, namely, the Hasse Theorem, states that if a number field K is fixed by a subgroup H of Gal(Q(zeta(n))/Q), the discriminant of K can be obtained from H by computing the product of the conductors of all characters defined modulo n which are associated to K. By calculating these conductors explicitly, we derive a formula to compute the discriminant of any subfield of Q(zeta(p)r), where p is an odd prime and r is a positive integer. (C) 2002 Elsevier B.V. (USA).

On computing discriminants of subfields of ℚ (ζp r)

The conductor-discriminant formula, namely, the Hasse Theorem, states that if a number field K is fixed by a subgroup H of Gal(ℚ(ζn)/ℚ), the discriminant of K can be obtained from H by computing the product of the conductors of all characters defined modulo n which are associated to K. By calculating these conductors explicitly, we derive a formula to compute the discriminant of any subfield of ℚ(ζpr), where p is an odd rime and r is a positive integer. © 2002 Elsevier Science USA.

A new number field construction of the lattice E8

Known number theoretical constructions of the lattice E8 use the cyclotomic fields Q(ζ15), Q(ζ20), and Q(ζ24). In this work, an infinite family of Abelian number fields yielding rotated versions of the lattice E 8 is exhibited. © 2012 The Managing Editors.

Reticulados modulares em espaços euclidianos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Unidades em corpos abelianos

Pós-graduação em Matemática - IBILCE

Corpos abelianos com aplicações

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Representação geométrica em Q(zeta_pq)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Constelações ciclotômicas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Uma forma quadrática no corpo de condutor primo

Pós-graduação em Matemática - IBILCE

A family of asymptotically good lattices having a lattice in each dimension

A new constructive family of asymptotically good lattices with respect to sphere packing density is presented. The family has a lattice in every dimension n >= 1. Each lattice is obtained from a conveniently chosen integral ideal in a subfield of the cyclotomic field Q(zeta(q)) where q is the smallest prime congruent to 1 modulo n.

Constructions of ideal lattices with full diversity

In this paper, we present new constructions of ideal lattices for the Rayleigh fading channel in Euclidean spaces with full diversity. These constructions are through totally real subfields of cyclotomic fields, obtained by endowing their ring of integers. With this method we reproduce rotated versions of algebraic lattices where the performance in terms of minimum product distance is related with the field determinant.