The 2-Sylow-Subgroup of the Tame Kernel of Number Fields

1991 ◽  
Vol 43 (2) ◽  
pp. 255-264 ◽  
Author(s):  
Boris Brauckmann
Keyword(s):  
Number Field ◽  
Sylow Subgroup ◽  
Class Group ◽  
Quadratic Extension ◽  
Number Fields ◽  
Surjective Homomorphism ◽  
Ring Of Integers ◽  
Tame Kernel

For a number field F with ring of integers OF the tame symbols yield a surjective homomorphism with a finite kernel, which is called the tame kernel, isomorphic to K2(OF). For the relative quadratic extension E/F, where and E ≠ F, let CS(E/ F)(2) denote the 2-Sylow-subgroup of the relative S-class-group of E over F, where S consists of all infinite and dyadic primes of F, and let m be the number of dyadic primes of F, which decompose in E.

scholarly journals Higher genus theory

2020 ◽  
Author(s):  
Peter Koymans ◽  
Carlo Pagano
Keyword(s):  
Number Field ◽  
Quadratic Forms ◽  
Class Group ◽  
Quadratic Extension ◽  
Number Fields ◽  
Explicit Description ◽  
Quadratic Number ◽  
Quadratic Number Field ◽  
Genus Theory ◽  
Narrow Class

Abstract In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss’s genus theory. In this paper, we extend Gauss’s work to the setting of multi-quadratic number fields. To this end, we introduce and parametrize the categories of expansion groups and expansion Lie algebras, giving an explicit description for the universal objects of these categories. This description is inspired by the ideas of Smith [ 16] in his recent breakthrough on Goldfeld’s conjecture and the Cohen–Lenstra conjectures. Our main result shows that the maximal unramified multi-quadratic extension $L$ of a multi-quadratic number field $K$ can be reconstructed from the set of generalized governing expansions supported in the set of primes that ramify in $K$. This provides a recursive description for the group $\textrm{Gal}(L/\mathbb{Q})$ and a systematic procedure to construct the field $L$. A special case of our main result gives an upper bound for the size of $\textrm{Cl}^{+}(K)[2]$.

scholarly journals On the Steinitz module and capitulation of ideals

2000 ◽  
Vol 160 ◽  
pp. 1-15
Author(s):  
Chandrashekhar Khare ◽  
Dipendra Prasad
Keyword(s):  
Number Field ◽  
Algebraic Curve ◽  
Class Group ◽  
Algebraic Curves ◽  
Finite Extension ◽  
Number Fields ◽  
Line Bundles ◽  
Exterior Power ◽  
Ring Of Integers ◽  
And Function

AbstractLet L be a finite extension of a number field K with ring of integers and respectively. One can consider as a projective module over . The highest exterior power of as an module gives an element of the class group of , called the Steinitz module. These considerations work also for algebraic curves where we prove that for a finite unramified cover Y of an algebraic curve X, the Steinitz module as an element of the Picard group of X is the sum of the line bundles on X which become trivial when pulled back to Y. We give some examples to show that this kind of result is not true for number fields. We also make some remarks on the capitulation problem for both number field and function fields. (An ideal in is said to capitulate in L if its extension to is a principal ideal.)

The Kernel of and the 4-Rank of K2(O)

1992 ◽  
Vol 35 (3) ◽  
pp. 295-302 ◽  
Author(s):  
Ruth I. Berger
Keyword(s):  
Number Field ◽  
Upper Bound ◽  
Class Group ◽  
Number Fields ◽  
Ideal Class ◽  
Ideal Class Group ◽  
Class Groups ◽  
Ring Of Integers

AbstractAn upper bound is given for the order of the kernel of the map on Sideal class groups that is induced by For some special types of number fields F the connection between the size of the above kernel for and the units and norms in are examined. Let K2(O) denote the Milnor K-group of the ring of integers of a number field. In some cases a formula by Conner, Hurrelbrink and Kolster is extended to show how closely the 4-rank of is related to the 4-rank of the S-ideal class group of

scholarly journals Phase Transitions on C*-Algebras from Actions of Congruence Monoids on Rings of Algebraic Integers

2020 ◽  
Author(s):  
Chris Bruce
Keyword(s):  
Phase Transitions ◽  
Class Group ◽  
Number Fields ◽  
Algebraic Integers ◽  
Ring Of Integers ◽  
C Algebras ◽  
Rings Of Algebraic Integers ◽  
Beta 2 ◽  
Factor State ◽  
Type Classification

Abstract We compute the KMS (equilibrium) states for the canonical time evolution on C*-algebras from actions of congruence monoids on rings of algebraic integers. We show that for each $\beta \in [1,2]$, there is a unique KMS$_\beta $ state, and we prove that it is a factor state of type III$_1$. There are phase transitions at $\beta =2$ and $\beta =\infty $ involving a quotient of a ray class group. Our computation of KMS and ground states generalizes the results of Cuntz, Deninger, and Laca for the full $ax+b$-semigroup over a ring of integers, and our type classification generalizes a result of Laca and Neshveyev in the case of the rational numbers and a result of Neshveyev in the case of arbitrary number fields.

scholarly journals A PRECISE RESULT ON THE ARITHMETIC OF NON-PRINCIPAL ORDERS IN ALGEBRAIC NUMBER FIELDS

2012 ◽  
Vol 11 (05) ◽  
pp. 1250087 ◽  
Author(s):  
ANDREAS PHILIPP
Keyword(s):  
Number Field ◽  
Algebraic Number ◽  
Theoretical Approach ◽  
Class Group ◽  
Algebraic Number Field ◽  
Number Fields ◽  
Algebraic Number Fields ◽  
Precise Result ◽  
Principal Order

Let R be an order in an algebraic number field. If R is a principal order, then many explicit results on its arithmetic are available. Among others, R is half-factorial if and only if the class group of R has at most two elements. Much less is known for non-principal orders. Using a new semigroup theoretical approach, we study half-factoriality and further arithmetical properties for non-principal orders in algebraic number fields.

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

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

An arithmetic characterization of algebraic number fields with a given class group

1983 ◽  
Vol 94 (1) ◽  
pp. 23-28 ◽  
Author(s):  
David E. Rush
Keyword(s):  
Abelian Group ◽  
Algebraic Number ◽  
Class Group ◽  
Finite Abelian Group ◽  
Number Fields ◽  
Unique Factorization ◽  
Class Groups ◽  
Algebraic Number Fields ◽  
Ring Of Integers

Let R be the ring of integers of a number field K with class group G. It is classical that R is a unique factorization domain if and only if G is the trivial group; and the finite abelian group G is generally considered as a measure of the failure of unique factorization in R. The first arithmetic description of rings of integers with non-trivial class groups was given in 1960 by L. Carlitz (1). He proved that G is a group of order ≤ two if and only if any two factorizations of an element of R into irreducible elements have the same number of factors. In ((6), p. 469, problem 32) W. Narkiewicz asked for an arithmetic characterization of algebraic number fields K with class numbers ≠ 1, 2. This problem was solved for certain class groups with orders ≤ 9 in (2), and for the case that G is cyclic or a product of k copies of a group of prime order in (5). In this note we solve Narkiewicz's problem in general by giving arithmetical characterizations of a ring of integers whose class group G is any given finite abelian group.

Sign in / Sign up

Export Citation Format

Share Document