Related papers: Periodic sequences of p-class tower groups

The aim of this chapter is to provide an adequate graph theoretic framework for the description of periodic bifurcations which have recently been discovered in descendant trees of finite p-groups. The graph theoretic concepts of rooted…

Theoretical background and an implementation of the (p)-group generation algorithm by Newman and O'Brien are used to provide computational evidence of a new type of periodically repeating patterns in pruned descendant trees of finite…

Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups…

The p-class tower $F_p^\infty(k)$ of a number field k is its maximal unramified pro-p extension. It is considered to be known when the p-tower group, that is the Galois group $G:=Gal(F_p^\infty(k)/k)$, can be identified by an explicit…

Let e>1 be an integer. Among the finite 3-groups G with bicyclic commutator quotient G/G' ~ C(3^e) * C(3), having one non-elementary component with logarithmic exponent e, there exists a unique pair of coclass trees with distinguished rank…

Infinitely many large Schur sigma-groups G with non-elementary bicyclic commutator quotient G/G' = C(3^e) x C(3), e >= 2, are constructed as periodic sequences of vertices in descendant trees of finite 3-groups. A single root gives rise to…

For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin…

The $p$-group generation algorithm is used to verify that the Hilbert $3$-class field tower has length $3$ for certain imaginary quadratic fields $K$ with $3$-class group $\mathrm{Cl}_3(K) \cong [3,3]$. Our results provide the first…

Let p be a prime and K be a number field with non-trivial p-class group Cl(p,K). A crucial step in identifying the Galois group G=G(p,K) of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G(p,2,K),…

For a prime \(p\ge 2\) and a number field K with p-class group of type (p,p) it is shown that the class, coclass, and further invariants of the metabelian Galois group \(G=Gal(F_p^2(K) | K)\) of the second Hilbert p-class field \(F_p^2(K)\)…

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

Given a fixed prime number \(p\), the multiplet of abelian type invariants of the \(p\)-class groups of all unramified cyclic degree \(p\) extensions of a number field \(K\) is called its IPAD (index-\(p\) abelianization data). These…

With K=Q((3812377)^(1/2)) we give the first example of an algebraic number field possessing a 5-class tower of exact length L(5,K)=3. The rigorous proof is conducted by means of the p-group generation algorithm, showing the existence of a…

Periodic trees are combinatorial structures which are in bijection with cluster tilting objects in cluster categories of affine type $\tilde{A}_{n-1}$. The internal edges of the tree encode the $c$-vectors corresponding to the cluster…

Let F be a number field and p be a prime. In the Successive Approximation Theorem, we prove that, for each positive integer n, finitely many candidates for the Galois group G(p,n,F) of the n-th stage F(p,n) of the p-class tower…

For two given positive integers $p$ and $q$ with $p\leqslant q$, we denote $\mathscr{T}_n^{p, q}={T: T$ is a tree of order $n$ with a $(p, q)$-bipartition}. For a graph $G$ with $n$ vertices, let $A(G)$ be its adjacency matrix with…

The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such…

Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…

We examine the behavior of the sequences of $p$-adic valuations of quadratic polynomials with integer coefficients for an odd prime $p$ through tree representations. Under this representation, a finite tree corresponds to a periodic…