Related papers: On the Arithmetic determination of the trace

Let $K$ be a number field. The \textit{integral trace form} is the integral quadratic form given by $\text{tr}_{K/\mathbb{Q}}(x^2)|_{O_{K}}.$ In this article we study the existence of non-conjugated number fields with equivalent integral…

In the past the first named author has studied to what extent the integral trace can characterize a number field beyond what the discriminant does. The cases of cyclic number fields and non-totally real fields are more or less settled,…

In this note we give a brief survey of the most elementary criteria used to determine the surjectivity of the trace operator on the ring of integers of a number field $K$. Furthermore, we introduce an easy to state yet unknown surjectivity…

Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus…

In the mid 80's Conner and Perlis showed that for cyclic number fields of prime degree $p$ the isometry class of integral trace is completely determined by the discriminant. Here we generalize their result to tame cyclic number fields of…

Let $K$ be a tamely ramified abelian cubic number field with discriminant $D_K$. We prove that the number of trace-one monic integral polynomials with root field $K$ and height $H$ is equal to the number of ideals in the quadratic field…

Let $K$ be a number field or a function field of characteristic 0. If $K$ is a number field, assume the $abc$-conjecture for $K$. We prove a variant of Zsigmondy's theorem for ramified primes in preimage fields of rational functions in…

Let $m>1$ and $\mathfrak{d} \neq 0$ be integers such that $v_{p}(\mathfrak{d}) \neq m$ for any prime $p$. We construct a matrix $A(\mathfrak{d})$ of size $(m-1) \times (m-1)$ depending on only of $\mathfrak{d}$ with the following property:…

It follows from generalities of quadratic forms that the spinor class of the integral trace of a number field determines the signature and the discriminant of the field. In this paper we define a family of number fields, that contains among…

Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…

We give a criterion whether given Eisenstein polynomials over a local field K define the same extension over K in terms of a certain non-Archimedean metric on the set of polynomials. The criterion and its proof depend on ramification…

Let $K$ be a cyclic totally real number field of odd degree over $\mathbb{Q}$ with odd class number, such that every totally positive unit is the square of a unit, and such that $2$ is inert in $K/\mathbb{Q}$. We define a family of number…

In this paper we investigate the distribution of the number of primes which ramify in number fields of degree d <= 5. In analogy with the classical Erdos-Kac theorem, we prove for S_d-extensions that the number of such primes is normally…

Given a number field, it is an important question in algorithmic number theory to determine all its subfields. If the search is restricted to abelian subfields, one can try to determine them by using class field theory. For this, it is…

This article describes cubic function fields $L/K$ with prescribed ramification, where $K$ is a rational function field. We give general equations for such extensions, an explicit procedure to obtain a defining equation when the purely…

Let $K$ be a number field. The $K$-arithmetic type of a rational prime $\ell$ is the tuple $A_{K}(\ell)=(f^{K}_{1},...,f^{K}_{g_{\ell}})$ of the residue degrees of $\ell$ in $K$, written in ascending order. A well known result of Perlis…

In this note we generalize the trace inequality derived by [1] to the case where the number of terms of the sum (denoted by K) is arbitrary.

The number of non-isomorphic cubic fields L sharing a common discriminant d(L) = d is called the multiplicity m = m(d) of d. For an assigned value of d, these fields are collected in a multiplet M(d) = (L(1) ,..., L(m)). In this paper, the…

Let $K$ be a number field, let $A$ be a finite-dimensional $K$-algebra, let $\mathrm{J}(A)$ denote the Jacobson radical of $A$, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. Suppose that each simple component of the semisimple…

Let $Tr$ denote the trace $\mathbb{Z}$-module homomorphism defined on the ring $\mathcal{O}_{L} $ of the integers of a number field $L.$ We show that $Tr(\mathcal{O}_{L})\varsubsetneq \mathbb{Z}$ if and only if there is a prime factor $p$…