Contact the Author | sample_mail@mail.com

Home › Blog › Articles, Mathematics/Algebraic Number Theory › On the 2-Class Field Tower Conjecture for Imaginary Quadratic Number Fields with 2-Class group of Rank 4

12
Aug

NOTE: This article was published in the Journal of Number Theory, 2015, Issue 154, pp. 118-143.

**On the 2-Class Field Tower Conjecture for Imaginary Quadratic Number Fields **

**with 2-Class group of Rank 4**

** **by** Elliot Benjamin, Ph.D. **February, 2015

** **

**Abstract **

** **We demonstrate the existence of infinitely many new imaginary quadratic number fields k with 2-class group C_{k,2}of rank 4 such that k has infinite 2-class field tower. In particular, we demonstrate the existence of new fields k as above when the 4-rank of the class group C_{k} is equal to 1 or 2, and infinitely many new fields k in the case that the 4-rank of C_{k} is equal to 1, exactly three negative prime discriminants divide the discriminant d_{k} of k, and d_{k} is not congruent to 4 mod 8. This lends support to the conjecture that all imaginary quadratic number fields k with C_{k,2}of rank 4 have infinite 2-class field tower.

** **

**Introduction**

** **Given an algebraic number field k, we denote by k^{1} the Hilbert 2-class field of k, i.e. the maximal abelian unramified extension of k with degree a power of 2. For nonnegative integers n we define the Hilbert 2-class field k^{n} inductively as k^{0} = k and k^{n+1 }= (k^{n})^{1}. Denoting by С the containment symbol, we define k^{0} Сk^{1} Сk^{2} С … k^{n} С … to be the 2-class field tower of k.

We say that the tower is finite if k^{n} = k^{n+1} for some n, with length n if n is minimal, and infinite otherwise.

** **It is well known that if k is an imaginary quadratic number field, C_{k,2} is the 2-Sylow subgroup

of the class group C_{k} (in the wide sense) of k, and rank C_{k,2} is the dimension over F_{2} of C_{k}/C_{k}^{2} where F_{2} is the finite field with two elements, then if rank C_{k,2} is greater than or equal to 5,

then k has infinite 2-class field tower [5]. It is also well known that for k imaginary quadratic with rank C_{k,2 }= 2 or 3, then the 2-class field tower of k may be finite or infinite, and that if rank C_{k,2 }= 1 then the 2-class field tower of k is finite and has length 1(cf. [9], [11], [12], [17]). It was conjectured in the late 1970s that if k is imaginary quadratic with rank C_{k,2 }= 4, then k has infinite 2-class field tower (cf. [12], [13]). In 1996 and 2000 Hajir, extending previous work that Koch (1969) had done in a particular case, used simpler techniques than Koch to prove a partial result in this direction: namely that if k is an imaginary quadratic number field such that C_{k} has 4-rank of 3 or 4 then k has infinite 2-class field tower (cf. [6], [7] and Lemma 1 below). From our own work in the early 2000s we obtained further partial results in the direction of the 2-class field tower conjecture, focusing upon the number of negative prime discriminants dividing the discriminant d_{k} of k, the Kronecker symbols of the primes dividing d_{k}, the congruence class mod 8 of d_{k}, and the 4-rank of C_{k} (cf. [1], [2]). Subsequent to our own work, in the 2000s Sueyoshi used Rédei matrices to improve upon our results in the cases when exactly one negative prime discriminant divides d_{k} and when exactly three and five negative prime discriminants divide d_{k}, in particular proving that k has infinite 2-class field tower when k is such that the 4-rank of C_{k} is equal to 1, five negative prime discriminants divide d_{k}, and d_{k} is not congruent to 4 mod 8 (cf. [15], [16], [18], [19], [20]). And in 2010 Mouhib improved upon Sueyoshi’s results in the one negative prime discriminant case, proving that k always has infinite 2-class field tower if exactly one negative prime discriminant divides d_{k} (cf. Lemma 3 and [14]).

From the above we see that for the cases when exactly three or five negative prime discriminants divide d_{k},we, as well as Sueyoshi, have obtained partial results in the direction of the 2-class field tower conjecture (cf. [1], [2], [18], [19], [20] and Lemmas 4 through 7 below).

We summarize the above historical results for when we know the 2-class field conjecture is

satisfied as follows, where k is an imaginary quadratic number field with rank C_{k,2} = 4, “Negative Prime Discriminants” denotes the exact number of negative prime discriminants dividing d_{k}, “Congruency” denotes whether or not d_{k} is congruent to 4 mod 8, and “Literature” refers to the researcher who initially completely proved the final result.

** **

**Table 1: Cases when 2-Class Field Conjecture is Satisfied**

4-rank of C_{k} Negative Prime Discrminants Congruency Literature

3 or 4 1, 3, or 5 no restrictions Hajir, 1996, 2000

0, 1, 2, 3, or 4 1 no restrictions Mouhib, 2010

2 5 no restrictions Benjamin, 2002

2 3 not 4 mod 8 Benjamin, 2002

1 5 not 4 mod 8 Sueyoshi, 2009

_{ } For our present purpose we define “new” imaginary quadratic number fields k with rank C_{k,2 }= 4 and infinite 2-class field tower, as fields that do not satisfy the conditions of any of the cases of Lemmas 4 through 7 below, and to the best of our knowledge have not been reported in the literature, either as a part of families or as separate examples. By applying a result by Schmithals (1980), we are able to demonstrate the existence of new imaginary quadratic number fields k with infinite 2-class field tower when rank C_{k,2 }= 4 and C_{k} has 4-rank 1 or 4-rank 2.

In particular, we show that there exist infinitely many new imaginary quadratic number fields k with infinite 2-class field tower when k is such that the 4-rank of C_{k} is equal to 1, exactly

three negative prime discriminants divide d_{k}, and d_{k} is not congruent to 4 mod 8. In the 4-rank 2 case, we obtain new fields k such that exactly three negative prime discriminants divide d_{k, }

d_{k} is congruent to 4 mod 8, and the Kronecker symbols of the primes dividing d_{k} satisfy the conditions we have previously given for which we do not know in general if the 2-class field tower is finite or infinite (cf. [2] and Case C of Lemma 5 below).

** **

**Preliminaries**

** **We begin by stating the Golod & Shafarevich Inequality (as refined by Gaschutz and Vinberg), and two related inequalities that have been derived from a more generic inequality by

Martinet (as described in [19]), all of which have been quite useful in obtaining the results that

we give in Lemmas 3 through 7 (cf. [5], [10], [13], [19], [20]).

**Lemma 1: Golod & Shafarevich Inequality **(refined by Gaschutz and Vinberg)**:** Let k be a number field, C_{k} be the class group of k, and E_{k} be the group of units of k. Then the 2-class field tower of k is infinite if rank C_{k,2} is greater than or equal to 2 + 2(√(rank_{2}(E_{k}) + 1)), where rank_{2}(E_{k}) is the dimension of the elementary 2-group E_{k}/E_{k}^{2}considered as a vector space over F_{2} (and can be described as the number of infinite primes of k).

**Lemma 2**: i) Let F be a totally real number field of degree n, and E be a totally imaginary quadratic extension of F. Let t be the number of prime ideals of F which ramify in E. If t ≥ 3 + 2√(n + 1), then the 2-class field tower of E is infinite.

ii) Let F be a totally imaginary number field of degree n, and E be a quadratic extension of F. Let t be the number of prime ideals of F which ramify in E. If t ≥ (n/2) + 3 + 2(√(n + 1)), then the 2-class field tower of E is infinite.

** **We next combine our aforementioned results by Hajir and Mouhib (cf. [5], [6], [14]) into the following lemma.

**Lemma 3**: Let k be an imaginary quadratic number field such that C_{k} has 4-rank ≥ 3, or

rank C_{k,2 }= 4 and exactly one negative prime discriminant divides d_{k}. Then k has infinite

2-class field tower.

For the remaining cases when exactly three or five negative prime discriminants divide d_{k}

for k an imaginary quadratic number field with rank C_{k,2 }= 4, we state our previous results

(cf. Lemmas 4, 5, and 6), as well as the relevant results of Sueyoshi (cf. Lemma 7), in the form

of the four lemmas given below (cf. [1], [2], [19], [20]). In Lemma 7 we utilize only parts ii)

and iv) in Sueyoshi’s Proposition in [19] and [20], as parts i) and iii) are contained in our own previous results (see cases A and B of Lemma 4 below). However, we first describe how we obtain the 4-ranks of our quadratic number fields.

To obtain the 4-ranks of the class groups of our various fields, we will utilize both

d_{k}-splittings of the second kind and Rédei matrices (cf. [15], [16], ]18], [19], [20]). Given an algebraic number field k, we define a d_{k}-splitting of the second kind to be a splitting of d_{k} into two relatively prime fundamental discriminants (d_{1}, d_{2}) such that the Kronecker symbols

(d_{1}/p) = 1 and (d_{2}/q) = 1 for all primes p dividing d_{2} and for all primes q dividing d_{1}, and where we consider the splitting (1, d_{1}d_{2}) to be the trivial d_{k}-splitting of the second kind. It is

well known that for any quadratic (number field k, if s is the number of d_{k}-splittings of the second kind and r is the 4-rank of the narrow-class group of k, then 2^{r} = s (cf. [16]).

We also use Rédei matrices, which are described as follows (cf. [16], [17], [19], [20], [21]), where k is a quadratic number field. Let d_{k} = p_{1}*p_{2}*…p_{t}* be the unique factorization of d_{k} into a product of prime discriminants, where p* = (-1)^{(p-1)/2)}p if p is an odd prime, and p* = -4, 8, or -8 if p = 2. The Rédei matrix R_{k} = (a_{ij}) with entries in the finite field F_{2}, is describedas a matrix consisting of Kronecker symbol representations a_{ij} such that -1 to the exponent a_{ij} equals {(p_{i}*/p_{j}) if i ≠ j, and ((d_{k}/p_{i}*)/p_{i}) if i = j}. For properties of Rédei matrices see the above references, and in particular we mention that the sum of all row vectors of R_{k} is equal to the zero vector in F_{2}, and the following 4-rank property of Rédei matrices that we will make much use of to establish our results in this paper.

** **

**Rédei matrix 4-rank property**: The 4-rank of the narrow class group of a quadratic number field k is equal to t – 1 – rank R_{k}, where t is the number of prime discriminants dividing d_{k}, and if k is imaginary this translates into the 4-rank of C_{k} is equal to t – 1 – rank R_{k}.

We now state our four lemmas mentioned above.

**Lemma 4**: Let k be an imaginary quadratic number field such that rank C_{k,2 }= 4. Then k has infinite 2-class field tower in the following cases:

A) there exists a negative prime discriminant d_{j} dividing d_{k, }such that (-p_{j}/p_{i}) = 1 where p_{j} is the prime dividing d_{j}, all p_{i} are distinct, and p_{i} is distinct from p_{j} for all primes p_{i} dividing d_{k,}

1 ≤ i ≤ 5;

B) for some prime p_{j} congruent to 1 mod 4, or p_{j} = 2, in which case we further assume that 8 is a fundamental discriminant dividing d_{k}, we have (p_{j}/p_{k}) = (p_{k}/p_{l}) = (p_{j}/p_{m}) = 1, p_{j}, p_{k}, p_{l}, p_{m} distinct

primes dividing d_{k};

C) at least two of the prime discriminants dividing d_{k} are positive, and (p_{1}/p_{3}) = (p_{2}/p_{3}) = 1 where p_{1} and p_{2} are distinct primes dividing positive prime discriminants dividing d_{k}, and p_{3} is a prime dividing a positive or negative prime discriminant dividing d_{k}, where p_{3} is not equal to p_{1} or p_{2}.

**Remark 1**: We note that in Lemma 1 of [2] we mistakenly stated the requirement in Case B above as (p_{j}/p_{k}) = (p_{k}/p_{l}) = (p_{j}/p_{m}) (see Lemma 1 in [1] for the correct statement).

**Lemma 5**: Let k be an imaginary quadratic number field with rank C_{k,2 }= 4 and 4-rank of C_{k}

equal to 2. Then k has infinite 2-class field tower in each of the following cases:

A) five negative prime discriminants divide d_{k};

B) d_{k} not congruent to 4 mod 8;

C) d_{k} congruent to 4 mod 8 and exactly three negative prime discriminants divide d_{k},

and the Kronecker symbols of the primes dividing d_{k} do not have the format (p_{1}/q_{1}) = (p_{1}/q_{2}) = (p_{1}/q_{3}) = (p_{2}/q_{1}) = (p_{2}/q_{2}) = (p_{2}/q_{3}) = -1, where p_{1} and p_{2} are distinct primes dividing positive prime discriminants dividing d_{k}, and q_{1}, q_{2}, and q_{3} are distinct primes dividing negative prime discriminants dividing d_{k}._{ }

** **For our next lemma, we note that If k is an imaginary quadratic number field with 4-rank 1, then from our above description of d_{k}-splittings of the second kind we see that there is a unique non-trivial d_{k}-splitting of the second kind for k. The following lemma is a corrected version of Lemma 6 in [2] from our earlier work (see Remark 2 below), in which we use the following notation: p_{1}^{*} and p_{2}^{*} are distinct positive prime discriminants dividing d_{k}, q_{1}^{*} is a negative prime discriminant dividing d_{k}, and r_{i}^{*}, 2 ≤ i ≤ 5, represent distinct positive prime discriminants or negative prime discriminants dividing d_{k} such that r_{i}^{*} is distinct from p_{1}^{*}, p_{2}^{*}, and q_{1}^{*}.

**Lemma 6**: Let k be an imaginary quadratic number field with rank C_{k,2 }= 4 such that C_{k} has 4-rank 1. If the nontrivial d_{k}-splitting of the second kind is either (without loss of generality) (q_{1}^{*}, r_{2}^{*}r_{3}^{*}r_{4}^{*}r_{5}^{*}) or (p_{1}^{*}, r_{2}^{*}r_{3}^{*}r_{4}^{*}r_{5}^{*}), or if d_{k} is not congruent to 4 mod 8 and the nontrivial d_{k}-splitting of the second kind is (p_{1}^{*}p_{2}^{*}, r_{1}^{*}r_{2}^{*}r_{3}^{*}), then k has infinite 2-class field tower.

**Remark 2**: We note that in the statement of Lemma 6 in [2] we mistakenly included the case

d_{k} congruent to 4 mod 8 with the nontrivial d_{k}-splitting of the second kind (p_{1}^{*}p_{2}^{*}, r_{1}^{*}r_{2}^{*}r_{3}^{*}).

For parts i and ii of the following lemma, cf. [19], [20]: Proposition: parts ii and iv.

**Lemma 7**: Let k be an imaginary quadratic number field and let F be subfield of the genus field of k.

i) Suppose that F/Q is a totally real biquadratic extension, where Q is the field of rational numbers. If three rational primes split completely in F and another rational prime is unramified in F and these four rational primes ramify in k, then the 2-class field tower of k is infinite.

ii) Suppose that F/Q is a totally imaginary biquadratic extension. If two rational primes split completely in F and another rational prime is unramified in F and these three ramified primes

ramify in k, then the 2-class field tower of k is infinite.

iii) Let k be an imaginary quadratic number field such that rank C_{k,2 }= 4, C_{k} has 4-rank 1,

five negative prime discriminants divide d_{k}, and d_{k} is not congruent to 4 mod 8. Then k has infinite 2-class field tower, where Q is the field of rational numbers.

**Remark 3**: Recall the well-known result from genus theory (cf. [3], [8], [16]) that if k is a quadratic number field with discriminant d_{k} and t is the number of primes that ramify in k (which is the number of primes that divide d_{k}), then rank C_{k,2} = t – 2 if d_{k} > 0 and is not a sum of two squares, and rank C_{k,2} = t – 1 otherwise.

We also state a result from Mouhib (2010), that he utilized to demonstrate that there are

imaginary quadratic number fields k with rank C_{k,2 }= 2 and 4-rank of C_{k} equal to 2 such that

k has infinite 2-class field tower (see Remark 11 in the final section). We discuss this result in regard to an open question about the 2-class field tower conjecture (see Question 4 in the Open Questions section).

**Lemma 8**: Let d be a square-free positive integer such that d is not congruent to 1 mod 4,

let M = Q(√d), and assume that 8 divides C_{M}. Then for every prime number q congruent to

3 mod 4 such that the equation x^{2} – dy^{2} = q has a solution in Z x Z (where Z is the ring of

integers), the imaginary quadratic number field Q(√-qd) has infinite 2-class field tower.

** **

**Remark 4**: We note that given the assumptions of Lemma 8, it must be the case that

x and y are both odd, and d is congruent to 2 mod 4.

** **

**An Application of a Result by Schmithals **

**to Obtain New Imaginary Quadratic Number Fields k with Rank C _{k,2 }= 4**

**that Satisfy the 2-Class Field Tower Conjecture**

To find new fields k that satisfy the 2-class field tower conjecture we now utilize the following application of a result by Schmithals (cf. the inequalities (1) and (3) in [17]) where k is an imaginary quadratic number field, F is a real quadratic number field, K is the compositum of

k^{1} and F, h denotes the 2-class number (in the wide sense) of F, and m is the number of primes q dividing d_{k} such that (d_{F}/q) = -1.

**Lemma 9:** If m ≥ (1/h)(3 + 2√(2h + 1) then k has infinite 2-class field tower.

**Remark 5:** Lemma 9 follows immediately from Schmithals’ more generic inequalities in [17] (cf. inequalities (1) and (3)). As noted by Schmithals, a more generic form of Lemma 9

(cf. inequality (3) in [17]) is satisfied with m = 1 and h ≥ 16.

** **

**Remark 6:** Schmithals utilized what we have referred to as Lemma 9 to prove that there are infinitely many imaginary quadratic number fields k with exactly three primes dividing d_{k}

that have infinite 2-class field tower (cf. Satz 1 and Beispiel 4, which is k = Q(√-5.11.461),

in [17]). Utilizing our above Remark 3 and 4-rank of C_{k} criteria, we see that in effect Schmithals proved in 1980 that there are infinitely many imaginary quadratic number fields k with

rank C_{k,2 }= 2 and 4-rank of C_{k} equal to 2 that have infinite 2-class field tower. Mouhib in 2010 proved this same result (cf. Prop. 3.3 in [14]), referring to Schmithals’ example

k = Q(√5.11.461), but he did not mention Schmithals’ essential proof of the result. For historical accuracy we would like to emphasize here that the proof of this result should be attributed to Schmithals in 1980.

Utilizing Lemma 9 we immediately obtain the following lemma, which is what we utilize to obtain our new imaginary quadratic number fields k with rank C_{k,2 }= 4 and infinite 2-class field tower.

**Lemma 10**: Let p_{i}, q_{i}, i = 1, 2, 3, 4, be distinct prime numbers such that p_{i} is congruent to 1 mod 4 and q_{i} is congruent to 3 mod 4, and let q_{5} be a prime number such that q_{5} is congruent to

3 mod 4, or q_{5} = 2 if q_{5}* = -4 or q_{5}* = -8, and q_{5} is not equal to q_{i} for i = 1, 2, 3 or 4. Without loss of generality let M = Q(√p_{1}p_{2}q_{1}) (resp. Q√q_{1}q_{2}q_{3}), Q√q_{1}q_{2}q_{3}q_{4}), Q(√p_{1}p_{2}q_{1}q_{2}), Q√2q_{1}q_{2}q_{3}), Q(√2p_{1}q_{1}q_{2}), Q(√2p_{1}p_{2}q_{1}), Q(√2p_{1}p_{2}p_{3}), Q(√p_{1}p_{2}p_{3}p_{4})). Assume that 16 divides h(M), and (4p_{1}p_{2}q_{1}/q_{5}) = -1 (resp. (4q_{1}q_{2}q_{3}/q_{5}) = -1, (q_{1}q_{2}q_{3}q_{4}/q_{5}) = -1, (p_{1}p_{2}q_{1}q_{2}/q_{5}) = -1, (2q_{1}q_{2}q_{3}/q_{5}) = -1, (2p_{1}q_{1}q_{2}/q_{5})= -1, (2p_{1}p_{2}q_{1}/q_{5}) = -1, (2p_{1}p_{2}p_{3}/q_{5}) = -1, (p_{1}p_{2}p_{3}p_{4}/q_{5}) = -1). Let L be an imaginary quadratic number field with exactly five primes dividing d_{L}, and moreover let L = Q(√-p_{1}p_{2}q_{1}q_{5}) (resp. Q√-q_{1}q_{2}q_{3}q_{5}), Q√-q_{1}q_{2}q_{3}q_{4}q_{5}), Q√-q_{1}q_{2}q_{3}q_{4}), Q(√-p_{1}p_{2}q_{1}q_{2}q_{5}), Q(√-p_{1}p_{2}q_{1}q_{2}), Q√-2q_{1}q_{2}q_{3}q_{5}), Q(√-2p_{1}q_{1}q_{2}q_{5}), Q(√-2p_{1}p_{2}q_{1}q_{5}), Q(√-2p_{1}p_{2}p_{3}q_{5}), Q(√-2p_{1}p_{2}p_{3}p_{4}), Q(√-p_{1}p_{2}p_{3}p_{4}q_{5}), Q(√-p_{1}p_{2}p_{3}p_{4})). Then L has infinite 2-class field tower.

In the next section we will demonstrate by the use of Lemma 10 the existence of some new imaginary quadratic number fields k such that rank C_{k,2 }= 4 and C_{k} has 4-rank 2, which satisfy the 2-class field tower conjecture as described above. For the new fields that we will obtain, the Kronecker symbols listed in Case C of Lemma 5 all have value -1, and these fields satisfy the discriminant conditions of Lemma 5; in particular d_{k} is congruent to 4 mod 8, exactly three negative prime discriminants divide d_{k}, and the Kronecker symbols of the primes dividing d_{k} have the format (p_{1}/q_{1}) = (p_{1}/q_{2}) = (p_{1}/q_{3}) = (p_{2}/q_{1}) = (p_{2}/q_{2}) = (p_{2}/q_{3}) = -1, where p_{1}, p_{2}, q_{1}, q_{2}, and q_{3} are defined as in Case C of Lemma 5. To obtain these new fields, we make use of Rédei matrices as we have described above (cf. [18], [19], [20]), and we give a particular formulation in the context of the following lemma.

** **

**Lemma 11**: Let k be an imaginary quadratic number field such that rank C_{k,2 }= 4 and C_{k} has

4-rank 2, exactly three negative prime discriminants divide d_{k}, d_{k} is congruent to 4 mod 8, and the Kronecker symbols of the primes dividing d_{k} satisfy the equalities listed in Case C of

Lemma 5. Without loss of generality let q_{1} = 2, and M_{1}, M_{2}, and M_{3} denote the corresponding real quadratic fields M_{1} = Q(√p_{1}p_{2}q_{2}q_{3}), M_{2} = Q(√p_{1}p_{2}q_{2}), and M_{3} = Q(√p_{1}p_{2}q_{3}). Then

h(M_{2}) = h(M_{3}) = 4, and h(M_{1}) ≥ 8; h(M_{1}) ≥ 16 if and only if the narrow class group of M_{1} has

8-rank 1. If (p_{1}/p_{2}) = 1 and the narrow class group of M has 8-rank 1, then k is a new field with infinite 2-class field tower.

**Proof**: We see from Sueyoshi (cf. [19], [20]) that the Rédei matrices of fields k that satisfy the assumptions of the lemma can be described as follows, where the entries a_{ij} are in the field F_{2}, 1 ≤ i ≤ 5, 1 ≤ j ≤ 5; if i ≠ j then a_{ij} = 1 if and only if (r_{i}/r_{j}) = -1, and if i = j then a_{ij} = 1 if and only if [d_{k}/r_{i}^{*}]/r_{i}) = -1, where r_{i},1 ≤ i ≤ 5, are the primes dividing d_{k}, r_{1}^{*} = -4, r_{1} = q_{1} = 2, r_{2}^{*} < 0,

r_{3}^{*}< 0, r_{4}^{*} > 0, r_{5}^{*} > 0, and [d_{k}/r_{i}^{*}] denotes d_{k} divided by the prime discriminant r_{i}^{*}; the symbol * is used to denote that a_{ij} can have the value 0 or 1, with the stipulations described below; we denote r_{2} = q_{2}, r_{3} = q_{3}, r_{4} = p_{1}, and r_{5} = p_{2}.

Then R_{k} = [* 1 1 0 0

* 1 1 1 1

* 0 0 1 1

1 1 1 * *

1 1 1 * *]

As described by Sueyoshi (cf. [19]), it is understood that this Rédei matrix formulation of R_{k} can have a change of order of the r_{i}’s, 2 ≤ i ≤ 5, the sum of all row vectors of R_{k} is equal to the zero vector in F_{2}, and if a_{44} = 0 then a_{45} = a_{54} = a_{55} = 0 and a_{11} = 1, and if a_{44} = 1 then a_{45} = a_{54} = a_{55} = 1 and a_{21} = 1; consequently there are four generic types of these Rédei matrices. From an examination of the matrices of M_{1}, M_{2}, and M_{3}, we see that the ranks of these matrices are respectively 2, 3, and 3, and from Remark 3 and the 4-rank formula for the narrow class group using Rédei matrices (see Preliminaries), along with the well-known fact that if a prime congruent to 3 mod 4 divides d_{k }then the rank of the narrow group is twice the rank of the wide class group (see for example [16]), we obtain that the 2-class groups of M_{2} and M_{3} are elementary (i.e. have 4-rank 0), and the 2-class group of M_{1} has 4-rank 1, which implies that h(M_{2}) = h(M_{3}) = 4 and h(M_{1}) ≥ 8. It is immediate from what we have described above that the condition h(M_{1}) ≥ 16 is equivalent to the narrow class group of M_{1} having 8-rank 1, which is equivalent to the (wide) class group of M_{1} also having 8-rank 1, and there is a known criteria using the Hilbert symbol to determine the 8-rank of a quadratic number field (cf. [21]). Finally, if (p_{1}/p_{2}) = 1 (meaning that (r_{4}/r_{5}) = 1) we see from the description of R_{k} given above that a_{11} = 1 and consequently we must have a_{21} ≠ a_{31}. Therefore we obtain the Kronecker symbol (p_{1}p_{2}q_{2}q_{3}/2) = -1, which along with the assumption that the narrow class group of M_{1} has 8-rank 1 (which as we have seen, is equivalent to h(M_{1}) ≥ 16) gives us the required conditions of Lemma 10 to obtain that k has infinite 2-class field tower. Since we are not able to utilize either Lemma 4 or Lemma 7 (or any other formulations in the literature to the best of our knowledge; see Case 60 in [20]) to show that k has infinite 2-class field tower, k is a “new” field and our lemma is established.

** **

**NOTE**: For the remainder of this paper, unless stated otherwise k will always denote an imaginary quadratic number field with rank C_{k,2 }= 4. _{ }

The following lemma is useful to show that if a field L satisfies the conditions of Lemma 11, then there are infinitely many such fields that also satisfy these conditions, and consequently have infinite 2-class field tower, which we will make use of to show that there are infinitely many new fields k that satisfy the 2-class field tower conjecture when C_{k} has 4-rank 1.

**Lemma 12**: Assume there exists a field L that satisfies the conditions of Lemma 10. Then there exist infinitely many such fields that also satisfy these conditions, and therefore there exist infinitely many such fields that have infinite 2-class field tower that satisfy the conditions of Lemma 10.

**Proof**: By way of illustration, we demonstrate the result for two specific cases of Lemma 10, using the Chinese Remainder Theorem (CRT) and Dirichlet’s Theorem of Primes in an Arithmetic Progression (DPAP). Let M = Q(√p_{1}p_{2}q_{1}) and L = Q(√-p_{1}p_{2}q_{1}q_{5}). Using CRT and DPAP we are able to formulate infinitely many fields L of the form Q(√-p_{1}p_{2}q_{1}q) where q is a prime congruent to 3 mod 4 and (p_{1}/q_{5}) = (p_{1}/q), (p_{2}/q_{5}) = (p_{2}/q), and (q_{1}/q_{5}) = (q_{1}/q). Now let M = Q(√p_{1}p_{2}q_{1}q_{2}) and L = Q(√-p_{1}p_{2}q_{1}q_{2}). Similarly, we once again use CRT and DPAP, to formulate infinitely many fields L of the form Q(√-p_{1}p_{2}q_{1}q_{2}q) where q is a prime congruent to 3 mod 4, and (p_{1}/2) = (p_{1}/q), (p_{2}/2) = (p_{2}/q), (-q_{1}/2) = (2/q_{1}) = (q_{1}/q), and (-q_{2}/q) = (2/q_{2}) = (q_{2}/q). Since (p_{1}p_{2}q_{1}q_{2}/2) = (p_{1}p_{2}q_{1}q_{2}/q), we see that we again have obtained infinitely many fields that satisfy the conditions of Lemma 10, and consequently have infinite 2-class field tower. The remaining cases of Lemma 10 are done similarly, and we leave the details to the reader.

** **

**Remark 7**: Our use of CRT and DPAP in the proof of Lemma 12 generalizes the technique Mouhib used in the rank C_{k,2 }= 2 case, as described in the remark following Prop. 3.3 in [14] (however, see Remark 6 above). Note that if k is a field described in Lemma 11 for which we are able to show has infinite 2-class fields tower by means of Lemma 10, then we must have M_{1} = Q(√p_{1}p_{2}q_{2}q_{3}). Therefore when we use CRT and DPAP as described in the proof of Lemma 12, the infinitely many fields we obtain all have d_{k} not congruent to 4 mod 8, and therefore by Lemma 5: Part b we know that any such field k in this infinite collection for which C_{k} has

4-rank 2 is not a new field.

We now demonstrate the existence of new fields k with infinite 2-class field tower such that

rank C_{k,2 }= 4 and C_{k} has 4-rank 2, three negative prime discriminants divide d_{k}, d_{k} is congruent to

4 mod 8, and the Kronecker symbols of the primes dividing d_{k} satisfy the equalities listed in

Case C of Lemma 5.

** **

**Case 1: 4-Rank of C _{k} Equal to 2**

** **We see from above that in the 4-rank of C_{k} equal to 2 case we know that k has infinite 2-class field tower except for one family of fields, and from [2] we see that this is specifically the family of fields such that d_{k} is congruent to 4 mod 8, exactly three negative prime discriminants divide d_{k}, and the Kronecker symbols of the primes dividing d_{k} have the format (p_{1}/q_{1}) = (p_{1}/q_{2}) = (p_{2}/q_{2}) = (p_{2}/q_{2}) = (p_{1}/2) = (p_{2}/2) = -1, where p_{1} and p_{2} are primes congruent to 1 mod 4 dividing d_{k}, and q_{1} and q_{2} are primes congruent to 3 mod 4 dividing d_{k}. To make use of Lemma 11 to obtain our new fields, we begin by defining a Rédei sub-type matrix of 4-rank n, n = 0, 1, or 2, which we denote by R_{n}, to be a matrix with particular conditions that is contained in a family S of generic Rédei matrices listed in [19] or [20], such that if k is a field with the property that the primes dividing d_{k} satisfy the Kronecker symbol matrix entries of R_{n} (which we will denote by saying that “k satisfies R_{n}”), then C_{k} has 4-rank n and k does not satisfy any matrix in S – R_{n}. Once again the matrix entry * signifies a choice of 0 or 1, and when d_{k} is congruent to 4 mod 8 it is understood that q_{1}* = -4. It is also understood that these Rédei matrices are generic in the sense that aside from q_{1}* = -4, the order of the primes dividing positive prime discriminants (resp. dividing negative prime discriminants) can be changed (cf. [18]. [19], [20]). We refer to a particular Rédei sub-type matrix R_{n} as “open” if there exists

a field k as above that satisfies R_{n} for which it is not known if k is a new field with infinite

2-class field tower.

From Case 60 in [20] we see that there are exactly four open Rédei sub-type matrices of 4-rank 2, and that if k satisfies any one of these four matrices then k has the above Kronecker symbol format. We refer to fields k with 4-rank 2 that have the above Kronecker symbol format as Family D_{2} fields. From [20] we see that a_{23} = a_{41 }=a_{51 }= a_{24 }= a_{25 }= a_{34 }=a_{35 }=1 for all four of these open Rédei sub-type matrices, and that we can distinguish these matrices in the following way (see the above description of Rédei matrices):

a) a_{45} = 0, a_{11 }= 1, a_{21 }= 1, a_{31 }= 0 b) a_{45} = 0, a_{11 }= 1, a_{21 }= 0, a_{31 }= 1 c) a_{45} = 1, a_{11 }= 1, a_{21 }= 1, a_{31 }= 0 d) a_{45} = 1, a_{11 }= 0, a_{21 }= 1, a_{31 }= 1

We can describe the generic Rédei matrix R_{k} for the D_{2} family as follows, where the * entries would be entered in accordance with the above stipulations for matrices a, b, c, and d (cf. [20]):

[* 1 1 0 0

* 1 1 1 1

* 0 0 1 1

1 1 1 * *

1 1 1 * *]

In our examples that followwe utilize Lemmas 10 and 11 to demonstrate the existence of some new fields k as above that have infinite 2-class field tower and satisfy cases a, b, or c above, and we use [4] to obtain the 2-class numbers of our corresponding real quadratic number fields M.

**Example 1**: k = Q(√-5.13.7.827) = Q(√-376285), M = Q(√5.13.7.827) = Q(√376285), h(M) = 16, (5.13.7.827/2) = -1, (5/2) = (13/2) = (5/7) = (5/827) = (13/7) = (13/827) = -1, C_{k} has 4-rank 2 and the three nontrivial d_{k}-splittings of the second kind of k are (5.13, -4.7.827), (-5.827, 4.7.13), and (-13.827, 4.5.7). Since from Lemma 10 we see that k is a new field with infinite 2-class field tower and this cannot be obtained by using either Lemma 4 or Lemma 7, we can conclude that k is a new field of this type (see Case 60 in [20]).

**Example 2**: k = Q√-5.13.47.827) = Q(√-2526485), M = Q√5.13.47.827) = Q(√2526485), h(M) = 16, (5.13.47.827/2) = -1, (5/2) = (13/2) = (5/47) = (5/827) = (13/47) = (13/827) = -1, C_{k} has 4-rank 2. Since (2/7) = (2/47) = (827/7) = (827/47) = 1, we see from the above Kronecker symbol equalities that the primes 7 and 47 have the same Kronecker symbol formulations with the other primes dividing d_{k}, and from Lemma 10 we obtain a new field with infinite 2-class field tower.

**Example 3**: k = Q(√(-5.29.47.827) = Q(√-5636005), M = Q(√5.29.47.827) = Q(√5636005), h(M) = 16; C_{k} has 4-rank 2. Since (29/5) = 1 we see immediately from the proof of Lemma 11 that (5.29.47.827/2) = -1, and from Lemma 10 or Lemma 11 we are able to conclude that k is a new field with infinite 2-class field tower.

**Example 4**: Let k = Q(√-5.29.47.43) = Q(√-293045), and M = Q(√5.29.47.43) = Q(√293045). We see that h(M) = 16, (5.29.47.43/2) = -1, and in a similar manner to Examples 1, 2, and 3 we are able to conclude from Lemma 10 that k has infinite 2-class field tower.

**Remark 8**: Although our above examples illustrate that we can find new fields that satisfy the Rédei matrices listed in cases a, b, and c above, we are not able to utilize Lemma 10 to find a new field with infinite 2-class field tower that satisfies the Rédei matrix listed in case d. This can be seen from the fact that (p_{1}p_{2}q_{2}q_{3}/2) = 1, and from the fact that h(Q(√p_{1}p_{2}q_{2})) = h(Q(√p_{1}p_{2}q_{3})) = 4 (cf. Lemma 10).

We now put together Lemmas 10 and 11 and our above examples to state our first main result as the following theorem.

** **

**Theorem 1**: Let F_{k} be the family of imaginary quadratic number fields k such that rank C_{k,2 }= 4, C_{k} has 4-rank 2, d_{k} is congruent to 4 mod 8, three negative prime discriminants divide d_{k}, and the Kronecker symbols of the primes dividing d_{k} have the format (p_{1}/q_{1}) = (p_{1}/q_{2}) = (p_{1}/q_{3}) = (p_{2}/q_{1}) = (p_{2}/q_{2}) = (p_{2}/q_{3}) = -1, where p_{1} and p_{2} are distinct primes dividing positive prime discriminants dividing d_{k}, and q_{1}, q_{2}, and q_{3} are distinct primes dividing negative prime discriminants dividing d_{k}.Then there exist new fields k in this family that have infinite 2-class field tower.

For the case when rank C_{k,2 }= 4 and 4-rank of C_{k} equal to 1, we know from Sueyoshi

(cf. Lemma 7: Part iii and [19]) that if five negative prime discriminants divide d_{k} and d_{k} is not congruent to 4 mod 8 then k has infinite 2-class field tower. For each of the remaining cases, i.e. when d_{k} is congruent to 4 mod 8 and exactly three or five negative prime discriminants divide d_{k}, and when exactly three discriminants divide d_{k} and d_{k} is not congruent to 4 mod 8,

we will show that there exists at least one new imaginary quadratic number field k with

infinite 2-class field tower. Furthermore, we will show that there are infinitely many new such fields k with infinite 2-class field tower in the case when exactly three discriminants divide d_{k} and d_{k} is not congruent to 4 mod 8. We begin with the case when five negative prime discriminants divide d_{k} and d_{k} is congruent to 4 mod 8.

** **

**Case 2: Five Negative Prime Discriminants Dividing d _{k} **

**with 4-Rank of C _{k} Equal to 1 and d_{k} Congruent to 4 mod 8**

** **For the case when five negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is congruent to 4 mod 8, we see from [19] that there are exactly six particular open Rédei sub-type matrices of 4-rank 1, and that k always has infinite 2-class field tower for two of these Rédei sub-type matrices (corresponding to matrices m and o in [19]). For the remaining two generic Rédei sub-type matrices (corresponding to matrices n and p in [19]) we now make use of Lemma 11 to show that there exists a new field k with infinite 2-class field tower that satisfies matrix n (resp. matrix p). We describe matrices n and p as follows, where once again it is understood that p_{1}* = -4, the matrix entry * signifies a choice of 0 or 1, and that these Rédei matrices are generic in the sense that the order of the q_{i}’s (2 ≤ i ≤ 5) can be changed. We divide each of the matrices n and p into its two possible generic Rédei matrices: n_{1, }n_{2}, p_{1}, p_{2} as follows:

n_{1}: [1 1 1 1 1 n_{2}: [0 1 1 1 1 p_{1}: [* 1 1 1 1 p_{2}: [* 1 1 1 1

1 1 1 1 1 0 1 1 1 1 * 0 1 1 0 * 0 1 1 0

* 0 1 1 0 * 0 1 1 0 1 0 0 1 1 0 0 0 1 1

* 0 0 1 1 * 0 0 1 1 1 0 0 1 1 0 0 0 1 1

* 0 1 0 1] * 0 1 0 1] * 1 0 0 1] * 1 0 0 1]

From the table on pages 337-338 in [19] we see that for matrix p_{2} it is known that k has infinite 2-class field tower, and therefore we eliminate matrix p_{2} in our subsequent formulations; furthermore we see that matrices p_{1, }n_{1}, and n_{2} are open Rédei matrices.

In order to make use of Lemma 10 to find new fields k that satisfy Rédei matrices n_{1}, n_{2}, and p_{1}, our next lemma demonstrates that we must have d_{M} congruent to 4 mod 8 for the corresponding real quadratic number field M given in Lemma 10.

**Lemma 13**: Let k satisfy Rédei matrices n_{1}, n_{2}, or p_{1}, and let M be any of the corresponding real quadratic number fields given in Lemma 10. If d_{M} is not congruent to 4 mod 8 then C_{M,2} is isomorphic to the group Z/2Z x Z/2Z.

**Proof**: If d_{M} is not congruent to 4 mod 8, then d_{M} = q_{2}.q_{3}.q_{4}.q_{5} for distinct primes q_{i} congruent to 3 mod 4, 2 ≤ i ≤ 5. For Rédei matrices n_{1} and n_{2} we have the following Rédei matrix:

R_{M} = [0 1 1 1

0 0 1 0

0 0 0 1

0 1 0 0]

Since R_{M} has rank 3 we see from the above Rédei matrix 4-rank property that C_{M} has 4-rank 0, and therefore by genus theory C_{M,2} is isomorphic to Z/2Z x Z/2Z. For Rédei matrix p_{1} we have the following Rédei matrix:

R_{M} = [1 1 1 1

0 1 1 1

0 0 0 1

1 0 0 0]

Once again we see that R_{M} has rank 3 and consequently C_{M,2} is isomorphic to Z/2Z x Z/2Z, which establishes our lemma.

We now show that when d_{M} is congruent to 4 mod 8 there exists a new field k that satisfies Rédei matrix n_{1} (resp. n_{2}, p_{1}).

**Theorem 2**: There exist new imaginary quadratic number fields k such that rank C_{k,2} = 4, C_{k} has 4-rank 1, five negative prime discriminants divide d_{k}, and d_{k} is congruent to 4 mod 8. In particular, for each possible open Rédei sub-type matrix of this family: n_{1}, n_{2}, p_{1}, there exists a new field k that satisfies the given open Rédei sub-type matrix.

**Proof**: We show that for each of n_{1}, n_{2}, p_{1}, there exists a new field k that satisfies the conditions of the theorem and that satisfies the given open Rédei sub-type matrix, which will prove our result. To establish our result we utilize Lemma 10, which necessitates finding a corresponding real quadratic number fields M to k such that h(M) ≥ 16 and for which the Kronecker symbol condition given in Lemma 10 is satisfied. From Lemma 13 we know that d_{M} must be congruent to 4 mod 8. The following fields respectively satisfy each of n_{1}, n_{2}, and p_{1}, and from [4] we see that they also satisfy the 2-class number bound condition of Lemma 10, with h(M) = 16, where k = Q(√-q_{2}q_{3}q_{4}q_{5}) and (without loss of generality) M = Q(√q_{2}q_{3}q_{4}).

for p_{1}: M = Q(√23.19.67) = Q(√29279)

for n_{1}: M = Q(√11.7.167) = Q(√12859)

for n_{2}: M = Q(√23.11.19) = Q(√4807)

By choosing our remaining prime q_{5} appropriately, which we do in Examples 5, 6, and 7 below, we are also able to obtain the second condition of Lemma 10, namely that (q_{2}q_{3}q_{4}/q_{5}) = -1, and therefore we are able to formulate new fields k = Q(√-q_{2}q_{3}q_{4}q_{5}) that respectively satisfy each of n_{1}, n_{2}, and p_{1}, and this proves our theorem.

As described in the proof of Theorem 2, for each of the following fields k = Q(√-q_{2}q_{3}q_{4}q_{5}) we have h(M) = 16 and (q_{2}q_{3}q_{4}/q_{5}) = -1, where M = Q(√q_{2}q_{3}q_{4}), and consequently the conditions of Lemma 10 are satisfied and we can conclude that k is a new field with infinite 2-class field tower.

**Example 5**: for p_{1}: k = Q(√-23.19.67.3) = Q(√-87837); q_{5} = 3, (-23/3) = 1, (-19/3) = (-67/3) = -1, (23.19.67/3) = -1, h(Q(√23.19.67)) = 16

**Example 6**: for n_{1}: k = Q(√-11.7.167.79) = Q(√-1015861); q_{5} = 79, (-17/79) = (-167/79) = -1, (-7/79) = 1, (11.7.167/79) = -1, h(Q(√11.7.167)) = 16

**Example 7**: for n_{2}: k = Q(√-23.11.19.103) = Q(√-495121); q_{5} = 103, (-23/103) = (-19/103) = -1, (-11/103) = 1, (23.11.19/103) = -1, h(Q(√23.11.19)) = 16

** **

**Case 3: Exactly Three Negative Prime Discriminants Dividing d _{k} **

**with 4-Rank of C _{k} Equal to 1 and d_{k} Congruent to 4 mod 8**

For the case when exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is congruent to 4 mod 8, we see from [20] that there are 34 open Rédei sub-type matrices of 4-rank 1, which are listed as belonging to Cases 56, 57, 58, 59, and 60 in [20]. We also see from [20] that all fields k with the Kronecker symbol format we described above in the 4-rank 2 case as designating Family D_{2} fields, i.e. (p_{1}/q_{2}) = (p_{1}/q_{3}) = (p_{2}/q_{2}) = (p_{2}/q_{3}) = (p_{1}/2) = (p_{2}/2) = -1 where p_{1} and p_{2} are primes congruent to 1 mod 4 dividing d_{k}, and q_{2} and q_{3} are primes congruent to 3 mod 4 dividing d_{k}, satisfy a Rédei sub-type matrix in Case 60 of [20]. We now designate fields of this type for the 4-rank 1 case as Family D_{1} fields, and fields for the 4-rank 1 case that satisfy an open Rédei sub-type matrix in Case 60 as Family D fields. We begin by establishing the following lemma, where the primes p_{1, }p_{2, }q_{2, }q_{3} are as above, and once again the negative prime discriminant q_{1}* = -4.

**Lemma 14**: Assume that exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, d_{k} is congruent to 4 mod 8, and that k satisfies an open Rédei sub-type matrix. Let M_{1,} M_{2}, and M_{3} denote the three corresponding real quadratic number fields given in Lemma 10 as follows (without loss of generality): M_{1} = Q(√q_{2}p_{1}p_{2}), M_{2} = Q(√q_{3}p_{1}p_{2}), M_{3} = Q(√p_{1}p_{2}q_{2}q_{3}). Then h(M_{1}) = h(M_{2}) = 4; and h(M_{3}) ≥ 8 if and only if k is a Family D field.

**Proof**: We give an illustration of the method by initially describing the five open Rédei sub-type matrices of 4-rank 1 belonging to Case 57 in [20] as follows, where a_{54} = 1, a_{21} = a_{51: } a) a_{41} = 0, a_{51} = 1, a_{31} = 1 b) a_{41} = 0, a_{51} = 1, a_{31} = 0 c) a_{41} = 1, a_{51} = 0, a_{31} = 1 d) a_{41} = 1, a_{51} = 0, a_{31} = 1 e) a_{41} = 1, a_{51} = 1, a_{31} = 1

We describe the generic Rédei matrix R_{k} for this family below, where the * entries would be entered in accordance with the above stipulations for matrices a, b, c, d, and e (cf. [20]):

[* 1 1 0 0

* 0 1 1 0

* 0 1 0 1

* 1 0 0 1

* 0 1 1 0]

It follows that the Rédei matrices of M_{1, }M_{2}, and M_{3 }for each of the five members of this family all have rank 3, and therefore in accordance with genus theory and the Rédei matrix 4-property we are able conclude that the 2-class groups of M_{1, }M_{2}, and M_{3} are isomorphic to Z/2Z x Z/2Z for each member of this family. We illustrate this result by displaying M_{1, }M_{2}, and M_{3} for the Rédei matrix of Case 57a, and we leave it to the reader to verify this for the remaining cases.

M_{1} = [0 1 0 0 M_{2} = [0 1 0 0 M_{3} = [1 1 1 0

1 0 1 0 1 0 0 0 0 0 0 1

0 1 0 1 0 0 1 1 1 0 0 1

1 0 1 1] 1 1 1 0] 0 1 1 1]

In a similar manner it can be readily shown that the same result applies to Cases 56, 58, and 59 as we have indicated applies to Case 57. However, for Case 60 with k as in the lemma, we demonstrate that we always obtain h(M_{1}) = h(M_{2}) = 4, h(M_{3}) ≥ 8.

We begin by designating the ten open Rédei sub-type matrices of 4-rank 1 belonging to Case 60 in [20] as follows, where a_{23} = a_{24} = a_{25} =a_{34 }= a_{35} = 1:

a) a_{45} = 0, a_{41} = a_{51} = 1, a_{11} = 0, a_{21} = a_{31} = 1

b) a_{45} = 0, a_{41} = a_{51} = 1, a_{11} = 0, a_{21} = 0, a_{31} = 0

c) a_{45} = 0, a_{41} = 1, a_{51} = 0, a_{11} = 0, a_{21} = 1, a_{31} = 0 d) a_{45} = 0, a_{41} = 1, a_{51} = 0, a_{11} = 0, a_{21} = 0, a_{31} = 1 e) a_{45} = 0, a_{41} = 1, a_{51} = 0, a_{11} = a_{21} = a_{31} = 1 f) a_{45} = 0, a_{41} = 1, a_{51} = 0, a_{11} = 1, a_{21} = a_{31} = 0 g) a_{45} = a_{41} = a_{51} = 1, a_{11} = 1, a_{21} = 0, a_{31} = 1 h) a_{45} = a_{41} = a_{51} = 1, a_{11} = a_{21} = a_{31} = 0 i) a_{45} = 1, a_{41} = 0, a_{51} = 1, a_{11} = 1, a_{21} = a_{31} = 0 j) a_{45} = 1, a_{41} = 0, a_{51} = 1, a_{11} = a_{21} = 0, a_{31} = 1

We describe the generic Rédei matrix R_{k} for this family below, where the * entries would be entered in accordance with the above stipulations for matrices a through j (cf. [20]):

[* 1 1 0 0

* 0 1 1 1

* 0 1 1 1

* 1 1 * *

* 1 1 * *]

It readily follows that for all the above fields we obtain h(M_{1}) = h(M_{2}) = 4, h(M_{3}) ≥ 8, and we illustrate this result by displaying M_{1, }M_{2}, and M_{3} for the Rédei matrix of Case 60g.

M_{1} = [0 1 0 0 M_{2} = [1 1 0 0 M_{3} = [0 1 1 1

0 1 1 1 1 1 1 1 0 1 1 1

1 1 0 1 1 1 0 1 1 1 1 1

1 1 1 0] 1 1 1 0] 1 1 1 1]

Since M_{1} and M_{2} have ranks 3 and M_{3} has rank 2, we see from genus theory and the Rédei matrix 4-property that the 2-class groups of M_{1} andM_{2} are isomorphic to Z/2Z x Z/2Z, and that M_{3} has 4-rank 1 and consequently has order greater than or equal to 8. In a similar way it can readily be shown that this same result applies to all members of the above family (we once again leave the remaining cases for the reader to verify), which establishes our lemma.

We now demonstrate the existence of a new field in the case when exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is congruent to 4 mod 8.

**Theorem 3**: There exists a new field k such that exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is congruent to 4 mod 8.

**Proof**: We first note that we can only apply Lemma 10 to fields that satisfy Rédei sub-type matrices 60e, f, g, i, since we have (q_{2}q_{3}q_{4}q_{5}/2) = -1 for these matrices and (q_{2}q_{3}q_{4}q_{5}/2) = 1 for the other six Rédei sub-type matrices listed above. We establish our theorem by applying Lemmas 10 and 14 to the field k = Q(√-5.13.7.83) = Q(√-37765), which satisfies Rédei matrix 60g. In accordance with Lemma 14 we see that M_{3} = Q(√5.13.7.83) = Q(√37765) and that h(M_{3}) ≥ 8. From [4] we see that h(M_{3}) = 16, and since 5 and 13 are congruent to 5 mod 8, 7 is congruent to 7 mod 8, and 83 is congruent to 3 mod 8, we obtain that (5.13.7.83/2) = -1, and we observe that the conditions of Lemma 11 are satisfied. Consequently from Lemma 10 we can conclude that k has infinite 2-class field tower, and since k satisfies Rédei matrix 60g we see that k is a new field, which proves our theorem.

**Remark 9**: We expect that using the technique described in Theorem 3, one can readily find additional new fields k as above, and we leave this to the interested reader to explore. However, when d_{k }is congruent to 4 mod 8 and C_{k} has 4-rank equal to 1, the 4-rank of C_{j} for a corresponding field j obtained by using CRT and DPAP as in Lemma 12 may not be the same as the 4-rank of C_{k}. To see an example of this, let k = Q(√-3.5.7.29) = Q(√-3045) and j = Q(√-3.263.5.7.29) = Q(√-800835). We see from the above Rédei matrix 4-property that C_{k }has 4-rank 1 and C_{j} has 4-rank 0, and we also see that the field j is obtained from the field k by CRT and DPAP as described in Lemma 12. In addition, we see from [20] that field k belongs to Case 59, field j belongs to Case 34 (see below) and it is not known if either of these fields have infinite 2-class field tower. However, if d_{k} is not congruent to 4 mod 8 then for all fields in the infinite collection of fields described in Lemma 12, the 4-ranks of C_{k} and C_{j} will be the same.

We next show that in the remaining case when the 4-rank of C_{k} is equal to 1, exactly three negative prime discriminants divide d_{k}, and d_{k} is not congruent to 4 mod 8, there are infinitely many new fields k that satisfy the 2-class field tower conjecture.

** **

**Case 4: Exactly Three Negative Prime Discriminants Dividing d _{k}**

**with 4-Rank of C _{k} Equal to 1 and d_{k} Not Congruent to 4 mod 8**

** **For the case when exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is not congruent to 4 mod 8, we see from [20] that there are seven open Rédei sub-type matrices of 4-rank 1, which are listed as matrices 31, 33, 35, 43, 47, 48, and 49 in [20], for which we describe as follows, using the above description of Rédei matrices.

Matrix 31: a_{12 }=a_{13} = a_{15} = a_{23} = a_{24} = a_{25} = a_{34} = a_{45} = 1, a_{14} = a_{35 }= 0

Matrix 33: a_{12 }=a_{13} = a_{15} = a_{23} = a_{24} = a_{25} = a_{34} = a_{35} = a_{45} = 1, a_{14} = 0

Matrix 35: a_{12 }=a_{13} = a_{14} = a_{15} = a_{23} = a_{24} = a_{25} = a_{35} = a_{45} = 1, a_{34} = 0

Matrix 43: a_{12} = a_{14} = a_{23} = a_{24} = a_{35} = a_{45} = 1, a_{13} = a_{15} = a_{25} = a_{34} = 0

Matrix 47: a_{12} = a_{15} = a_{23} = a_{25} = a_{34} = a_{35} = a_{45} = 1, a_{13} = a_{14} = a_{24} = 0

Matrix 48: a_{12} = a_{15} = a_{23} = a_{24} = a_{34} = a_{35} = a_{45} = 1, a_{13} = a_{14} = a_{25} = 0

Matrix 49: a_{12} = a_{15} = a_{23} = a_{24} = a_{25} = a_{34} = a_{35} = a_{45} = 1, a_{13} = a_{14} = 0

We now make use of this categorization to establish the following theorem:

**Theorem 4**: There are infinitely many new fields k such that exactly three negative prime discriminants divide d_{k}, the 4-rank of C_{k} is equal to 1, and d_{k} is not congruent to 4 mod 8.

**Proof**: Let k = Q(√-q_{1}q_{2}q_{3}p_{1}p_{2}) where q_{1, }q_{2}, and q_{3} are distinct negative prime discriminants, p_{1 }andp_{2} are distinct positive prime discriminants, and d_{k} is not congruent to 4 mod 8. We determine which of the above seven open Rédei sub-type matrices of 4-rank 1 are candidates for new fields that satisfy a Rédei sub-type matrix. From the Rédei matrix 4-rank property and genus theory we see that C_{M,2} is isomorphic to Z/2Z x Z/2Z for Rédei sub-type matrices 31, 43, 47, and 48, for all corresponding real quadratic number fields M to k in Theorem 11, since the ranks of these Rédei matrices are all 3. Therefore we are not able to use Theorem 11 to obtain new fields that satisfy these Rédei sub-type matrices. For Rédei sub-type matrix 49, we see from the Rédei matrix 4-rank property and genus theory that C_{M,2} is isomorphic to Z/2Z x Z/2Z for M = Q(√q_{1}q_{2}p_{1}p_{2}) and M = Q(√q_{1}q_{3}p_{1}p_{2}), and that C_{M} has 4-rank 1 for M = Q(√q_{2}q_{3}p_{1}p_{2}). However, (q_{2}q_{3}p_{1}p_{2}/q_{1}) = 1 and therefore the Kronecker symbol requirement of Lemma 10 is not satisfied for fields that satisfy Rédei sub-type matrix 49. For Rédei sub-type matrices 33 and 35, although we obtain using the above methods that C_{M,2} is isomorphic to Z/2Z x Z/2Z for two of the three possible fields M in each type, for Rédei sub-type matrix 33 with M = Q(√q_{2}q_{3}p_{1}p_{2}) we obtain that C_{M} has 4-rank 1 and (q_{2}q_{3}p_{1}p_{2}/q_{1}) = -1, and for Rédei sub-type matrix 35 with M = Q(√q_{1}q_{2}p_{1}p_{2}) we obtain that C_{M} has 4-rank 1 and (q_{1}q_{2}p_{1}p_{2}/q_{3}) = -1. We illustrate this result for M = Q(√q_{2}q_{3}p_{1}p_{2} in matrix 33, and we leave the remaining details for the reader to check.

Given the above Rédei matrix entries for matrix 33 we see that the Rédei matrix for

M = Q(√q_{1}q_{2}p_{1}p_{2}) is the following:

R_{M} = [0 1 1 1

0 1 1 1

1 1 1 1

1 1 1 1]

It therefore follows that R_{M} has rank 2 and by the Rédei matrix 4-rank property we are able to conclude that C_{M} has 4-rank 1. From the listing of the Rédei matrix entries for matrix 33 we seethat (q_{2}q_{3}p_{1}p_{2}/q_{1}) = -1.

We thus see that Rédei sub-type matrices 33 and 35 are the only possible candidates for new fields that satisfy a Rédei sub-type matrix of 4-rank 1 in the case that we are now considering. ** **

From [11] we see that for the field M= Q(√19.11.13.41) = Q(√111397) we have h(M) = 16, and we are able to use this field M to obtain an imaginary quadratic number field k that satisfies Rédei sub-type matrix 33 and the conditions of Lemma 10 (see Example 8 and Remark 10 below). Consequently from Lemmas 10 and 12, and Remark 8, we are able to conclude that there are infinitely many new fields that satisfy the conditions of our theorem.

** **

**Example 8**: Let k = Q(√-19.11.191.13.41) = Q(√-21276827); q_{3} = 191, (19/191) = (11/191) = (41/191) = -1, (13/191) = 1, (19.11.13.41/191) = -1, h(Q(√19.11.13.41)) = 16; we see that

k satisfies Rédei sub-type matrix 33, and consequently from Lemma 10 we obtain that k is a

new field with infinite 2-class field tower, and from Lemma 12 and Remark 8 we conclude that there are infinitely many new fields with infinite 2-class field tower that satisfies the conditions of Theorem 2.

** **

**Remark 10**: We expect that by the use of [4] and Lemmas 10 and 12, one can readily obtain infinitely many new fields that satisfy Rédei sub-type matrix 35, and we leave this task to the interested reader. We note that if M is a real quadratic number field corresponding to a field k as in Lemma 11, such that h(M) ≥ 16 and the Kronecker symbols of the primes dividing d_{M} are consistent with the entries of Rédei sub-type matrix 35 (resp. matrix 33), then by CRT and DPAP (see the proof of Lemma 13) we know that there exist infinitely many fields j with infinite 2-class field tower that satisfy Rédei sub-type matrix 35 (resp. 33), and since d_{k} is not congruent to 4 mod 8 we see from Remark 8 that the 4-rank of C_{j} is equal to 1 for all fields j in this infinite collection and consequently we would obtain infinitely many new fields.

We summarize our results thus far for obtaining new fields k that satisfy the 2-class field tower conjecture in the following table, where once again k is an imaginary quadratic number fields such that rank C_{k,2} = 4, “Negative Prime Discriminants” denotes the exact number of negative prime discriminants dividing d_{k}, “Congruency” denotes whether or not d_{k} is congruent to 4 mod 8, “Examples” denotes the examples we have supplied, and q_{3} denotes a prime congruent to 3 mod 4 that has the same kronecker symbols with the primes 19, 11, 13, and 41 as does the prime 191, as described in the proof of Lemma 12.

** **

** **

**Table 2: New Fields that Satisfy the 2-Class Field Tower Conjecture**

4-rank of C_{k} Negative Prime Discrminants Congruency Examples

2 3 4 mod 8 k = Q(√-5.13.7.827)

k = Q(√-5.13.47.827)

k = Q(√-5.29.47.827)

k = Q(√-5.29.47.43)

1 5 4 mod 8 k = Q(√-23.19.67.3)

k = Q(√-11.7.167.79)

k = Q(√-23.11.19.103)

1 3 4 mod 8 k = Q(√-5.13.7.83)

1 3 not 4 mod 8 k = Q(√-19.11.191.13.41)

Infinitely Many Fields

of the form

k = Q(√-19.11.q_{3}.13.41)

We next examine the case when C_{k} has 4-rank 0 instead of 4-rank 1 (i.e. C_{k,2} is elementary), and exactly three or five negative prime discriminants divide d_{k} for the fields k that we are considering (i.e. once again k imaginary quadratic with rank C_{k,2} = 4), to determine if there are new fields k that satisfy the conditions of Lemma 10. We begin with the five negative prime discriminant case.

** **

** **

**Case 5: Five Negative Prime Discriminants Dividing d _{k} **

**with 4-Rank of C _{k} Equal to 0**

** **To begin with, we demonstrate that there are no new fields k that satisfy the conditions of Lemma 10 for the five negative prime discriminant case when the 4-rank of C_{k} is equal to 0. We first obtain from [19] that there are two open Rédei sub-type matrices such that d_{k} is not congruent to 4 mod 8 (Rédei matrices k and l in [19]), which are given in [19] as follows

(we designate these matrices as “A” and “B” for ease of notation):

A = [1 1 1 0 1 B = [0 1 1 0 0

0 0 1 1 0 0 0 1 1 0

0 0 0 1 1 0 0 0 1 1

1 0 0 0 1 1 0 0 0 1

0 1 0 0 1] 1 1 0 0 0]

The following lemma shows that if k satisfies Rédei matrix A or B then the required condition in Lemma 11 that h(M)| ≥ 16 is not satisfied.

**Lemma 15**: Let k satisfy Rédei matrices A or B (as described above), and let M be any of the corresponding real quadratic number fields given in Lemma 11. Then C_{M,2} is isomorphic to Z/2Z x Z/2Z.

**Proof**: Let k = Q(√-q_{1}q_{2}q_{3}q_{4}q_{5}) and M = Q(√q_{i}q_{j}q_{k}q_{l}), q_{i} congruent to 3 mod 4, 1 ≤ i ≤ 5, q_{i} all distinct and {i, j, k, l} C {1, 2, 3, 4, 5}. If k satisfies Matrix A then we have the following Kronecker symbols: (-q_{1}/q_{2}) = (-q_{1}/q_{3}) = (-q_{2}/q_{3}) = (-q_{2}/q_{4}) = (-q_{3}/q_{4}) = (-q_{3}/q_{5}) = (-q_{1}/q_{5}) = (-q_{4}/q_{5}) = -1, (-q_{1}/q_{4}) = (-q_{2}/q_{5}) = 1. Consequently we have the following possible Rédei matrices for M:

M_{1} = Q(√q_{1}q_{2}q_{3}q_{4}) M_{2} = Q(√q_{1}q_{2}q_{3}q_{5}) M_{3} = Q(√q_{1}q_{2}q_{4}q_{5}) M_{4} = Q(√q_{3}q_{2}q_{4}q_{5})

[1 1 1 0 [0 1 1 1 [0 1 0 1 [1 1 0 1

0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1

0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1

1 1 0 0] 0 1 0 0] 0 1 0 0] 0 0 0 1]

M_{5} = Q(√q_{2}q_{3}q_{4}q_{5})

[1 1 1 0

0 1 1 1

0 0 0 1

1 0 0 0]

Since all matrices M_{1},M_{2}, M_{3}, M_{4}, M_{5} have rank 3, we see from genus theory and the Rédei matrix 4-rank property that the 4-rank of M is equal to 0 and thus C_{M,2} is isomorphic to Z/2Z x Z/2Z. In a similar way, it can be shown that if k satisfies Matrix B then C_{M,2} is isomorphic to Z/2Z x Z/2Z (we once again leave the details to the reader) and consequently our lemma is proved.

For the case when five negative prime discriminants divide d_{k}, C_{k,2} is elementary, and d_{k} is congruent to 4 mod 8, we see from [19] that there are three open Rédei sub-type matrices which we designate as matrices C, D_{1}, and D_{2} (derived from matrices o and p in [19]), which we give as follows, where once again the * signifies a choice of 0 or 1:

C = [* 1 1 1 1 D_{1} = [* 1 1 1 1 D_{2} = [* 1 1 1 1

* 0 1 0 1 * 0 1 1 0 * 0 1 1 0

* 0 0 1 1 1 0 0 1 1 0 0 0 1 1

* 1 0 0 1 1 0 0 1 1 0 0 0 1 1

1 0 0 0 0] * 1 0 0 1] * 1 0 0 1]

The following lemma shows that if k satisfies Rédei matrices C, D_{1}, or D_{2}, then k does not satisfy the conditions of Lemma 10.

**Lemma 16**: Let k = Q(√-q_{2}q_{3}q_{4}q_{5}) with q_{i} congruent to 3 mod 4, 2 ≤ i ≤ 5, q_{i} all distinct, let k satisfy Rédei matrices C, D_{1}, or D_{2} (as described above), and let M be any of the corresponding real quadratic number field given in Lemma 5. Then either C_{M,2} is isomorphic to Z/2Z x Z/2Z, or M =Q(√q_{j}q_{j}q_{k}) with i, j, k distinct, {i, j, k} C {2, 3, 4, 5} = {i, j, k, l}, and (q_{j}q_{j}q_{k}/q_{l}) = 1.

**Proof**: If k satisfies Matrix C then we have the following Kronecker symbols: (-q_{2}/q_{3}) = (-q_{3}/q_{4}) = (-q_{3}/q_{5}) = (-q_{4}/q_{5}) = (-q_{2}/q_{4}) = (-q_{2}/q_{5}) = -1, q_{5} congruent to 7 mod 8. If M = Q(√q_{2}q_{3}q_{4}q_{5}) then we see that M has rank 3 and therefore the 4-rank of C_{M }is equal to 0 and C_{M,2} is isomorphic to Z/2Z x Z/2Z . If M is not equal to Q(√q_{2}q_{3}q_{4}q_{5}) then M has the format given in the lemma, and we see that (q_{2}q_{3}q_{4}/q_{5}) = (q_{2}q_{3}q_{5}/q_{4}) = (q_{2}q_{4}q_{5}/q_{3}) = (q_{3}q_{4}q_{5}/q_{2}) = 1, which establishes our lemma when k satisfies Matrix C. If k satisfies Matrices D_{1 }or D_{2} then we have the following Kronecker symbols: (-q_{2}/q_{3}) = (-q_{3}/q_{4}) = (-q_{3}/q_{5}) = (-q_{4}/q_{5}) = (-q_{2}/q_{4}) = -1, (-q_{2}/q_{5}) = 1. If M = Q(√q_{2}q_{3}q_{4}q_{5}), Q(√q_{2}q_{3}q_{4}), Q(√q_{2}q_{3}q_{5}), or Q(√q_{3}q_{4}q_{5}), then once again we see that M has rank 3 and thus the 4-rank of C_{M} is equal to 0 and C_{M,2} is isomorphic to Z/2Z x Z/2Z . If M = Q(√q_{2}q_{4}q_{5}) then (q_{2}q_{4}q_{5}/q_{3}) = 1, and if M = Q(√q_{3}q_{4}q_{5}) then (q_{3}q_{4}q_{5}/q_{2}) = 1; consequently our lemma has been proved.

We therefore are able to conclude from Lemmas 15 and 16 that Lemma 10 is not applicable in the case when five negative prime discriminants divide d_{k} and C_{k,2} is elementary, and consequently by our present techniques we are not able to formulate any new fields that have infinite 2-class field tower in this case. We now examine the case when exactly three negative prime discriminants divide d_{k} and C_{k,2} is elementary.

** **

**Case 6: Exactly Three Negative Prime Discriminants Dividing d _{k} **

**with 4-Rank of C _{k} Equal to 0**

** **We demonstrate that there are also no new fields k that satisfy the conditions of Lemma 10 when exactly three negative prime discriminants divide d_{k} and the 4-rank of C_{k} is equal to 0. We first obtain from [20] that there are seven open Rédei sub-type matrices such that d_{k} is not congruent to 4 mod 8 (Rédei matrices 16, 28, 30, 32, 34, 49 in [20]), which are given in [20] as follows, where we designate Cases 34a and 34b to represent the two possible open Rédei sub-type matrices for Case 34, where once again the * signifies a choice of 0 or 1:

#16 = [1 1 1 1 1 #28 = [1 1 1 0 1 #30 = [1 1 1 0 1

0 0 1 0 1 0 1 1 1 1 0 0 1 1 0

0 0 1 1 0 0 0 1 0 1 0 0 0 1 1

1 0 1 1 1 0 1 0 0 1 0 1 1 1 1

0 1 0 1 0] 1 1 1 1 0] 1 0 1 1 1]

#32 = [0 1 1 1 1 #34a = [0 1 1 1 1 #34b = [0 1 1 1 1

0 0 1 1 0 0 0 1 0 1 0 0 1 0 1

0 0 0 1 1 0 0 0 1 1 0 0 0 1 1

0 1 1 1 1 1 0 1 0 0 1 0 1 1 1

1 1 0 1 1] 1 1 1 0 1] 1 1 1 1 0]

#49 = [0 1 0 0 1

0 1 1 1 1

1 0 1 1 1

0 1 1 0 0

1 1 1 0 1]

The following lemma shows that if k satisfies any of the above seven Rédei matrices then k does not satisfy the conditions of Lemma 10.

**Lemma 17**: Let k = Q(√-q_{1}q_{2}q_{3}p_{1}p_{2}) where q_{1, }q_{2}, and q_{3} are distinct negative prime discriminants, p_{1 }andp_{2} are distinct positive prime discriminants, and d_{k} is not congruent to 4 mod 8. Let k satisfy Rédei matrices 16, 28, 30, 32, 34a, 34b, or 49, and let M be any of the

corresponding real quadratic number field given in Lemma 10. Then either C_{M,2} is isomorphic to

Z/2Z x Z/2Z, or (without loss of generality) M = Q(√q_{1}q_{2}p_{1}p_{2}) with (q_{1}q_{2}p_{1}p_{2}/q_{3}) = 1.

**Proof**: We illustrate the proof by examining matrices 16 and 34a. For matrix 16 we have the following three possible matrices for M:

M_{1} = [1 1 0 0 M_{2} = [1 1 1 0 M_{3} = [1 1 1 0

0 0 1 0 0 0 0 1 0 1 1 0

0 1 0 1 1 0 0 1 1 1 1 1

1 0 1 0] 0 1 1 0] 0 0 1 1]

Since the rank of each of the above three matrices is 3, we see from genus theory and the Rédei matrix 4-rank property that C_{M,2} is isomorphic to Z/2Z x Z/2Z for M as stated in the lemma. It can readily be determined that this same result holds for matrices 28, 30, and 32, and we once again leave the details for the reader to check. For matrix 34a we have the following three possible matrices for M, where M_{3} = Q(√q_{1}q_{3}p_{1}p_{2}):

M_{1} = [1 1 0 1 M_{2} = [0 1 1 1 M_{3} = [0 1 1 1

0 0 1 1 0 0 0 1 0 1 1 1

0 1 1 0 1 0 1 0 1 1 0 0

1 1 0 0] 1 1 0 0] 1 1 0 0]

Since matrices M_{1} and M_{2} have rank 3 and matrix M_{3} has rank 2, we see as above that C_{M,2} is isomorphic to Z/2Z x Z/2Z when M = M_{1} or M_{2}, and C_{M} has 4-rank 1 if M = M_{3}. However, since (q_{1}q_{3}p_{1}p_{2}/q_{2}) = 1 our lemma is established for matrix 34a. Similarly it can be shown that for matrices 34b and 49 we obtain that C_{M,2} is isomorphic to Z/2Z x Z/2Z when M = M_{1} or M_{2}, and C_{M} has 4-rank 1 if M = M_{3} with (q_{1}q_{3}p_{1}p_{2}/q_{2}) = 1 (without loss of generality; we once again leave the details to the reader to check), and consequently our lemma has been proved.

Finally, we examine the case when exactly three negative prime discriminants divide d_{k}, C_{k,2} is elementary, and d_{k} is congruent to 4 mod 8. We observe from [20] that there are 26 open Rédei sub-type matrices, which belong to Cases 56, 57, 58, and 59 in [20]. As an illustration we list the eight open Rédei sub-type matrices for Case 59 as follows, where a_{12} = a_{13} = a_{23} = a_{24} = a_{34} = a_{35} = 1, a_{14} = a_{15} = a_{25} = 0:

a) a_{21} = a_{31} = a_{41} = a_{51} = 1, a_{45} = 0

b) a_{21} = a_{31} = a_{51} = 1, a_{45} = a_{41} = 0

c) a_{41} = a_{51} = 1, a_{45} = a_{21} = a_{31} = 0

d) a_{45} = a_{41} = a_{51} = 1, a_{21} = a_{31} = 0

e) a_{45} = a_{31} = a_{41} = a_{51} = 1, a_{21} = 0

f) a_{45} = a_{21} = a_{31} = a_{41} = 1, a_{51} = 0

g) a_{45} = a_{51} = 1, a_{21} = a_{31} = a_{41} = 0

h) a_{45} = a_{31} = a_{51} = 1, a_{21} = a_{41} = 0

Using similar techniques to what we have described above, it can readily be shown that C_{M,2} is isomorphic to Z/2Z x Z/2Z for all corresponding real quadratic number fields M for each of the above 26 open Rédei sub-type matrices (we once again leave the details to the reader to verify) and consequently we see that there are no new fields k that satisfy the conditions of Lemma 10 when exactly three negative prime discriminants or five negative prime discriminants divide d_{k} and the 4-rank of C_{k} is equal to 0.

** **

**Open Questions on the 2-Class Field Tower Conjecture**

** **Although we have found new fields k, where k is an imaginary quadratic number field with rank C_{k,2 }= 4 and C_{k} having 4-rank 1 or 2 that satisfy the 2-class field tower conjecture, and infinitely many new fields in the 4-rank 1 case, there are still many open questions. We state the following five open questions.

**Question 1: **Do there exist infinitely many new fields k as above such that rank C_{k,2 }= 4 and C_{k} has 4-rank 2?

**Question 2**: Do there exist new fields k such that rank C_{k,2 }= 4 and C_{k} has 4-rank 2 for case d as described in the 4-rank of C_{k} equal to 2 section? (see Question 4)

**Question 3**: Do there exist infinitely many new fields k such that rank C_{k,2 }= 4 and C_{k} has 4-rank 1 in the cases when d_{k} is congruent to 4 mod 8 and exactly three negative prime discrimants or five negative prime discriminants divide d_{k}?

**Question 4**: Do there exist new fields k as above that do not satisfy the conditions of Lemma 11, such that k has infinite 2-class field tower? Perhaps such a field k can be obtained by satisfying the conditions of Lemma 8 (cf. Prop. 3.4 in [14]), but we have not found any such fields k that satisfy the conditions of Lemma 8 without also satisfying the conditions of Lemmas 4, 5, or 7. We note that any new field satisfying the conditions given in Question 2 cannot be obtained from Lemma 10 (cf. Remark 8).

**Question 5**: Do there exist new imaginary quadratic number fields k with rank C_{k,2 }= 4 that satisfy the conditions of Lemma 10 and consequently have infinite 2-class field tower in the case when the 4-rank of C_{k} is 0, for which exactly three or five negative prime discriminants divide d_{k} and for which d_{k} is congruent to 4 mod 8 or not congruent to 4 mod 8?

** **

**Acknowledgements**

** **I would like to thank Chip Snyder for a number of productive discussions concerning the results of this paper, and Yukata Sueyoshi for his helpful personal communication conveying to me that my field in Example 1 is indeed a new field, as well as for sending me his related 2010 paper.

**References**

[1] E. Benjamin*, On imaginary quadratic number fields with 2-class group of rank 4 and *

* infinite 2-class field tower*, Pacific J. Math. 201 (2001), 257-266.

[2] E. Benjamin, *On a question of Martinet concerning the 2-class field tower of imaginary *

* quadratic number fields*, Ann. Sci. Math. Quebec 26 (2002), no. 1, 1-13.

[3] J. Cassels and A. Frohlich, *Algebraic Number Theory*, Academic Press, London (1986).

[4] H. Cohen, *Finding the class number h(d) of a real quadratic number field*,

www.numbertheory.org/php/classnopos.html (program formulated by Keith Mathews).

[5] E. Golod and I. Shafarevich, *On class field towers*, Izv. Akad. Nauk SSSR 28 (1964),

261-272 (in Russian); English translation in Amer. Math. Soc. Transl. 46 (1965), 91-102.

[6] F. Hajir, *On a theorem of Koch*, Pacific J. Math, 176 (1996), no. 1, 15-18.

[7] F. Hajir, *Correction to “On a theorem of Koch,”* Pacific J. Math, 196 (2000), no. 2, 507-508.

[8] W. Jehne, *On knots in algebraic number theory*, J. Reine Angew. Math. 311/312 (1979),

215-254.

[9] H. Kisilevsky, *Number fields with class number congruent to 4 mod 8 and Hilbert’s *

* theorem 94*, J. Number Theory 8 (1976), 271-279.

[10] H. Koch, *Zum satz von Golod-Schafarewitsch*, Math. Nachr. 42 (1969), 321-333.

[11] F. Lemmermeyer, *On 2-class field towers of some imaginary quadratic number fields, *

* *Abh. Math. Sem. Univ. Hamburg 67 (1997), 205-214.

12] J. Martinet, *Tours de corps de classes et estimations de discriminants*, Invent. Math.44

(1978), 65-73.

[13] J. Martinet, *Discriminant de corps de nombres*, Journées Arithmétiques, 1980

(JV Armitage, ed.), vol. 1404, Cambridge Univ. Press, 1987, pp. 151-193.

[14] A. Mouhib, *Infinite Hilbert 2-class field towers of quadratic number fields*, Acta Aritmetica

145.3, (2010), 267-272.

[15] L. Rédei, *Arithmetischer beweis des satzes uber die anzahl der durch uier teilbaren *

* invariant ten der absoluten klassengruppe in quadratischen zahlkorper*, Crelle 171 (1934),

55-60.

[16] L. Rédei and H. Reinchardt, *Die anzahl der durch 4 teilbarren invarienten der *

* klassengruppe eines beliebigen quadratischen zahlkorpers*, J. Reine Angew. Math. 170

(1933), 69-74.

[17] B. Schmithals, *Konstruktion imaginarquadratischer korper mit unendlichem *

* klassenkoriperturm,* Arch. Math. (Basel) 34 (1980), 307-312.

[18] Y. Sueyoshi, *Infinite 2-class field towers of some imaginary quadratic number fields, *

* *Acta Arith. 113 (2004), no. 3, 251-257.

[19] Y. Sueyoshi, *On 2-class field towers of imaginary quadratic number fields, **Far East** *

* Journal of Mathematical Sciences*. 34 (2009), no. 3, 329-339.

[20] Y. Sueyoshi, *On the infinitude of 2-class field towers of some imaginary quadratic number *

* fields*, Far East Journal of Mathematics Sciences. 42 (2010), no. 2, 175-187.

[21] W. Waterhouse, *Pieces of eight in class groups of quadratic fields*, Journal of

Number Theory. 5 (1973), 95-97.

* *

- Is Shambhala A Cult? Part 1: An Integrative Experiential Perspective
- Is Shambhala A Cult? Part 1: An Integrative Experiential Analysis
- Humanistic Antidotes to Social Media/Cell Phone Addiction in the College Classroom
- Creative Artists Support Group meeting
- Review of “Modern Religions: An Experiential Analysis and Expose’ ” by Nori Muster

- Articles
- Blog
- Book Reviews
- Humanistic Psychology
- Life After Death Explorations
- Mathematics/Algebraic Number Theory
- Media
- Parapsychology
- Personal Philosophy
- Social Media Technology Addiction
- Spiritual Organizations And Cult Dangers
- Spiritual Philosophy
- The Creative Artist, Mental Disturbance, And Mental Health