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.

Algebraic constructions of densest lattices

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)