On Gauss sums over dedekind domains

It is a difficult question to generalize Gauss sums to a ring of algebraic integers of an arbitrary algebraic number field. In this paper, we define and discuss Gauss sums over a Dedekind domain of finite norm. In particular, we give a Davenport–Hasse type formula for some special Gauss sums. As an application, we give some more precise formulas for Gauss sums over the algebraic integer ring of an algebraic number field (see Theorems 4.1 and 4.2).

A note on values of the Dedekind zeta-function at odd positive integers

For an algebraic number field [Formula: see text], let [Formula: see text] be the associated Dedekind zeta-function. It is conjectured that [Formula: see text] is transcendental for any positive integer [Formula: see text]. The only known case of this conjecture was proved independently by Siegel and Klingen, namely that, when [Formula: see text] is a totally real number field, [Formula: see text] is an algebraic multiple of [Formula: see text] and hence, is transcendental. If [Formula: see text] is not totally real, the question of whether [Formula: see text] is irrational or not remains open. In this paper, we prove that for a fixed integer [Formula: see text], at most one of [Formula: see text] is rational, as [Formula: see text] varies over all imaginary quadratic fields. We also discuss a generalization of this theorem to CM-extensions of number fields.

NOTES ON THE K-RATIONAL DISTANCE PROBLEM

Let K be an algebraic number field. We investigate the K-rational distance problem and prove that there are infinitely many nonisomorphic cubic number fields and a number field of degree n for every $n\geq 2$ in which there is a point in the plane of a unit square at K-rational distances from the four vertices of the square.

On Greenberg’s generalized conjecture for imaginary quartic fields

For an algebraic number field [Formula: see text] and a prime number [Formula: see text], let [Formula: see text] be the maximal multiple [Formula: see text]-extension. Greenberg’s generalized conjecture (GGC) predicts that the Galois group of the maximal unramified abelian pro-[Formula: see text] extension of [Formula: see text] is pseudo-null over the completed group ring [Formula: see text]. We show that GGC holds for some imaginary quartic fields containing imaginary quadratic fields and some prime numbers.

A note on Dedekind Criterion

Let [Formula: see text] be an algebraic number field with [Formula: see text] an algebraic integer having minimal polynomial [Formula: see text] over the field [Formula: see text] of rational numbers and [Formula: see text] be the ring of algebraic integers of [Formula: see text]. For a fixed prime number [Formula: see text], let [Formula: see text] be the factorization of [Formula: see text] modulo [Formula: see text] as a product of powers of distinct irreducible polynomials over [Formula: see text] with [Formula: see text] monic. In 1878, Dedekind proved a significant result known as Dedekind Criterion which says that the prime number [Formula: see text] does not divide the index [Formula: see text] if and only if [Formula: see text] is coprime with [Formula: see text] where [Formula: see text]. This criterion has been widely used and generalized. In this paper, a simple proof of Generalized Dedekind Criterion [S. K. Khanduja and M. Kumar, On Dedekind criterion and simple extensions of valuation rings, Comm. Algebra 38 (2010) 684–696] using elementary valuation theory is given.

Ramanujan’s sum in the ring of integers of an algebraic number field

In this paper, we generalize Ramanujan’s sum to the ring of integers of an algebraic number field. We also obtain the orthogonality properties of Ramanujan’s sum in the ring of integers.

The discriminant of compositum of algebraic number fields

For an algebraic number field [Formula: see text], let [Formula: see text] denote the discriminant of an algebraic number field [Formula: see text]. It is well known that if [Formula: see text] are algebraic number fields with coprime discriminants, then [Formula: see text] are linearly disjoint over the field [Formula: see text] of rational numbers and [Formula: see text], [Formula: see text] being the degree of [Formula: see text] over [Formula: see text]. In this paper, we prove that the converse of this result holds in relative extensions of algebraic number fields. We also give some more necessary and sufficient conditions for the analogue of the above equality to hold for algebraic number fields [Formula: see text] linearly disjoint over [Formula: see text].

On the integral and globally irreducible representations of finite groups

We consider the arithmetic of integral representations of finite groups over algebraic integers and the generalization of globally irreducible representations introduced by Van Oystaeyen and Zalesskii. For the ring of integers [Formula: see text] of an algebraic number field [Formula: see text] we are interested in the question: what are the conditions for subgroups [Formula: see text] such that [Formula: see text], the [Formula: see text]-span of [Formula: see text], coincides with [Formula: see text], the ring of [Formula: see text]-matrices over [Formula: see text], and what are the minimal realization fields.