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 The relational nature of rational numbers

Pythagoras ◽  
2015 ◽  
Vol 36 (1) ◽  
Author(s):  
Bruce Brown
Keyword(s):  
Conceptual Change ◽  
Number Field ◽  
Rational Number ◽  
Teaching And Learning ◽  
Field Research ◽  
Mathematical Structure ◽  
Rational Numbers ◽  
Number Line ◽  
Complex Nature ◽  
Research Projects

It is commonly accepted that the knowledge and learning of rational numbers is more complex than that of the whole number field. This complexity includes the broader range of application of rational numbers, the increased level of technical complexity in the mathematical structure and symbol systems of this field and the more complex nature of many conceptual properties of the rational number field. Research on rational number learning is divided as to whether children’s difficulties in learning rational numbers arise only from the increased complexity or also include elements of conceptual change. This article argues for a fundamental conceptual difference between whole and rational numbers. It develops the position that rational numbers are fundamentally relational in nature and that the move from absolute counts to relative comparisons leads to a further level of abstraction in our understanding of number and quantity. The argument is based on a number of qualitative, in-depth research projects with children and adults. These research projects indicated the importance of such a relational understanding in both the learning and teaching of rational numbers, as well as in adult representations of rational numbers on the number line. Acknowledgement of such a conceptual change could have important consequences for the teaching and learning of rational numbers.

ON A THEOREM OF DEDEKIND

2008 ◽  
Vol 04 (06) ◽  
pp. 1019-1025 ◽  
Author(s):  
SUDESH K. KHANDUJA ◽  
MUNISH KUMAR
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Minimal Polynomial ◽  
Algebraic Number Field ◽  
Rational Numbers ◽  
Prime Ideals ◽  
Algebraic Integers ◽  
Dedekind Domains ◽  
Modulo P ◽  
Polynomial Formula

Let K = ℚ(θ) be an algebraic number field with θ in the ring AK of algebraic integers of K and f(x) be the minimal polynomial of θ over the field ℚ of rational numbers. For a rational prime p, let [Formula: see text] be the factorization of the polynomial [Formula: see text] obtained by replacing each coefficient of f(x) modulo p into product of powers of distinct monic irreducible polynomials over ℤ/pℤ. Dedekind proved that if p does not divide [AK : ℤ[θ]], then the factorization of pAK as a product of powers of distinct prime ideals is given by [Formula: see text], with 𝔭i = pAK + gi(θ)AK, and residual degree [Formula: see text]. In this paper, we prove that if the factorization of a rational prime p in AK satisfies the above-mentioned three properties, then p does not divide [AK:ℤ[θ]]. Indeed the analogue of the converse is proved for general Dedekind domains. The method of proof leads to a generalization of one more result of Dedekind which characterizes all rational primes p dividing the index of K.

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 On the integer part of the reciprocal of the Riemann zeta function tail at certain rational numbers in the critical strip

2019 ◽  
Vol 2019 (1) ◽  
Author(s):  
WonTae Hwang ◽  
Kyunghwan Song
Keyword(s):  
Zeta Function ◽  
Rational Number ◽  
Riemann Zeta Function ◽  
Rational Numbers ◽  
Critical Strip ◽  
Integer Part ◽  
Integral Points ◽  
The Riemann Zeta Function ◽  
Riemann Zeta

Abstract We prove that the integer part of the reciprocal of the tail of $\zeta (s)$ ζ ( s ) at a rational number $s=\frac{1}{p}$ s = 1 p for any integer with $p \geq 5$ p ≥ 5 or $s=\frac{2}{p}$ s = 2 p for any odd integer with $p \geq 5$ p ≥ 5 can be described essentially as the integer part of an explicit quantity corresponding to it. To deal with the case when $s=\frac{2}{p}$ s = 2 p , we use a result on the finiteness of integral points of certain curves over $\mathbb{Q}$ Q .

Call for Manuscripts for the 2014 Focus Issue: Rational Number Sense – October 2012

2012 ◽  
Vol 18 (3) ◽  
pp. 189
Keyword(s):  
Rational Number ◽  
Number Sense ◽  
Rational Numbers

This call for manuscripts is requesting articles that address how to make sense of rational numbers in their myriad forms, including as fractions, ratios, rates, percentages, and decimals.

scholarly journals Automorphy factors for a Hilbert modular group

1988 ◽  
Vol 30 (2) ◽  
pp. 231-236
Author(s):  
Shigeaki Tsuyumine
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Rational Number ◽  
Modular Group ◽  
Algebraic Number Field ◽  
Maximal Order ◽  
Hilbert Modular Group ◽  
Hilbert Modular ◽  
Totally Real

Let K be a totally real algebraic number field of degree n > 1, and let OK be the maximal order. We denote by гk, the Hilbert modular group SL2(OK) associated with K. On the extent of the weight of an automorphy factor for гK, some restrictions are imposed, not as in the elliptic modular case. Maass [5] showed that the weight is integral for K = ℚ(√5). It was shown by Christian [1] that for any Hilbert modular group it is a rational number with the bounded denominator depending on the group.

On a Theorem of Kawamoto on Normal Bases of Rings of Integers, II

2005 ◽  
Vol 48 (4) ◽  
pp. 576-579 ◽  
Author(s):  
Humio Ichimura
Keyword(s):  
Prime Number ◽  
Number Field ◽  
Class Group ◽  
Natural Homomorphism ◽  
Ideal Class ◽  
Ideal Class Group ◽  
Integral Basis ◽  
Rings Of Integers ◽  
Integer Ring ◽  
The Ideal

AbstractLet m = pe be a power of a prime number p. We say that a number field F satisfies the property when for any a ∈ F×, the cyclic extension F(ζm, a1/m)/F(ζm) has a normal p-integral basis. We prove that F satisfies if and only if the natural homomorphism is trivial. Here K = F(ζm), and denotes the ideal class group of F with respect to the p-integer ring of F.

scholarly journals On Galois groups of class two extensions over the rational number field

1979 ◽  
Vol 75 ◽  
pp. 121-131 ◽  
Author(s):  
Susumu Shirai
Keyword(s):  
Nilpotent Group ◽  
Galois Group ◽  
Number Field ◽  
Direct Product ◽  
Rational Number ◽  
Nilpotency Class ◽  
Abelian Extension ◽  
Galois Groups ◽  
Classification Theory ◽  
Ray Class Field

Let Q be the rational number field, K/Q be a maximal Abelian extension whose degree is some power of a prime l, and let f(K) be the conductor of K/Q; if l = 2, let K be complex, and if in addition f(K) ≡ 0 (mod 2), let f(K) ≡ 0 (mod 16). Denote by (K) the Geschlechtermodul of K over Q and by K̂ the maximal central l-extension of K/Q contained in the ray class field mod (K) of K. A. Fröhlich [1, Theorem 4] completely determined the Galois group of K̂ over Q in purely rational terms. The proof is based on [1, Theorem 3], though he did not write the proof in the case f(K) ≡ 0 (mod 16). Moreover he gave a classification theory of all class two extensions over Q whose degree is a power of l. Hence we know the set of fields of nilpotency class two over Q, because a finite nilpotent group is a direct product of all its Sylow subgroups. But the theory becomes cumbersome, and it is desirable to reconstruct a more elementary one.

Sign in / Sign up

Export Citation Format

Share Document