D(n)-quadruples in the ring of integers of ℚ(√2, √3)

2019 ◽  
Vol 69 (6) ◽  
pp. 1263-1278
Author(s):  
Zrinka Franušić ◽  
Borka Jadrijević
Keyword(s):  
Number Field ◽  
Ring Of Integers

Abstract Let 𝓞𝕂 be the ring of integers of the number field 𝕂 = $\begin{array}{} \displaystyle \mathbb{Q}(\sqrt{2},\sqrt{3}) \end{array}$. A D(n)-quadruple in the ring 𝓞𝕂 is a set of four distinct non-zero elements {z1, z2, z3, z4} ⊂ 𝓞𝕂 with the property that the product of each two distinct elements increased by n is a perfect square in 𝓞𝕂. We show that the set of all n ∈ 𝓞𝕂 such that a D(n)-quadruple in 𝓞𝕂 exists coincides with the set of all integers in 𝕂 that can be represented as a difference of two squares of integers in 𝕂.

FINITENESS RESULTS FOR REGULAR DEFINITE TERNARY QUADRATIC FORMS OVER ${\mathbb Q}(\sqrt{5})$

2007 ◽  
Vol 03 (04) ◽  
pp. 541-556 ◽  
Author(s):  
WAI KIU CHAN ◽  
A. G. EARNEST ◽  
MARIA INES ICAZA ◽  
JI YOUNG KIM
Keyword(s):  
Quadratic Form ◽  
Number Field ◽  
Quadratic Forms ◽  
Positive Definite ◽  
Integral Quadratic Form ◽  
Ring Of Integers ◽  
Ternary Quadratic Forms ◽  
Totally Positive ◽  
Finiteness Result

Let 𝔬 be the ring of integers in a number field. An integral quadratic form over 𝔬 is called regular if it represents all integers in 𝔬 that are represented by its genus. In [13,14] Watson proved that there are only finitely many inequivalent positive definite primitive integral regular ternary quadratic forms over ℤ. In this paper, we generalize Watson's result to totally positive regular ternary quadratic forms over [Formula: see text]. We also show that the same finiteness result holds for totally positive definite spinor regular ternary quadratic forms over [Formula: see text], and thus extends the corresponding finiteness results for spinor regular quadratic forms over ℤ obtained in [1,3].

scholarly journals On the isomorphism class of the ring of all integers of a cyclic wildly ramified extension of degree p II

1988 ◽  
Vol 111 ◽  
pp. 165-171 ◽  
Author(s):  
Yoshimasa Miyata
Keyword(s):  
Number Field ◽  
Cyclic Group ◽  
Algebraic Number ◽  
Isomorphism Class ◽  
Algebraic Number Field ◽  
Ring Of Integers

Let k be an algebraic number field with the ring of integers ok = o and let G be a cyclic group of order p, an odd prime.

Trace form associated to cyclic number fields of ramified odd prime degree

2019 ◽  
Vol 19 (04) ◽  
pp. 2050080
Author(s):  
Robson R. Araujo ◽  
Ana C. M. M. Chagas ◽  
Antonio A. Andrade ◽  
Trajano P. Nóbrega Neto
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Trace Form ◽  
Prime Degree ◽  
Ring Of Integers ◽  
Algebraic Lattices ◽  
Center Density

In this work, we computate the trace form [Formula: see text] associated to a cyclic number field [Formula: see text] of odd prime degree [Formula: see text], where [Formula: see text] ramified in [Formula: see text] and [Formula: see text] belongs to the ring of integers of [Formula: see text]. Furthermore, we use this trace form to calculate the expression of the center density of algebraic lattices constructed via the Minkowski embedding from some ideals in the ring of integers of [Formula: see text].

Indices in a number field II

2019 ◽  
Vol 15 (01) ◽  
pp. 89-103
Author(s):  
Mohamed Ayad ◽  
Rachid Bouchenna ◽  
Omar Kihel
Keyword(s):  
Prime Number ◽  
Number Field ◽  
Additive Group ◽  
Necessary Condition ◽  
Ring Of Integers ◽  
Number Formula

Let [Formula: see text] be a number field of degree [Formula: see text] over [Formula: see text] and [Formula: see text] its ring of integers. For a prime number [Formula: see text], we determine the types of splittings of [Formula: see text] in [Formula: see text] for which the set [Formula: see text] is of cardinality a power of [Formula: see text]. We prove that this necessary condition is also sufficient for [Formula: see text] to be a subgroup of the additive group [Formula: see text]. Consequently, we show that, in this case, the subset of [Formula: see text], [Formula: see text] is an order of the number field.

scholarly journals On the realizable classes of the square root of the inverse different in the unitary class group

2017 ◽  
Vol 13 (04) ◽  
pp. 913-932 ◽  
Author(s):  
Sin Yi Cindy Tsang
Keyword(s):  
Abelian Group ◽  
Number Field ◽  
Bilinear Form ◽  
Class Group ◽  
Finite Abelian Group ◽  
Symmetric Bilinear Form ◽  
Square Root ◽  
Ring Of Integers ◽  
Trace Map ◽  
Odd Order

Let [Formula: see text] be a number field with ring of integers [Formula: see text] and let [Formula: see text] be a finite abelian group of odd order. Given a [Formula: see text]-Galois [Formula: see text]-algebra [Formula: see text], write [Formula: see text] for its trace map and [Formula: see text] for its square root of the inverse different, where [Formula: see text] exists by Hilbert’s formula since [Formula: see text] has odd order. The pair [Formula: see text] is locally [Formula: see text]-isometric to [Formula: see text] whenever [Formula: see text] is weakly ramified, in which case it defines a class in the unitary class group [Formula: see text] of [Formula: see text]. Here [Formula: see text] denotes the canonical symmetric bilinear form on [Formula: see text] defined by [Formula: see text] for all [Formula: see text]. We will study the set of all such classes and show that a subset of them forms a subgroup of [Formula: see text].

scholarly journals On the Ring of Integers in an Algebraic Number Field as a representation Module of Galois Group

1960 ◽  
Vol 16 ◽  
pp. 83-90 ◽  
Author(s):  
Hideo Yokoi
Keyword(s):  
Irreducible Representation ◽  
Galois Group ◽  
Number Field ◽  
Algebraic Number ◽  
Prime Order ◽  
Algebraic Number Field ◽  
Integral Representations ◽  
Indecomposable Representation ◽  
List Type ◽  
Ring Of Integers

1. Introduction. It is known that there are only three rationally inequivalent classes of indecomposable integral representations of a cyclic group of prime order l. The representations of these classes are: (I) identical representation,(II) rationally irreducible representation of degree l – 1,(III) indecomposable representation consisting of one identical representation and one rationally irreducible representation of degree l-1 (F. E. Diederichsen [1], I. Reiner [2]).

MONOGENEITY IN CYCLOTOMIC FIELDS

2010 ◽  
Vol 06 (07) ◽  
pp. 1589-1607 ◽  
Author(s):  
LEANNE ROBERTSON
Keyword(s):  
Unit Circle ◽  
Number Field ◽  
Complex Plane ◽  
Cyclotomic Field ◽  
Difficult Problem ◽  
Cyclotomic Fields ◽  
Ring Extension ◽  
Integral Basis ◽  
Ring Of Integers ◽  
Integral Bases

A number field is said to be monogenic if its ring of integers is a simple ring extension ℤ[α] of ℤ. It is a classical and usually difficult problem to determine whether a given number field is monogenic and, if it is, to find all numbers α that generate a power integral basis {1, α, α2, …, αk} for the ring. The nth cyclotomic field ℚ(ζn) is known to be monogenic for all n, and recently Ranieri proved that if n is coprime to 6, then up to integer translation all the integral generators for ℚ(ζn) lie on the unit circle or the line Re (z) = 1/2 in the complex plane. We prove that this geometric restriction extends to the cases n = 3k and n = 4k, where k is coprime to 6. We use this result to find all power integral bases for ℚ(ζn) for n = 15, 20, 21, 28. This leads us to a conjectural solution to the problem of finding all integral generators for cyclotomic fields.

scholarly journals Geometric-progression-free sets over quadratic number fields

2017 ◽  
Vol 147 (2) ◽  
pp. 245-262
Author(s):  
Andrew Best ◽  
Karen Huan ◽  
Nathan McNew ◽  
Steven J. Miller ◽  
Jasmine Powell ◽  
...  
Keyword(s):  
Number Field ◽  
Number Fields ◽  
Geometric Progression ◽  
Quadratic Number ◽  
Quadratic Number Field ◽  
Ring Of Integers ◽  
Quadratic Number Fields ◽  
Geometric Progressions ◽  
Upper Density ◽  
Free Sets

In Ramsey theory one wishes to know how large a collection of objects can be while avoiding a particular substructure. A problem of recent interest has been to study how large subsets of the natural numbers can be while avoiding three-term geometric progressions. Building on recent progress on this problem, we consider the analogous problem over quadratic number fields. We first construct high-density subsets of the algebraic integers of an imaginary quadratic number field that avoid three-term geometric progressions. When unique factorization fails, or over a real quadratic number field, we instead look at subsets of ideals of the ring of integers. Our approach here is to construct sets ‘greedily’, a generalization of the greedy set of rational integers considered by Rankin. We then describe the densities of these sets in terms of values of the Dedekind zeta function. Next, we consider geometric-progression-free sets with large upper density. We generalize an argument by Riddell to obtain upper bounds for the upper density of geometric-progression-free subsets, and construct sets avoiding geometric progressions with high upper density to obtain lower bounds for the supremum of the upper density of all such subsets. Both arguments depend critically on the elements with small norm in the ring of integers.

Sign in / Sign up

Export Citation Format

Share Document