Torres de extensões abelianas de grau primo ímpar não ramificado

Abstract

Let L/Q be an abelian extension of odd prime degree p and conductor n, and assume that p is unramified in L/Q. In this work the integral trace form TrL/Q(x2)|OL is given explicitly and some of its properties are derived, in particular the determination of its nonzero minima in certain Z-submodules of the ring of algebraic integers OL. An analysis of the field towers obtained as the composita of number fields of degree p, contained in Q(ζn), is presented. Finally, the integral trace form of the compositum of any two of those p-extensions, when the respective conductors are relatively prime, is described as well

Seja L/Q uma extensão abeliana de grau primo ímpar e condutor n, onde p é não ramificado em L. Neste trabalho, explicitamos a forma traço integral TrL/Q(x2)|OL e obtemos algumas de suas propriedades, entre as quais determinamos o mínimo não nulo por ela assumido em uma classe de Z-m'odulos do anel de inteiros OL. Estudamos o comportamento das torres obtidas atrav'es da composição dos corpos de números de grau p contidos em Q(ζn) e, finalmente, descrevemos a forma traço integral do comp'osito de duas quaisquer dessas p-extensões, quando os respectivos condutores são relativamente primos