On the distribution of the signs of the conjugates of the cyclotomic units in the maximal real subfield of the qth cyclotomic field, q A prime

Let F = Ǫ(ζ + ζ ^–1) be the maximal real subfield of the cyclotomic field Ǫ(ζ) where ζ is a primitive qth root of unity and q is an odd rational prime. The numbers u₁=-1, u_k=(ζ^k-ζ^-k)/(ζ-ζ^-1), k=2,…,p, p=(q-1)/2, are units in F and are called the cyclotomic units. In this thesis the sign distribution of the conjugates in F of the cyclotomic units is studied.

Let G(F/Ǫ) denote the Galoi's group of F over Ǫ, and let V denote the units in F. For each σϵ G(F/Ǫ) and μϵV define a mapping sgn_σ: V→GF(2) by sgn_σ(μ) = 1 iff σ(μ) ˂ 0 and sgn_σ(μ) = 0 iff σ(μ) ˃ 0. Let {σ₁, ... , σ_p} be a fixed ordering of G(F/Ǫ). The matrix M_q=(sgn_σj(v_i) ) , i, j = 1, ... , p is called the matrix of cyclotomic signatures. The rank of this matrix determines the sign distribution of the conjugates of the cyclotomic units. The matrix of cyclotomic signatures is associated with an ideal in the ring GF(2) [x] / (x^p+ 1) in such a way that the rank of the matrix equals the GF(2)-dimension of the ideal. It is shown that if p = (q-1)/ 2 is a prime and if 2 is a primitive root mod p, then M_q is non-singular. Also let p be arbitrary, let ℓ be a primitive root mod q and let L = {i | 0 ≤ i ≤ p-1, the least positive residue of defined by ℓⁱ mod q is greater than p}. Let H_q(x) ϵ GF(2)[x] be defined by H_q(x) = g. c. d. ((Σ xⁱ/I ϵ L) (x+1) + 1, x^p + 1). It is shown that the rank of M_q equals the difference p - degree H_q(x).

Further results are obtained by using the reciprocity theorem of class field theory. The reciprocity maps for a certain abelian extension of F and for the infinite primes in F are associated with the signs of conjugates. The product formula for the reciprocity maps is used to associate the signs of conjugates with the reciprocity maps at the primes which lie above (2). The case when (2) is a prime in F is studied in detail. Let T denote the group of totally positive units in F. Let U be the group generated by the cyclotomic units. Assume that (2) is a prime in F and that p is odd. Let F₍₂₎ denote the completion of F at (2) and let V₍₂₎ denote the units in F₍₂₎. The following statements are shown to be equivalent. 1) The matrix of cyclotomic signatures is non-singular. 2) U∩T = U². 3) U∩F²₍₂₎ = U². 4) V₍₂₎/ V₍₂₎² = ˂v₁ V₍₂₎²˃ ʘ…ʘ˂v_p V₍₂₎²˃ ʘ ˂3V₍₂₎²˃.

The rank of M_q was computed for 5≤q≤929 and the results appear in tables. On the basis of these results and additional calculations the following conjecture is made: If q and p = (q -1)/ 2 are both primes, then M_q is non-singular.

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.

Unidades em corpos abelianos

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

Uma forma quadrática no corpo de condutor primo

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

A contribuition to the study of channel coding in wireless communication systems

Pós-graduação em Engenharia Elétrica - FEIS

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.

Fields of two power conductor

The goal of this work is find a description for fields of two power conductor. By the Kronecker-Weber theorem, these amounts to find the subfields of cyclotomic field $\mathbb{Q}(\xi_{2^r})$, where $\xi_{2^r}$ is a $2^r$-th primitive root of unit and $r$ a positive integer. In this case, the cyclotomic extension isn't cyclic, however its Galois group is generated by two elements and the subfield can be expressed by $\mathbb{Q}(\theta)$ for a $\theta\in\mathbb{Q}(\xi_{2^r})$ convenient.

Codificação de canais em sistemas de comunicação sem fio baseado em reticulados

Pós-graduação em Engenharia Elétrica - FEIS

Class Notes for Math 901/902: Abstract Algebra, Instructor Tom Marley

Topics include: Free groups and presentations; Automorphism groups; Semidirect products; Classification of groups of small order; Normal series: composition, derived, and solvable series; Algebraic field extensions, splitting fields, algebraic closures; Separable algebraic extensions, the Primitive Element Theorem; Inseparability, purely inseparable extensions; Finite fields; Cyclotomic field extensions; Galois theory; Norm and trace maps of an algebraic field extension; Solvability by radicals, Galois' theorem; Transcendence degree; Rings and modules: Examples and basic properties; Exact sequences, split short exact sequences; Free modules, projective modules; Localization of (commutative) rings and modules; The prime spectrum of a ring; Nakayama's lemma; Basic category theory; The Hom functors; Tensor products, adjointness; Left/right Noetherian and Artinian modules; Composition series, the Jordan-Holder Theorem; Semisimple rings; The Artin-Wedderburn Theorem; The Density Theorem; The Jacobson radical; Artinian rings; von Neumann regular rings; Wedderburn's theorem on finite division rings; Group representations, character theory; Integral ring extensions; Burnside's paqb Theorem; Injective modules.

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.