{'fraction_non_alphanumeric': 0.056687535571997724, 'fraction_numerical': 0.031189527603870233, 'mean_word_length': 3.987510644337213, 'pattern_counts': {'":': 0, '<': 21, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 10, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Construction and classification of p-ring class fields modulo p-admissible conductors

Each p-ring class field K(f) modulo a p-admissible conductor f over a quadratic base field K with p-ring class rank r(f) mod f is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet M(K(f))=[(N(c,i))_{1<=i<=m(c)}]_{c|f} of dihedral fields N(c,i) with various conductors c|f having p-multiplicities m(c) over K such that sum_{c|f} m(c)=(p^r(f)-1)/(p-1). The advanced viewpoint of classifying the entire collection M(K(f)), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields, and the actual construction of the multiplet M(K(f)) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.


Introduction
The aim of this article is to present an entirely new technique for the construction and classification of non-Galois fields L of odd prime degree p as subfields L < K f of a p-ring class field K f modulo a p-admissible conductor f over a quadratic base field K. The innovative idea underlying this new method is the fact that, if the Galois closure N of such a field L is absolutely dihedral of degree 2p with automorphism group Gal(N/Q) ≃ D p = σ, τ | σ p = τ 2 = 1, τ σ = σ −1 τ , then N is relatively cyclic of degree p with group G = Gal(N/K) ≃ C p = σ over its unique quadratic subfield K = Fix(σ) and can be viewed as an abelian extension modulo some conductor f over K within the scope of class field theory [6,9,14,16].
The construction process for the fields L is implemented as a program script for the computational algebra system Magma [10,11,20] using the class field theoretic routines by Fieker [14], and the normal fields N/L are classified according to the cohomologyĤ 0 (G, U N ) and H 1 (G, U N ) of their unit group U N as a Galois module over G [34,35,36].
For p ≥ 5, the results are completely new, whereas for p = 3, they admit an independent verification and a class field theoretic illumination of classical tables of cubic fields by Angell 1972 [1,2] and 1975 [3,4], Ennola and Turunen 1983 [12,13], Llorente and Quer 1988 [19], Fung and Williams 1990 [15], and Belabas 1997 [8]. However, in contrast to these well-known tables, where the focus was on the computation of fundamental systems of units and the structure of ideal class groups [1,2,3,4,12,13,15], or even only of generating polynomials and prime decompositions [8,19], our innovative database establishes an arrangement according to conductors with an increasing number of prime factors, pays attention to the phenomenon of multiplicities of discriminants [25,28,30,31,32], and constitutes the first classification into 9, respectively 3, differential principal factorization types of totally real, respectively simply real, cubic number fields [23,24,34,35,36]. This is a progressive new kind of structural information which has never been provided for algebraic number fields before, except for pure cubic fields [5,7,39] and pure quintic fields [34], but the present paper emphasizes the advanced viewpoint of classifying an entire ring class field K f by its associated heterogeneous multiplet M(K f ) of dihedral fields with various conductors c | f .

Heterogeneous multiplets of objects and invariants
Let K = Q( √ d) be a quadratic base field with positive or negative fundamental discriminant d = d K ≡ 0, 1 (mod 4), essentially squarefree except possibly for the 2-contribution v 2 (d). Suppose that p is an odd prime number and f ≥ 1 is a p-admissible conductor over K [25,32]. Then the p-ring class field K p,f mod f of K contains all cyclic relative extensions N/K with some conductor c | f which are absolutely dihedral with automorphism group Gal(N/Q) ≃ D p over the rational number field Q. The crucial concept underlying this entire paper is the collection of all these dihedral fields in a heterogeneous multiplet M(K p,f ) = [(N c,i ) 1≤i≤mp(K,c) ] c|f according to the p-multiplicities m p (K, c) [25,32], which satisfy the relation c|f m p (K, c) = p ̺ p,f −1 p−1 in terms of the p-ring class rank ̺ p,f modulo f of K. Since our principal aim is the classification of p-ring class fields K p,f , it is essential to distinguish between a multiplet of objects (expressing the multiplicity of the discriminants d N ) and a corresponding multiplet of invariants (expressing the Galois cohomology of the unit groups U N and differential principal factorizations of the fields N ).
Definition 2.1. By the type of the p-ring class field K p,f modulo f of K we understand the pair (Obj(K p,f ), Inv(K p,f )) of heterogeneous multiplets consisting of all absolutely dihedral fields N c,i with conductors c dividing f as objects and their differential principal factorization (DPF) types τ (N c,i ) as invariants [34,35].

Homogeneous multiplets of unramified extensions
The unique situation where the heterogeneous multiplets degenerate to homogeneous multiplets occurs for unramified relative extensions N/K with conductor f = 1 which has only itself as a divisor c | f . In this unramified case, which implies positive p-class rank ̺ p = ̺ p,1 ≥ 1 of the quadratic base field K, there occur at most two possible differential principal factorization types. (1) If the p-class rank of K is ̺ p = 1, then N is of type δ 1 .
(2) If the p-class rank of K is ̺ p ≥ 2, then two types α 1 and δ 1 are possible for N . If N is totally complex, then N is of type α 1 , independently of the p-class rank of K.
Proof. Since the conductor f = q 1 · · · q t is essentially the square free product of all prime numbers q i ∈ P, whose overlying prime ideals q i ∈ P K are ramified in N , the following chain of equivalent statements is true: N/K is unramified ⇐⇒ None of the prime ideals of K ramifies in N ⇐⇒ The conductor f = 1 has no prime divisors, i.e., t = 0. Now we use the fundamental equation in [35,Cor. 5.1] and the estimates in [35,Cor. 5.2] for the decision about possible types of principal factorizations. If f = 1, then there neither exist absolute principal factorizations in L/Q, since 0 ≤ A ≤ min(t, 2) = 0, nor relative principal factorizations in N/K, since 0 ≤ R ≤ min(s, 2) = 0, where s ≤ t denotes the number of prime divisors q i of f which split in K. Consequently, the fundamental equation degenerates to U + 1 = C with 1 ≤ U + 1 ≤ 2, which implies 1 ≤ C ≤ min(̺ p , 2). Thus, only type δ 1 with C = 1 is possible for ̺ p = 1, whereas type α 1 with C = 2 can arise additionally for ̺ p ≥ 2.

Conductors with a single prime divisor
For a regular prime conductor f , only two cases are possible.
Theorem 4.1. Let K be a quadratic base field with p-class rank ̺ = ̺ p . Suppose f = q is a regular p-admissible prime conductor for K. Then the heterogeneous multiplet M(K p,f ) associated with the p-ring class field K p,f mod f of K consists of two homogeneous multiplets with multiplicities m p (K, 1) and m p (K, q). In this order, and in dependence on the p-ring space V p (q), these two multiplicities are given by In the special case p = 3, there also exists the possibility of an irregular prime power conductor f = 3 2 , provided the discriminant of the quadratic field satisfies the congruence d ≡ −3 (mod 9).

Conductors with two prime divisors
For regular conductors f divisible by two primes, more distinct situations may arise.
Theorem 5.1. Let K be a quadratic base field with p-class rank ̺ = ̺ p . Suppose f = q 1 · q 2 is a regular p-admissible conductor for K with two prime divisors q 1 and q 2 . Then the heterogeneous multiplet M(K p,f ) associated with the p-ring class field K p,f mod f of K consists of four homogeneous multiplets with multiplicities m p (K, 1), m p (K, q 1 ), m p (K, q 2 ) and m p (K, f ). In this order, and in dependence on the p-ring spaces V p (q 1 ), V p (q 2 ) and V p (f ), these four multiplicities are given by Proof. We use the terminology and notation in [32]. Generally, the p-ring class rank is given by Here, we have either t = 2, w = 0 or t = 1, w = 1, and thus ̺ p,f = ̺ + 2 − δ p (f ). Also, we know that generally m p (K, 1) = p ̺ −1 p−1 . Since f = q 1 · q 2 is p-admissible, q 1 and q 2 must also be p-admissible, both.
(1) In the free case with defect which is exactly the desired partition (2) If q 1 is free and q 2 , f are restrictive, then V p (f ) = V p (q 2 ) < V p (q 1 ) = V and the relation must be interpreted as m p (K, q 1 ) = p ̺ and m p (K, q 2 ) = m p (K, f ) = 0. (3) This case arises by interchanging the roles of q 1 and q 2 in the previous case. (4) Additionally to (2) and (3), there is another case of defect δ p (f ) = 1 where neither q 1 nor q 2 is free but their p-ring spaces coincide V p (f ) = V p (q 1 ) = V p (q 2 ) < V . Then the formula in (2) has to be interpreted as m p (K, q 1 ) = m p (K, q 2 ) = 0 and m p (K, f ) = p ̺ .
(5) Finally, in the case of maximal restriction with defect δ p (f ) = 2, which occurs for distinct p-ring spaces V p (f ) < V p (q 1 ) = V p (q 2 ) < V , there is no rank increment from ̺ to ̺ p,f , and thus m p (K, q 1 ) = m p (K, q 2 ) = m p (K, f ) = 0.

Construction of p-ring class fields
This section describes how the classification of non-trivial p-ring class fields is prepared by their construction and rigorous count. The intended class field theoretic illumination of the structure of heterogeneous multiplets M(K p,f ) = [ (N c,1 , . . . , N c,m(c) )] c|f associated with p-ring class fields K p,f modulo p-admissible conductors f over quadratic fields K must pay primary attention to the p-class rank ̺ p of the quadratic base fields K = Q( √ d), since ̺ p enters the formula for the multiplicities m(c). More precisely, since the existence of a torsion free fundamental unit ε > 1 in real quadratic fields K with d > 0, and the occurrence of the 3-torsion unit ζ 3 in the particular imaginary quadratic field K with d = −3 in the case p = 3, exerts a crucial impact on the codimension of p-ring spaces V p (c), the invariant ̺ p must rather be replaced by the p-Selmer rank σ p of K which describes all p-virtual units of K, those which arise from non-trivial p-classes and the units in the usual sense: The secondary attention is devoted to various p-admissible conductors f = q 1 · · · q t with an increasing number t ≥ 0 of prime divisors, starting with unramified extensions having t = 0, f = 1, and continuing with ramified extensions, beginning with prime or prime power conductors having t = 1, f = q 1 with a prime q 1 ∈ P or the critical prime power q 1 = p 2 .

Multiplets over imaginary quadratic fields for p = 3
The focus of this section and most of the further sections is on p = 3, where the components N c,i of multiplets are cyclic cubic extensions of quadratic base fields K. Here, we begin with imaginary base fields K having the smallest possible 3-Selmer rank σ 3 = ̺ 3 . The behavior of the particular imaginary quadratic field K with d = −3 where the extensions N c,i /K contain pure cubic fields is rather similar to real quadratic base fields K with σ 3 = ̺ 3 + 1, and thus the case d = −3 will be treated separately.

Proof. All 3-ring spaces
7.1. Classification of Angell's 3169 simply real cubic fields. In order to demonstrate the powerful performance of our innovative techniques, we construct all 3-ring class fields K 3,f which contain the normal closures N of the simply real cubic fields L in Angell's table [1,2] as abelian extensions of the associated imaginary quadratic base fields K < N .
There arise four values of the multiplicity m = 1, 2, 3, 4, and accordingly simply real cubic fields are collected in singlets, doublets, triplets and quartets. Nilets with m = 0 complete the view.
The classification of the pure cubic fields, respectively non-pure simply real cubic fields, into differential principal factorization types was established in [5], respectively [35].
Although the types α and β of pure cubic fields are similar to the types α 2 and β of non-pure simply real cubic fields, we do not mix the classifications, since firstly the existence of radicals among the principal factors distinguishes pure cubic fields from non-pure simply real cubic fields, and secondly, type γ can only occur for the former, whereas type α 1 is only possible for the latter. Results: According to Table 1, the number of all non-pure simply real cubic fields L having discriminants −2 · 10 4 < d L < 0 is given by 3134. Together with 35 pure cubic fields in Table 2, the total number is 3169, as announced correctly in [2]. We emphasize the difference between the number of discriminants (without multiplicities) 2824 + 24 + 58 + 22 = 2928, and the number of fields (including multiplicities in a weighted sum) 1 · 2824 + 2 · 24 + 3 · 58 + 4 · 22 = 2824 + 48 + 174 + 88 = 3134, which can be confirmed by adding the contributions to the 3 DPF types α 1 , α 2 , β 2344 + 65 + 725 = 3134.
In contrast, 235 is the number of formal cubic discriminants d L = f 2 · d K with fundamental discriminants d K of imaginary quadratic fields and 3-admissible conductors f for each K, where the relevant multiplicity formula [32] yields the value zero. So the formal cubic discriminants belong to nilets, i.e., multiplets with multiplicity m 3 (K, f ) = 0. The total number of all (actual) cubic discriminants and formal cubic discriminants is the number of admissible cubic discriminants 2928 + 235 = 3163.
According to Theorem 7.1, Nilets can only arise for ̺ 3 ≥ 1, but not for ̺ 3 = 0. Table 2. Pure cubic discriminants in the range −2 · 10 4 < d L = −3 · f 2 < 0 29 3 11 20 4 According to Table 2, the number of pure cubic fields L with discriminant −2 · 10 4 < d L < 0 is 35. Actually, triplets and quartets of pure cubic fields do not occur in this range. There is a difference between the number of discriminants (without multiplicities) The total number of all (actual) cubic discriminants and formal cubic discriminants (of the 20 nilets) is the number of admissible pure cubic discriminants d L = −3 · f 2 , 32 + 20 = 52.

Multiplets over real quadratic fields for p = 3
We continue with real quadratic base fields K having elevated 3-Selmer rank σ 3 = ̺ 3 + 1, due to the existence of a torsion free fundamental unit ε > 1.
8.1. Classification of Angell's 4804 totally real cubic fields. In order to demonstrate our progressive perspective of classification of heterogeneous multiplets M(K 3,f ) into an enigmatic variety of differential principal factorization types, we construct all 3-ring class fields K 3,f which contain the normal closures N of the totally real cubic fields L in Angell's table [3,4] as abelian extensions of the associated real quadratic base fields K < N .
Again there arise four values of the multiplicity m = 1, 2, 3, 4, and accordingly totally real cubic fields are collected in singlets, doublets, triplets and quartets. Formal nilets complete the view.
The classification into differential principal factorization types for non-cyclic totally real cubic fields was developed in [23,24,35]. Results: According to Table 3, the number of non-cyclic totally real cubic fields L with discriminant 0 < d L < 10 5 is 4753, in perfect accordance with the results by Llorente and Oneto [17,18], who discovered the ommission of ten fields in the table by Angell [3,4]. Together with 51 cyclic cubic fields in Table 4, the total number is 4804 (not 4794, as announced erroneously in [4]). Table 3. Cubic discriminants in the range 0 < d L = f 2 · d < 10 5

Multiplicity
Differential Principal Factorization f Condition Total 0 1 2 In contrast, 3733 is the number of formal cubic discriminants d L = f 2 · d K with fundamental discriminants d K of real quadratic fields and 3-admissible conductors f for each K, where the relevant multiplicity formula [32] yields the value zero. So the formal cubic discriminants belong to nilets, i.e., multiplets with multiplicity m 3 (K, f ) = 0. The total number of all (actual) cubic discriminants and formal cubic discriminants is the number of admissible cubic discriminants 4687 + 3733 = 8420.
According to Table 4, the number of cyclic cubic fields L with discriminant 0 < d L < 10 5 is 51, with 31 arising from singlets having conductors f with a single prime divisor, and 20 from doublets having two prime divisors of the conductor f . (M denotes the multiplicity.) We point out that cyclic cubic fields are rather contained in ray class fields over Q than in ring class fields over real quadratic base fields. The single possible DPF type ζ has nothing to do with the 9 DPF types α 1 , α 2 , α 3 , β 1 , β 2 , γ, δ 1 , δ 2 , ε of non-abelian totally real cubic fields in [35].

Conclusion and outlook
In this paper, we have classified all multiplets Obj(K 3,f ) of non-pure simply real cubic fields L (more precisely of their normal closures N ) according to the associated multiplets of invariants, namely the differential principal factorization types, Inv(K 3,f ), where K 3,f denotes the 3-

Acknowledgements
This work has been completed on Tuesday, 29 December 2020. In order to disprove any claims of priority concerning the innovative perspective of classifying multiplets of dihedral fields, contained in p-ring class fields, into differential principal factorization types, the article has immediately been disseminated on various scientific open access platforms. The author gratefully acknowledges that his research was supported by the Austrian Science Fund (FWF): projects J0497-PHY and P26008-N25.