Principalization algorithm via class group structure

DOI10.5802/JTNB.874MaRDI QIDQ2341684zbMATH OpenOpenAlexWikidataFDO

Authors Daniel C. Mayer

Publication date 27 April 2015

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.3839

zbMATH Keywords

quadratic fieldscubic fieldscoclass graphs3-class groups\(S_3\) -fieldsmetabelian 3-groupsprincipalization of 3-classes

Mathematics Subject Classification ID

Quadratic extensions (11R11) Other abelian and metabelian extensions (11R20) Class numbers, class groups, discriminants (11R29) Finite nilpotent groups, (p)-groups (20D15) Cubic and quartic extensions (11R16)

Abstract: For an algebraic number field K with 3-class group (Cl_3(K)) of type (3,3), the structure of the 3-class groups (Cl_3(N_i)) of the four unramified cyclic cubic extension fields (N_i), (1le ile 4), of K is calculated with the aid of presentations for the metabelian Galois group (G_3^2(K)=Gal(F_3^2(K) | K)) of the second Hilbert 3-class field (F_3^2(K)) of K. In the case of a quadratic base field (K=mathbb{Q}(sqrt{D})) it is shown that the structure of the 3-class groups of the four (S_3)-fields (N_1,ldots,N_4) frequently determines the type of principalization of the 3-class group of K in (N_1,ldots,N_4). This provides an alternative to the classical principalization algorithm by Scholz and Taussky. The new algorithm, which is easily automatizable and executes very quickly, is implemented in PARI/GP and is applied to all 4596 quadratic fields K with 3-class group of type (3,3) and discriminant (-10^6<D<10^7) to obtain extensive statistics of their principalization types and the distribution of their second 3-class groups (G_3^2(K)) on various coclass trees of the coclass graphs G(3,r), (1le rle 6), in the sense of Eick, Leedham-Green, and Newman.

Recommendations

• scientific article; zbMATH DE number 4212164
• The second \(p\)-class group of a number field
• scientific article; zbMATH DE number 3961759
• The group \(\mathrm{Gal}(k_3^{(2)}|k)\) for \(k=\mathbb Q(\sqrt{-3},\sqrt{d})\) of type \((3,3)\)
• scientific article; zbMATH DE number 1740602

Cites work

• scientific article; zbMATH DE number 3125745 (Why is no real title available?)
• scientific article; zbMATH DE number 4212164 (Why is no real title available?)
• scientific article; zbMATH DE number 5380268 (Why is no real title available?)
• scientific article; zbMATH DE number 1776366 (Why is no real title available?)
• scientific article; zbMATH DE number 3796073 (Why is no real title available?)
• scientific article; zbMATH DE number 3013115 (Why is no real title available?)
• A Contribution to the Theory of Groups of Prime-Power Order
• A computer aided classification of certain groups of prime power order
• A remark concerning Hilbert's Theorem 94.
• Computation of low-dimensional (co)homology groups for infinite sequences of \(p\)-groups with fixed coclass.
• Computing class fields via the Artin map
• Idealklassen und Einheiten in kubischen Körpern
• Metabelian p-Groups of Maximal Class
• Multiplicites of Dihedral Discriminants
• On 3-groups of second maximal class
• On Totally Real Cubic Fields with Discriminant D < 10 7
• On a special class of p-groups
• On the Computation of a Table of Complex Cubic Fields with Discriminant D > -10 6
• On the classification of groups of prime-power order by coclass: the 3-groups of coclass 2.
• On the classification of prime-power groups by coclass
• Some results related to Hilbert's theorem 94
• Space groups and groups of prime-power order. I
• The Groups of Order p 6 (p and Odd Prime)
• The classification of prime-power groups.
• The distribution of second \(p\)-class groups on coclass graphs
• The second \(p\)-class group of a number field
• Topics in computational algebraic number theory
• Transfers of metabelian \(p\)-groups

Cited in

(5)

• Transfers of metabelian \(p\)-groups
• Invariant generalized ideal classes -- structure theorems for p-class groups in p-extensions
• 3-class field towers of exact length 3
• Heuristics for \(p\)-class towers of imaginary quadratic fields
• Annihilator ideals of two-generated metabelian p-groups

Describes a project that uses

Uses Software

• SymbCompCC
• Coclass
• SmallGroups Library
• PARI/GP
• GAP

This page was built for publication: Principalization algorithm via class group structure

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