Cyclotomic Integers of Prescribed Absolute Value and the Class Group

Schmidt, Bernhard

doi:10.1006/jnth.1998.2275

Cited by 4 publications

(4 citation statements)

References 15 publications

(11 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As another corollary we get a result due to B. Schmidt [21,Thm. 3.3]; he calls a prime p self-conjugate modulo m = p a n if there is an integer j such that p j ≡ −1 mod n. Proof.…”

Section: Applicationssupporting

confidence: 53%

Ideal class groups of cyclotomic number fields III

Lemmermeyer

2011

Preprint

View full text Add to dashboard Cite

show abstract

“…As another corollary we get a result due to B. Schmidt [21,Thm. 3.3]; he calls a prime p self-conjugate modulo m = p a n if there is an integer j such that p j ≡ −1 mod n. Proof.…”

Section: Applicationssupporting

confidence: 53%

Ideal class groups of cyclotomic number fields III

Lemmermeyer

2011

Preprint

View full text Add to dashboard Cite

show abstract

“…As another corollary we get a result due to B. Schmidt [21,Thm. 3.3]; he calls a prime p self-conjugate modulo m = p a n if there is an integer j such that p j ≡ −1 mod n.…”

Section: T T T T T T T T T T T Qsupporting

confidence: 53%

Ideal class groups of cyclotomic number fields III

Lemmermeyer¹

2008

Acta Arith.

View full text Add to dashboard Cite

[255] c Instytut Matematyczny PAN, 2008 256 F. LemmermeyerIn this article we will show that k{(p)} contains K = Q(ζ p(p−1) ), and that k{(p)}/K is abelian and unramified. In particular we will see that Scholz's construction gives a subfield of the Hilbert class field of K.Classically, proofs that certain extensions are unramified were often done by applying Abhyankar's lemma, which gives sufficient conditions for killing tame ramification in extension fields:Lemma 2 (Abhyankar's lemma). Let L 1 /K and L 2 /K be finite extensions of algebraic number fields, and let L = L 1 L 2 denote their compositum. For a prime ideal P in L, let e j (j = 1, 2) denote the ramification indices of the primeAbhyankar's lemma can be used to construct unramified extensions quite easily; its disadvantage lies in the fact that it cannot handle wild ramification. We will circumvent this problem by describing the extensions via ideal groups and using basic class field theory. Our main result is the construction of class fields corresponding to various factors of class numbers of certain cyclotomic number fields that have been found over the last fourty years. Such factors have been constructed using Remarks. 1. The negative solution of the class field tower problem by Golod and Shafarevich implies the existence of number fields with arbitrarily large degree and bounded root discriminant, hence lim inf n→∞ E n /n = 0 (this follows already from Scholz's results given above). Scholz's original conjecture that lim n→∞ E n /n = 0 seems to be still open.2. The best upper bounds for lim inf E n used to come from examples due to Martinet, whose records have recently been improved by Hajir and Maire [9,10].3. Scholz communicated most of the results in [22] to Hasse in a letter from Aug. 22, 1936 (see [14]). In this letter he wrote he doubted that E p = O(p/log p) where p runs through the primes.4. There are a lot of open questions regarding the behaviour of root discriminants. The following problem is particularly appealing and might well be accessible with the tools we know today. Let us call a group G metabelian of level m if the mth derived group G (m) is trivial but G (m−1) = 1. Also let log r denote the rth iterated logarithm, i.e., log 0 n = n, log 1 n = log n, and log r+1 n = log log r n. Ankeny [1] showed that there is a constant Ideal class groups 257 c > 0 such that log rd(K) > c log m (K : Q) for all normal extensions K/Q whose Galois group G is metabelian of level m ≥ 1. It seems not to be known whether this is best possible in the following sense: for any m ≥ 1, does there exist a sequence of metabelian extensions K/Q of level m such that log rd(K) = O(log m (K : Q))? The answer to this question is clearly positive for m = 1, where the abelian extensions K = Q(ζ p ) satisfyScholz's results imply that the answer is also positive for m = 2 since log rd(K) < 2 log 2 (K : Q) for the metabelian extensions he constructed.10. Scholz's construction. We start by introducing the notation and by explaining the relevant facts from class fi...

show abstract

“…Furthermore, δ(x) = δ(b δ(x) ) and x ≥ b δ(x) for all integers x ≥ 2. Since log x/(log 2 log log x) > 3 for all x ≥ 3 and since log x/ log log x is an increasing function for x ≥ 16, it now suffices to verify the assertion for x = b 4 , b 5 , ..., b 48 . This can be done with a computer or with patience.…”

Section: Cyclotomic Integers and Finite Geometry 933mentioning

confidence: 99%

“…It turns out that in general this is impossible -at least with present day methods. The required complete knowledge of the cyclotomic integers of prescribed absolute value would yield an almost complete determination of the class group of the underlying cyclotomic field modulo the class group of its maximal real subfield [48,Prop. 3.1].…”

Section: Introductionmentioning

confidence: 99%