Computation of relative quadratic class groups

DOI10.1007/BFB0054882MaRDI QIDQ3840186zbMATH OpenFDO

Authors Henri Cohen, Francisco Diaz y Diaz, Michel Olivier

Publication date 30 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0054882

zbMATH Keywords

basis of the ideal groupfactorizationregulatorsrelative quadratic class groupsunit groups

Mathematics Subject Classification ID

Units and factorization (11R27) Class numbers, class groups, discriminants (11R29) Algebraic number theory computations (11Y40)

Review text

If \(L/K\) is a number field extension, the relative class structure has two interpretations (each involved in class field theory). We can map ideals \({\mathfrak a} \in K\) into \(L\) by injecting \(({\mathfrak a} \to {\mathfrak a} \mathbb{Z}_L)\) or map ideals \({\mathfrak A} \in L\) into \(K\) by normalizing \(({\mathfrak A} \to N_{L/K} {\mathfrak A})\). Unit groups and regulators would be mapped accordingly. For computations the injection is more natural. This is applied to relative quadratics \(L/K\) as an easier method for finding the class structure of \(L\) from \(K\). The (as yet unpublished) details involve a quadratic form structure over the ideals of \(K\), simulating the case where \(K= \mathbb{Q}\). The generalized Riemann hypothesis is used to facilitate the discovery of the basis of the ideal group. The example cited is \(K= \mathbb{Q} (\exp 2\pi i/9)\) of class number one and \(L=K (\sqrt {-4201})\), where the quadratic adjoined has class structure \(C_{36}\). Here \(L\) has class structure \(C_{377244} \times C_6\). Reference is made to the authors' work [\textit{H. Cohen}, \textit{F. Diaz y Diaz}, and \textit{M. Olivier}, J. Symb. Comput. 24, 433-441 (1997; Zbl 0880.68067)]. For the entire collection see [Zbl 0891.00022].

Recommendations

• Ideal class groups of exponent two and one-class genera of binary quadratic lattices
• Computing ray class groups, conductors and discriminants
• Some further remarks on genus field
• scientific article; zbMATH DE number 1000524
• Elliptic units and the class numbers of non-Galois fields
• Relative integral basis for algebraic number fields
• On evaluation of \(L\)-functions over real quadratic fields
• scientific article; zbMATH DE number 1357284
• A computational technique for determining relative class numbers of CM-fields
• RELATIVE INTEGRAL BASES OVER A RAY CLASS FIELD

Cited in

(4)

• Computing ray class groups, conductors and discriminants
• Solving norm equations in relative number fields using $S$-units
• Class number relations from a computational point of view
• Fast multiquadratic S-unit computation and application to the calculation of class groups

This page was built for publication: Computation of relative quadratic class groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3840186)