Bicyclic commutator quotients with one non-elementary component

DOI10.21136/MB.2022.0127-21MaRDI QIDQ6133022zbMATH OpenOpenAlexFDO

Authors Daniel C. Mayer

Publication date 17 August 2023

Published in Mathematica Bohemica (Search for Journal in Brave)

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

zbMATH Keywords

statisticsGalois actionrelation rankSchur \(\sigma\)-groupsimaginary quadratic fields\(p\)-group generation algorithmantitony principlegenerator rankdescendant treesunramified cyclic cubic extensionsabelian quotient invariantsbicyclic \(3\)-class groupfinite \(3\)-groupsHilbert \(3\)-class field towerkernels of Artin transferslow index normal subgroupsmaximal unramified pro-\(3\) extensionpro-\(3\) groupspunctured capitulation types

Mathematics Subject Classification ID

Galois theory (11R32) Class field theory (11R37) Limits, profinite groups (20E18) Extensions, wreath products, and other compositions of groups (20E22) Generators, relations, and presentations of groups (20F05) Derived series, central series, and generalizations for groups (20F14) Quadratic extensions (11R11) Other abelian and metabelian extensions (11R20) Class numbers, class groups, discriminants (11R29) Algebraic number theory computations (11Y40) Finite nilpotent groups, (p)-groups (20D15) Commutator calculus (20F12)

Abstract: For any number field K with non-elementary 3-class group Cl(3,K) = C(3^e) x C(3), e >= 2, the punctured capitulation type kappa(K) of K in its unramified cyclic cubic extensions Li, 1 <= i <= 4, is an orbit under the action of S3 x S3. By means of Artin's reciprocity law, the arithmetical invariant kappa(K) is translated to the punctured transfer kernel type kappa(G2) of the automorphism group G2 = Gal(F(3,2,K)/K) of the second Hilbert 3-class field of K. A classification of finite 3-groups G with low order and bicyclic commutator quotient G/G' = C(3^e) x C(3), 2 <= e <= 6, according to the algebraic invariant kappa(G), admits conclusions concerning the length of the Hilbert 3-class field tower F(3,infty,K) of imaginary quadratic number fields K.

Cited in

(2)

• New perspectives of the power-commutator structure: coclass trees of CF-groups and related BCF-groups
• Structure of relative genus fields of cubic Kummer extensions

This page was built for publication: Bicyclic commutator quotients with one non-elementary component

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