On the number of incongruent solutions to a quadratic congruence over algebraic integers

2019 ◽  
Vol 15 (01) ◽  
pp. 105-130
Author(s):  
Ramy F. Taki Eldin
Keyword(s):  
Prime Ideal ◽  
Number Field ◽  
Exponential Sums ◽  
Nonzero Ideal ◽  
Explicit Formulas ◽  
Algebraic Integers ◽  
Ideal Formula ◽  
Quadratic Congruence ◽  
Ring Of Algebraic Integers

Over the ring of algebraic integers [Formula: see text] of a number field [Formula: see text], the quadratic congruence [Formula: see text] modulo a nonzero ideal [Formula: see text] is considered. We prove explicit formulas for [Formula: see text] and [Formula: see text], the number of incongruent solutions [Formula: see text] and the number of incongruent solutions [Formula: see text] with [Formula: see text] coprime to [Formula: see text], respectively. If [Formula: see text] is contained in a prime ideal [Formula: see text] containing the rational prime [Formula: see text], it is assumed that [Formula: see text] is unramified over [Formula: see text]. Moreover, some interesting identities for exponential sums are proved.

Characterization of primes dividing the index of a trinomial

2017 ◽  
Vol 13 (10) ◽  
pp. 2505-2514 ◽  
Author(s):  
Anuj Jakhar ◽  
Sudesh K. Khanduja ◽  
Neeraj Sangwan
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Sufficient Conditions ◽  
Algebraic Number Field ◽  
Necessary And Sufficient Conditions ◽  
Algebraic Integers ◽  
Ring Of Algebraic Integers ◽  
Necessary And Sufficient

Let [Formula: see text] denote the ring of algebraic integers of an algebraic number field [Formula: see text], where [Formula: see text] is a root of an irreducible trinomial [Formula: see text] belonging to [Formula: see text]. In this paper, we give necessary and sufficient conditions involving only [Formula: see text] for a given prime [Formula: see text] to divide the index of the subgroup [Formula: see text] in [Formula: see text]. In particular, we deduce necessary and sufficient conditions for [Formula: see text] to be equal to [Formula: see text].

Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem

1988 ◽  
Vol 53 (2) ◽  
pp. 470-480 ◽  
Author(s):  
Masahiro Yasumoto
Keyword(s):  
Natural Number ◽  
Prime Number ◽  
Number Field ◽  
Algebraic Number ◽  
Algebraic Number Field ◽  
Algebraic Extension ◽  
Algebraic Integers ◽  
Nonstandard Models ◽  
Ring Of Algebraic Integers

LetKbe an algebraic number field andIKthe ring of algebraic integers inK. *Kand *IKdenote enlargements ofKandIKrespectively. LetxЄ *K–K. In this paper, we are concerned with algebraic extensions ofK(x)within *K. For eachxЄ *K–Kand each natural numberd, YK(x,d)is defined to be the number of algebraic extensions ofK(x)of degreedwithin *K.xЄ *K–Kis called a Hilbertian element ifYK(x,d)= 0 for alldЄ N,d> 1; in other words,K(x)has no algebraic extension within *K. In their paper [2], P. C. Gilmore and A. Robinson proved that the existence of a Hilbertian element is equivalent to Hilbert's irreducibility theorem. In a previous paper [9], we gave many Hilbertian elements of nonstandard integers explicitly, for example, for any nonstandard natural numberω, 2ωPωand 2ω(ω3+ 1) are Hilbertian elements in*Q, where pωis theωth prime number.

scholarly journals Constructions of Dense Lattices over Number Fields

2020 ◽  
Vol 21 (1) ◽  
pp. 57
Author(s):  
Antonio A. Andrade ◽  
Agnaldo J. Ferrari ◽  
José C. Interlando ◽  
Robson R. Araujo
Keyword(s):  
Euclidean Space ◽  
Number Field ◽  
Number Fields ◽  
Canonical Homomorphism ◽  
Algebraic Integers ◽  
Algebraic Lattices ◽  
Ring Of Algebraic Integers ◽  
Center Density

In this work, we present constructions of algebraic lattices in Euclidean space with optimal center density in dimensions 2,3,4,5,6,8 and 12, which are rotated versions of the lattices Lambda_n, for n =2,3,4,5,6,8 and K_12. These algebraic lattices are constructed through canonical homomorphism via Z-modules of the ring of algebraic integers of a number field.

On Gauss sums over dedekind domains

2021 ◽  
pp. 1-17
Author(s):  
Zhiyong Zheng ◽  
Man Chen ◽  
Jie Xu
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Algebraic Integer ◽  
Algebraic Number Field ◽  
Gauss Sums ◽  
Algebraic Integers ◽  
Dedekind Domains ◽  
Finite Norm ◽  
Integer Ring ◽  
Ring Of Algebraic Integers

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).

scholarly journals Class-number problems for cubic number fields

1995 ◽  
Vol 138 ◽  
pp. 199-208 ◽  
Author(s):  
Stéphane Louboutin
Keyword(s):  
Zeta Function ◽  
Number Field ◽  
Class Number ◽  
Number Fields ◽  
Algebraic Integers ◽  
Absolute Value ◽  
Dedekind Zeta Function ◽  
Cubic Number Fields ◽  
Ring Of Algebraic Integers ◽  
The Absolute

Let M be any number field. We let DM, dM, hu, , AM and RegM be the discriminant, the absolute value of the discriminant, the class-number, the Dedekind zeta-function, the ring of algebraic integers and the regulator of M, respectively.we set If q is any odd prime we let (⋅/q) denote the Legendre’s symbol.

scholarly journals Gaussian Integers

2013 ◽  
Vol 21 (2) ◽  
pp. 115-125
Author(s):  
Yuichi Futa ◽  
Hiroyuki Okazaki ◽  
Daichi Mizushima ◽  
Yasunari Shidama
Keyword(s):  
Number Field ◽  
Rational Number ◽  
Rational Numbers ◽  
Gaussian Integer ◽  
Algebraic Integers ◽  
Quotient Field ◽  
Gaussian Integers ◽  
Integer Ring

Summary Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rational number field and a quotient field of the Gaussian integer ring are isomorphic.

scholarly journals On the decidability of the theory of modules over the ring of algebraic integers

2017 ◽  
Vol 168 (8) ◽  
pp. 1507-1516 ◽  
Author(s):  
Sonia L'Innocente ◽  
Carlo Toffalori ◽  
Gena Puninski
Keyword(s):  
Algebraic Integers ◽  
Ring Of Algebraic Integers

scholarly journals On prime essential rings

1993 ◽  
Vol 47 (2) ◽  
pp. 287-290 ◽  
Author(s):  
Halina France-Jackson
Keyword(s):  
Prime Ideal ◽  
Nonzero Ideal ◽  
Lower Radical ◽  
Semisimple Class ◽  
Open Questions ◽  
Nonzero Intersection

A ring A is prime essential if A is semiprime and every prime ideal of A has a nonzero intersection with each nonzero ideal of A. We prove that any radical (other than the Baer's lower radical) whose semisimple class contains all prime essential rings is not special. This yields non-speciality of certain known radicals and answers some open questions.

MV-modules of fractions

2019 ◽  
Vol 19 (07) ◽  
pp. 2050131
Author(s):  
Hoda Banivaheb ◽  
Arsham Borumand Saeid
Keyword(s):  
Prime Ideal ◽  
Maximal Ideal ◽  
Ideal Formula ◽  
One To One

In this paper, we study the notion of [Formula: see text]-modules of fractions with respect to a ⋅-prime ideal [Formula: see text]. Also the relation between the ideals of [Formula: see text]-module [Formula: see text] and the ideals of [Formula: see text]-module of fractions [Formula: see text] is studied and it is shown that there is a one to one correspondence between [Formula: see text]-prime [Formula: see text]-ideals of [Formula: see text]-module [Formula: see text] and [Formula: see text]-prime [Formula: see text]-ideals of [Formula: see text]-module of fractions [Formula: see text], where [Formula: see text] is the maximal localization of [Formula: see text] at a maximal ⋅-ideal [Formula: see text] of [Formula: see text] and [Formula: see text] is a ⋅-prime ideal of [Formula: see text] such that [Formula: see text].

Sign in / Sign up

Export Citation Format

Share Document