User:DanielConstantinMayer/sandbox

In the mathematical field of group theory, an Artin transfer is a certain homomorphism from a group to the commutator quotient group of a subgroup of finite index. Originally, such mappings arose as group theoretic counterparts of class extension homomorphisms of abelian extensions of algebraic number fields by applying Artin's reciprocity maps to ideal class groups and analyzing the resulting homomorphisms between quotients of Galois groups. However, independently of number theoretic applications, the kernels and targets of Artin transfers have recently turned out to be compatible with parent-descendant relations between finite p-groups, which can be visualized in descendant trees. Therefore, Artin transfers provide a valuable tool for the classification of finite p-groups and for searching particular groups in descendant trees by looking for patterns defined by the kernels and targets of Artin transfers. These methods of pattern recognition are useful in purely group theoretic context, as well as for applications in algebraic number theory.

Transversals of a subgroup
Let $$G$$ be a group and $$H<G$$ be a subgroup of finite index $$n=(G:H)$$.

Definitions.


 * A left transversal of $$H$$ in $$G$$ is an ordered system $$(g_1,\ldots,g_n)$$ of representatives for the left cosets of $$H$$ in $$G$$ such that $$G=\dot{\cup}_{i=1}^n\,g_iH$$ is a disjoint union.
 * Similarly, a right transversal of $$H$$ in $$G$$ is an ordered system $$(d_1,\ldots,d_n)$$ of representatives for the right cosets of $$H$$ in $$G$$ such that $$G=\dot{\cup}_{i=1}^n\,Hd_i$$ is a disjoint union.

Remarks.


 * For any transversal of $$H$$ in $$G$$, there exists a unique subscript $$1\le i_0\le n$$ such that $$g_{i_0}\in H$$, resp. $$d_{i_0}\in H$$. Of course, this element may be, but need not be, replaced by the neutral element $$1$$.
 * If $$G$$ is non-abelian and $$H$$ is not a normal subgroup of $$G$$, then we can only say that the inverse elements $$(g_1^{-1},\ldots,g_n^{-1})$$ of a left transversal $$(g_1,\ldots,g_n)$$ form a right transversal of $$H$$ in $$G$$, since $$G=\dot{\cup}_{i=1}^n\,g_iH$$ implies $$G=G^{-1}=\dot{\cup}_{i=1}^n\,(g_iH)^{-1}=\dot{\cup}_{i=1}^n\,H^{-1}g_i^{-1}=\dot{\cup}_{i=1}^n\,Hg_i^{-1}$$.
 * However, if $$H\triangleleft G$$ is a normal subgroup of $$G$$, then any left transversal is also a right transversal of $$H$$ in $$G$$, since $$xH=Hx$$ for each $$x\in G$$.

Permutation representation
Suppose $$(g_1,\ldots,g_n)$$ is a left transversal of a subgroup $$H<G$$ of finite index $$n=(G:H)$$ in a group $$G$$. A fixed element $$x\in G$$ gives rise to a unique permutation $$\pi_x\in S_n$$ of the left cosets of $$H$$ in $$G$$ such that $$xg_i\in g_{\pi_x(i)}H$$, resp. $$h_x(i):=g_{\pi_x(i)}^{-1}xg_i\in H$$, for each $$1\le i\le n$$.

Similarly, if $$(d_1,\ldots,d_n)$$ is a right transversal of $$H$$ in $$G$$, then a fixed element $$x\in G$$ gives rise to a unique permutation $$\rho_x\in S_n$$ of the right cosets of $$H$$ in $$G$$ such that $$d_ix\in Hd_{\rho_x(i)}$$, resp. $$\eta_x(i):=d_ixd_{\rho_x(i)}^{-1}\in H$$, for each $$1\le i\le n$$.

Definition.

The mapping $$G\to S_n,\ x\mapsto\pi_x$$, resp. $$G\to S_n,\ x\mapsto\rho_x$$, is called the permutation representation of $$G$$ in $$S_n$$ with respect to $$(g_1,\ldots,g_n)$$, resp. $$(d_1,\ldots,d_n)$$.

Remark.

For the special right transversal $$(g_1^{-1},\ldots,g_n^{-1})$$ associated to the left transversal $$(g_1,\ldots,g_n)$$ we have $$\eta_x(i)=g_i^{-1}xg_{\rho_x(i)}$$ but on the other hand $$h_x(i)^{-1}=(g_{\pi_x(i)}^{-1}xg_i)^{-1}=g_i^{-1}x^{-1}g_{\pi_x(i)}=g_i^{-1}x^{-1}g_{\rho_{x^{-1}}(i)}=\eta_{x^{-1}}(i)$$, for each $$1\le i\le n$$. This relation simultaneously shows that, for any $$x\in G$$, the permutation representations are connected by $$\rho_{x^{-1}}=\pi_x$$ and $$\eta_{x^{-1}}(i)=h_x(i)^{-1}$$, for each $$1\le i\le n$$.

Artin transfer
Let $$G$$ be a group and $$H<G$$ be a subgroup of finite index $$n=(G:H)$$. Assume that $$(g_1,\ldots,g_n)$$, resp. $$(d_1,\ldots,d_n)$$, is a left, resp. right, transversal of $$H$$ in $$G$$.

Definition.

Then the Artin transfer $$T_{G,H}:\ G\to H/H^\prime$$ from $$G$$ to the abelianization of $$H$$ with respect to $$(g_1,\ldots,g_n)$$, resp. $$(d_1,\ldots,d_n)$$, is defined by $$T_{G,H}^{(g)}(x):=\prod_{i=1}^n\,g_{\pi_x(i)}^{-1}xg_i\cdot H^\prime$$ or briefly $$T_{G,H}(x)=\prod_{i=1}^n\,h_x(i)\cdot H^\prime$$, resp. $$T_{G,H}^{(d)}(x):=\prod_{i=1}^n\,d_ixd_{\rho_x(i)}^{-1}\cdot H^\prime$$ or briefly $$T_{G,H}(x)=\prod_{i=1}^n\,\eta_x(i)\cdot H^\prime$$, for $$x\in G$$.

Independence of the transversal
Assume that $$(\gamma_1,\ldots,\gamma_n)$$ is another left transversal of $$H$$ in $$G$$ such that $$G=\dot{\cup}_{i=1}^n\,\gamma_iH$$. Then there exists a unique permutation $$\sigma\in S_n$$ such that $$g_iH=\gamma_{\sigma(i)}H$$, for all $$1\le i\le n$$. Consequently, $$g_i^{-1}\gamma_{\sigma(i)}\in H$$, resp. $$\gamma_{\sigma(i)}=g_ih_i$$ with $$h_i\in H$$, for all $$1\le i\le n$$. For a fixed element $$x\in G$$, there exists a unique permutation $$\lambda_x\in S_n$$ such that we have $$\gamma_{\lambda_x(\sigma(i))}H=x\gamma_{\sigma(i)}H=xg_ih_iH=xg_iH=g_{\pi_x(i)}H=g_{\pi_x(i)}h_{\pi_x(i)}H=\gamma_{\sigma(\pi_x(i))}H$$, for all $$1\le i\le n$$. Therefore, the permutation representation of $$G$$ with respect to $$(\gamma_1,\ldots,\gamma_n)$$ is given by $$\lambda_x=\sigma\circ\pi_x\circ\sigma^{-1}\in S_n$$, for $$x\in G$$. Furthermore, for the connection between the elements $$k_x(i):=\gamma_{\lambda_x(i)}^{-1}x\gamma_i\in H$$ and $$h_x(i)=g_{\pi_x(i)}^{-1}xg_i\in H$$, we obtain $$k_x(\sigma(i))=\gamma_{\lambda_x(\sigma(i))}^{-1}x\gamma_{\sigma(i)}=\gamma_{\sigma(\pi_x(i))}^{-1}xg_ih_i (g_{\pi_x(i)}h_{\pi_x(i)})^{-1}xg_ih_i=h_{\pi_x(i)}^{-1}g_{\pi_x(i)}^{-1}xg_ih_i=h_{\pi_x(i)}^{-1}h_x(i)h_i$$, for all $$1\le i\le n$$. Finally, due to the commutativity of the quotient group $$H/H^\prime$$ and the fact that $$\sigma,\pi_x$$ are permutations, the Artin transfer turns out to be independent of the left transversal: $$T_{G,H}^{(\gamma)}(x)=\prod_{i=1}^n\,k_x(\sigma(i))\cdot H^\prime=\prod_{i=1}^n\,h_{\pi_x(i)}^{-1}h_x(i)h_i\cdot H^\prime$$ $$=\prod_{i=1}^n\,h_x(i)\prod_{i=1}^n\,h_{\pi_x(i)}^{-1}\prod_{i=1}^n\,h_i\cdot H^\prime=\prod_{i=1}^n\,h_x(i)\cdot 1\cdot H^\prime=\prod_{i=1}^n\,h_x(i)\cdot H^\prime=T_{G,H}^{(g)}(x)$$, as defined above.

It remains to show that the Artin transfer with respect to a right transversal coincides with the Artin transfer with respect to a left transversal. For this purpose, we select the special right transversal $$(g_1^{-1},\ldots,g_n^{-1})$$ associated to the left transversal $$(g_1,\ldots,g_n)$$. Using the commutativity of $$H/H^\prime$$, we consider the expression $$T_{G,H}^{(g^{-1})}(x)=\prod_{i=1}^n\,g_i^{-1}xg_{\rho_x(i)}\cdot H^\prime=\prod_{i=1}^n\,\eta_x(i)\cdot H^\prime=\prod_{i=1}^n\,h_{x^{-1}}(i)^{-1}\cdot H^\prime=(\prod_{i=1}^n\,h_{x^{-1}}(i)\cdot H^\prime)^{-1}$$ $$=(T_{G,H}^{(g)}(x^{-1}))^{-1}=T_{G,H}^{(g)}(x)$$. The last step is justified by the fact that the Artin transfer is a homomorphism. This will be shown in the following section.

Homomorphisms
Let $$x,y\in G$$ be two elements with transfer images $$T_{G,H}(x)=\prod_{i=1}^n\,g_{\pi_x(i)}^{-1}xg_i\cdot H^\prime$$ and $$T_{G,H}(y)=\prod_{j=1}^n\,g_{\pi_y(j)}^{-1}yg_j\cdot H^\prime$$. Since $$H/H^\prime$$ is abelian and $$\pi_y$$ is a permutation, we can change the order of the factors in the following product: $$T_{G,H}(x)\cdot T_{G,H}(y)= \prod_{i=1}^n\,g_{\pi_x(i)}^{-1}xg_iH^\prime\cdot\prod_{j=1}^n\,g_{\pi_y(j)}^{-1}yg_j\cdot H^\prime= \prod_{j=1}^n\,g_{\pi_x(\pi_y(j))}^{-1}xg_{\pi_y(j)}H^\prime\cdot\prod_{j=1}^n\,g_{\pi_y(j)}^{-1}yg_j\cdot H^\prime $$ $$=\prod_{j=1}^n\,g_{\pi_x(\pi_y(j))}^{-1}xg_{\pi_y(j)}g_{\pi_y(j)}^{-1}yg_j\cdot H^\prime= \prod_{j=1}^n\,g_{(\pi_x\circ\pi_y)(j))}^{-1}xyg_j\cdot H^\prime=T_{G,H}(xy)$$. This relation simultaneously shows that the Artin transfer $$T_{G,H}$$ and the permutation representation $$G\to S_n,\ x\mapsto\pi_x$$ are homomorphisms, since $$\pi_{xy}=\pi_x\circ\pi_y$$.

Composition
Let $$G$$ be a group with nested subgroups $$K\le H\le G$$ such that the index $$(G:K)=(G:H)\cdot (H:K)=n\cdot m$$ is finite. Then the Artin transfer $$T_{G,K}$$ is the compositum of the induced transfer $$\tilde{T}_{H,K}:\ H/H^\prime\to K/K^\prime$$and the Artin transfer $$T_{G,H}$$, that is, $$T_{G,K}=\tilde{T}_{H,K}\circ T_{G,H}$$. This can be seen in the following manner.

If $$(g_1,\ldots,g_n)$$ is a left transversal of $$H$$ in $$G$$ and $$(h_1,\ldots,h_m)$$ is a left transversal of $$K$$ in $$H$$, that is $$G=\dot{\cup}_{i=1}^n\,g_iH$$ and $$H=\dot{\cup}_{j=1}^m\,h_jK$$, then $$G=\dot{\cup}_{i=1}^n\,\dot{\cup}_{j=1}^m\,g_ih_jK$$ is a disjoint left coset decomposition of $$G$$ with respect to $$K$$. Given two elements $$x\in G$$ and $$y\in H$$, there exist unique permutations $$\pi_x\in S_n$$, and $$\sigma_y\in S_m$$, such that $$h_x(i):=g_{\pi_x(i)}^{-1}xg_i\in H$$, for each $$1\le i\le n$$, and $$k_y(j):=h_{\sigma_y(j)}^{-1}yh_j\in K$$, for each $$1\le j\le m$$. Then $$T_{G,H}(x)=\prod_{i=1}^n\,h_x(i)\cdot H^\prime$$, and $$\tilde{T}_{H,K}(y\cdot H^\prime)=T_{H,K}(y)=\prod_{j=1}^m\,k_y(j)\cdot K^\prime$$. For each pair of subscripts $$1\le i\le n$$ and $$1\le j\le m$$, we have $$xg_ih_j=g_{\pi_x(i)}g_{\pi_x(i)}^{-1}xg_ih_j=g_{\pi_x(i)}h_x(i)h_j=g_{\pi_x(i)}h_{\sigma_{y_i}(j)}k_{y_i}(j)$$, resp. $$h_{\sigma_{y_i}(j)}^{-1}g_{\pi_x(i)}^{-1}xg_ih_j=k_{y_i}(j)$$, where $$y_i:=h_x(i)$$. Therefore, the image of $$x$$ under the Artin transfer $$T_{G,K}$$ is given by $$T_{G,K}(x)=\prod_{i=1}^n\,\prod_{j=1}^m\,k_{y_i}(j)\cdot K^\prime=\prod_{i=1}^n\,\prod_{j=1}^m\,h_{\sigma_{y_i}(j)}^{-1}g_{\pi_x(i)}^{-1}xg_ih_j\cdot K^\prime$$ $$=\prod_{i=1}^n\,\prod_{j=1}^m\,h_{\sigma_{y_i}(j)}^{-1}h_x(i)h_j\cdot K^\prime=\prod_{i=1}^n\,\prod_{j=1}^m\,h_{\sigma_{y_i}(j)}^{-1}y_ih_j\cdot K^\prime$$ $$=\prod_{i=1}^n\,\tilde{T}_{H,K}(y_i\cdot H^\prime)=\tilde{T}_{H,K}(\prod_{i=1}^n\,y_i\cdot H^\prime)=\tilde{T}_{H,K}(\prod_{i=1}^n\,h_x(i)\cdot H^\prime) =\tilde{T}_{H,K}(T_{G,H}(x))$$.

Cycle decomposition
Let $$(g_1,\ldots,g_n)$$ be a left transversal of a subgroup $$H<G$$ of finite index $$n=(G:H)$$ in a group $$G$$. Suppose the element $$x\in G$$ gives rise to the permutation $$\pi_x\in S_n$$ of the left cosets of $$H$$ in $$G$$ such that $$xg_iH=g_{\pi_x(i)}H$$, resp. $$g_{\pi_x(i)}^{-1}xg_i=:h_x(i)\in H$$, for each $$1\le i\le n$$.

If $$\pi_x$$ has the decomposition $$\pi_x=\prod_{j=1}^t\,\zeta_j$$ into pairwise disjoint cycles $$\zeta_j\in S_n$$ of lengths $$f_j\ge 1$$, which is unique up to the ordering of the cycles, more explicitly, if $$(g_jH,g_{\zeta_j(j)}H,g_{\zeta_j^2(j)}H,\ldots,g_{\zeta_j^{f_j-1}(j)}H)=(g_jH,xg_jH,x^2g_jH,\ldots,x^{f_j-1}g_jH)$$, for $$1\le j\le t$$, and $$\sum_{j=1}^t\,f_j=n$$, then the image of $$x$$ under the Artin transfer $$T_{G,H}$$ is given by $$T_{G,H}(x)=\prod_{j=1}^t\,g_j^{-1}x^{f_j}g_j\cdot H^\prime$$.

The reason for this fact is that we obtain another left transversal of $$H$$ in $$G$$ by putting $$\gamma_{j,k}:=x^kg_j$$ for $$0\le k\le f_j-1$$ and $$1\le j\le t$$, since $$G=\dot{\cup}_{j=1}^t\,\dot{\cup}_{k=0}^{f_j-1}\,x^kg_jH$$. Let us fix a value of $$1\le j\le t$$. For $$0\le k\le f_j-2$$, we have $$x\gamma_{j,k}=xx^kg_j=x^{k+1}g_j=\gamma_{j,k+1}=\gamma_{j,k+1}\cdot 1$$, resp. $$h_x(j,k)=1$$. However, for $$k=f_j-1$$, we obtain $$x\gamma_{j,f_j-1}=xx^{f_j-1}g_j=x^{f_j}g_j\in g_jH$$, resp. $$g_j^{-1}x^{f_j}g_j=h_x(j,f_j-1)\in H$$. Consequently, $$T_{G,H}(x)=\prod_{j=1}^t\,\prod_{k=0}^{f_j-1}\,h_x(j,k)\cdot H^\prime=\prod_{j=1}^t\,(\prod_{k=0}^{f_j-2}\,1)\cdot h_x(j,f_j-1)\cdot H^\prime=\prod_{j=1}^t\,g_j^{-1}x^{f_j}g_j\cdot H^\prime$$.

Normal subgroup
Let $$H\triangleleft G$$ be a normal subgroup of finite index $$n=(G:H)$$ in a group $$G$$. Then we have $$xH=Hx$$, for all $$x\in G$$, and there exists the quotient group $$G/H$$ of order $$n$$. For an element $$x\in G$$, we let $$f:=\mathrm{ord}(xH)$$ denote the order of the coset $$xH$$ in $$G/H$$. Then, $$\langle xH\rangle$$ is a cyclic subgroup of order $$f$$ of $$G/H$$, and a (left) transversal $$(g_1,\ldots,g_t)$$ of the subgroup $$\langle x,H\rangle$$ in $$G$$, where $$t=n/f$$ and $$G=\dot{\cup}_{j=1}^t\,g_j\langle x,H\rangle$$, can be extended to a (left) transversal $$G=\dot{\cup}_{j=1}^t\,\dot{\cup}_{k=0}^f\,g_jx^kH$$ of $$H$$ in $$G$$. Hence, the formula for the image of $$x$$ under the Artin transfer $$T_{G,H}$$ in the previous section takes the particular shape $$T_{G,H}(x)=\prod_{j=1}^t\,g_j^{-1}x^fg_j\cdot H^\prime$$ with exponent $$f$$ independent of $$j$$.

In particular, the inner transfer of an element $$x\in H$$ of order $$f=1$$ is given as a symbolic power $$T_{G,H}(x)=\prod_{j=1}^t\,g_j^{-1}xg_j\cdot H^\prime=\prod_{j=1}^t\,x^{g_j}\cdot H^\prime=x^{\sum_{j=1}^t\,g_j}\cdot H^\prime$$ with the trace element $$\mathrm{Tr}_G(H)=\sum_{j=1}^t\,g_j\in\mathbb{Z}\lbrack G\rbrack$$ of $$H$$ in $$G$$ as symbolic exponent. The other extreme is the outer transfer of an element $$x\in G\setminus H$$ which generates $$G$$ modulo $$H$$, that is $$G=\langle x,H\rangle$$ and $$f=n$$, is simply an $$n$$th power $$T_{G,H}(x)=\prod_{j=1}^1\,1^{-1}\cdot x^n\cdot 1\cdot H^\prime=x^n\cdot H^\prime$$.

Transfer kernels and targets
Let $$G$$ be a group with finite abelianization $$G/G^\prime$$. Suppose that $$(H_i)_{i\in I}$$ denotes the family of all subgroups $$H_i\triangleleft G$$ which contain the commutator subgroup $$G^\prime$$ and are therefore necessarily normal, enumerated by means of the finite index set $$I$$. For each $$i\in I$$, let $$T_i:=T_{G,H_i}$$ be the Artin transfer from $$G$$ to the abelianization $$H_i/H_i^\prime$$.

Definition.

The family of normal subgroups $$\varkappa_H(G)=(\ker(T_i))_{i\in I}$$ is called the transfer kernel type (TKT) of $$G$$ with respect to $$(H_i)_{i\in I}$$, and the family of abelianizations (resp. their abelian type invariants) $$\tau_H(G)=(H_i/H_i^\prime)_{i\in I}$$ is called the transfer target type (TTT) of $$G$$ with respect to $$(H_i)_{i\in I}$$. Both families are also called multiplets whereas a single component will be referred to as a singulet.

Important examples for these concepts are provided in the following two sections.

Abelianization of type (p,p)
Let $$G$$ be a p-group with abelianization $$G/G^\prime$$ of elementary abelian type $$(p,p)$$. Then $$G$$ has $$p+1$$ maximal subgroups $$H_i<G$$ $$(1\le i\le p+1)$$ of index $$(G:H_i)=p$$. For each $$1\le i\le p+1$$, let $$T_i:\,G\to H_i/H_i^\prime$$ be the Artin transfer homomorphism from $$G$$ to the abelianization of $$H_i$$.

Definition.

The family of normal subgroups $$\varkappa_H(G)=(\ker(T_i))_{1\le i\le p+1}$$ is called the transfer kernel type (TKT) of $$G$$ with respect to $$H_1,\ldots,H_{p+1}$$.

Remarks.
 * For brevity, the TKT is identified with the multiplet $$(\varkappa(i))_{1\le i\le p+1}$$, whose integer components are given by $$\varkappa(i)=\begin{cases}0 & \text{ if } \ker(T_i)=G,\\j & \text{ if } \ker(T_i)=H_j \text{ for some } 1\le j\le p+1.\end{cases}$$ Here, we take into consideration that each transfer kernel $$\ker(T_i)$$ must contain the commutator subgroup $$G^\prime$$ of $$G$$, since the transfer target $$H_i/H_i^\prime$$ is abelian. However, the minimal case $$\ker(T_i)=G^\prime$$ cannot occur.
 * A renumeration of the maximal subgroups $$K_i=H_{\pi(i)}$$ and of the transfers $$V_i=T_{\pi(i)}$$ by means of a permutation $$\pi\in S_{p+1}$$ gives rise to a new TKT $$\lambda_K(G)=(\ker(V_i))_{1\le i\le p+1}$$ with respect to $$K_1,\ldots,K_{p+1}$$, identified with $$(\lambda(i))_{1\le i\le p+1}$$, where $$\lambda(i)=\begin{cases}0 & \text{ if } \ker(V_i)=G,\\j & \text{ if } \ker(V_i)=K_j \text{ for some } 1\le j\le p+1.\end{cases}$$ It is adequate to view the TKTs $$\lambda_K(G)\sim\varkappa_H(G)$$ as equivalent. Since we have $$K_{\lambda(i)}=\ker(V_i)=\ker(T_{\pi(i)})=H_{\varkappa(\pi(i))}=K_{\tilde{\pi}^{-1}(\varkappa(\pi(i)))}$$, the relation between $$\lambda$$ and $$\varkappa$$ is given by $$\lambda=\tilde{\pi}^{-1}\circ\varkappa\circ\pi$$. Therefore, $$\lambda$$ is another representative of the orbit $$\varkappa^{S_{p+1}}$$ of $$\varkappa$$ under the operation $$(\pi,\mu)\mapsto\tilde{\pi}^{-1}\circ\mu\circ\pi$$ of the symmetric group $$S_{p+1}$$ on the set of all mappings from $$\lbrace 1,\ldots,p+1\rbrace$$ to $$\lbrace 0,\ldots,p+1\rbrace$$, where the extension $$\tilde{\pi}\in S_{p+2}$$ of the permutation $$\pi\in S_{p+1}$$ is defined by $$\tilde{\pi}(0)=0$$, and formally $$H_0=G$$, $$K_0=G$$.

Definition.

The orbit $$\varkappa(G)=\varkappa^{S_{p+1}}$$ of any representative $$\varkappa$$ is an invariant of the p-group $$G$$ and is called its transfer kernel type, briefly TKT.

Abelianization of type (p²,p)
Let $$G$$ be a p-group with abelianization $$G/G^\prime$$ of non-elementary abelian type $$(p^2,p)$$. Then $$G$$ possesses $$p+1$$ maximal subgroups $$H_i<G$$ $$(1\le i\le p+1)$$ of index $$(G:H_i)=p$$, and $$p+1$$ subgroups $$U_i<G$$ $$(1\le i\le p+1)$$ of index $$(G:U_i)=p^2$$.

Assumption.

Suppose that $$H_{p+1}=\prod_{j=1}^{p+1}\,U_j$$ is the distinguished maximal subgroup which is the product of all subgroups of index $$p^2$$, and $$U_{p+1}=\cap_{j=1}^{p+1}\,H_j$$ is the distinguished subgroup of index $$p^2$$ which is the intersection of all maximal subgroups, that is the Frattini subgroup $$\Phi(G)$$ of $$G$$.

First layer
For each $$1\le i\le p+1$$, let $$T_{1,i}:\,G\to H_i/H_i^\prime$$ be the Artin transfer homomorphism from $$G$$ to the abelianization of $$H_i$$.

Definition.

The family $$\varkappa_{1,H,U}(G)=(\ker(T_{1,i}))_{1\le i\le p+1}$$ is called the first layer transfer kernel type of $$G$$ with respect to $$H_1,\ldots,H_{p+1}$$ and $$U_1,\ldots,U_{p+1}$$, and is identified with $$(\varkappa_1(i))_{1\le i\le p+1}$$, where $$\varkappa_1(i)=\begin{cases}0 & \text{ if } \ker(T_{1,i})=H_{p+1},\\j & \text{ if } \ker(T_{1,i})=U_j \text{ for some } 1\le j\le p+1.\end{cases}$$

Remark.

Here, we observe that each first layer transfer kernel is of exponent $$p$$ with respect to $$G^\prime$$ and consequently cannot coincide with $$H_j$$ for any $$1\le j\le p$$, since $$H_j/G^\prime$$ is cyclic of order $$p^2$$, whereas $$H_{p+1}/G^\prime$$ is bicyclic of type $$(p,p)$$.

Second layer
For each $$1\le i\le p+1$$, let $$T_{2,i}:\,G\to U_i/U_i^\prime$$ be the Artin transfer homomorphism from $$G$$ to the abelianization of $$U_i$$.

Definition.

The family $$\varkappa_{2,U,H}(G)=(\ker(T_{2,i}))_{1\le i\le p+1}$$ is called the second layer transfer kernel type of $$G$$ with respect to $$U_1,\ldots,U_{p+1}$$ and $$H_1,\ldots,H_{p+1}$$, and is identified with $$(\varkappa_2(i))_{1\le i\le p+1}$$, where $$\varkappa_2(i)=\begin{cases}0 & \text{ if } \ker(T_{2,i})=G,\\j & \text{ if } \ker(T_{2,i})=H_j \text{ for some } 1\le j\le p+1.\end{cases}$$

Transfer kernel type
Combining the information on the two layers, we obtain the (complete) transfer kernel type $$\varkappa_{H,U}(G)=(\varkappa_{1,H,U}(G);\varkappa_{2,U,H}(G))$$ of the p-group $$G$$ with respect to $$H_1,\ldots,H_{p+1}$$ and $$U_1,\ldots,U_{p+1}$$.

Remark.

The distinguished subgroups $$H_{p+1}$$ and $$U_{p+1}=\Phi(G)$$ are unique invariants of $$G$$ and should not be renumerated. However, independent renumerations of the remaining maximal subgroups $$K_i=H_{\tau(i)}$$ $$(1\le i\le p)$$ and the transfers $$V_{1,i}=T_{1,\tau(i)}$$ by means of a permutation $$\tau\in S_p$$, and of the remaining subgroups $$W_i=U_{\sigma(i)}$$ $$(1\le i\le p)$$ of index $$p^2$$ and the transfers $$V_{2,i}=T_{2,\sigma(i)}$$ by means of a permutation $$\sigma\in S_p$$, give rise to new TKTs $$\lambda_{1,K,W}(G)=(\ker(V_{1,i}))_{1\le i\le p+1}$$ with respect to $$K_1,\ldots,K_{p+1}$$ and $$W_1,\ldots,W_{p+1}$$, identified with $$(\lambda_1(i))_{1\le i\le p+1}$$, where $$\lambda_1(i)=\begin{cases}0 & \text{ if } \ker(V_{1,i})=K_{p+1},\\j & \text{ if } \ker(V_{1,i})=W_j \text{ for some } 1\le j\le p+1,\end{cases}$$ and $$\lambda_{2,W,K}(G)=(\ker(V_{2,i}))_{1\le i\le p+1}$$ with respect to $$W_1,\ldots,W_{p+1}$$ and $$K_1,\ldots,K_{p+1}$$, identified with $$(\lambda_2(i))_{1\le i\le p+1}$$, where $$\lambda_2(i)=\begin{cases}0 & \text{ if } \ker(V_{2,i})=G,\\j & \text{ if } \ker(V_{2,i})=K_j \text{ for some } 1\le j\le p+1.\end{cases}$$ It is adequate to view the TKTs $$\lambda_{1,K,W}(G)\sim\varkappa_{1,H,U}(G)$$ and $$\lambda_{2,W,K}(G)\sim\varkappa_{2,U,H}(G)$$ as equivalent. Since we have $$W_{\lambda_1(i)}=\ker(V_{1,i})=\ker(T_{1,\hat{\tau}(i)})=U_{\varkappa_1(\hat{\tau}(i))}=W_{\tilde{\sigma}^{-1}(\varkappa_1(\hat{\tau}(i)))}$$, resp. $$K_{\lambda_2(i)}=\ker(V_{2,i})=\ker(T_{2,\hat{\sigma}(i)})=H_{\varkappa_2(\hat{\sigma}(i))}=K_{\tilde{\tau}^{-1}(\varkappa_2(\hat{\sigma}(i)))}$$, the relations between $$\lambda_1$$ and $$\varkappa_1$$, resp. $$\lambda_2$$ and $$\varkappa_2$$, are given by $$\lambda_1=\tilde{\sigma}^{-1}\circ\varkappa_1\circ\hat{\tau}$$, resp. $$\lambda_2=\tilde{\tau}^{-1}\circ\varkappa_2\circ\hat{\sigma}$$. Therefore, $$\lambda=(\lambda_1,\lambda_2)$$ is another representative of the orbit $$\varkappa^{S_p\times S_p}$$ of $$\varkappa=(\varkappa_1,\varkappa_2)$$ under the operation $$((\sigma,\tau),(\mu_1,\mu_2))\mapsto(\tilde{\sigma}^{-1}\circ\mu_1\circ\hat\tau,\tilde{\tau}^{-1}\circ\mu_2\circ\hat\sigma)$$ of the product of two symmetric groups $$S_p\times S_p$$ on the set of all pairs of mappings from $$\lbrace 1,\ldots,p+1\rbrace$$ to $$\lbrace 0,\ldots,p+1\rbrace$$, where the extensions $$\hat{\pi}\in S_{p+1}$$ and $$\tilde{\pi}\in S_{p+2}$$ of a permutation $$\pi\in S_p$$ are defined by $$\hat{\pi}(p+1)=\tilde{\pi}(p+1)=p+1$$ and $$\tilde{\pi}(0)=0$$, and formally $$H_0=K_0=G$$, $$K_{p+1}=H_{p+1}$$, $$U_0=W_0=H_{p+1}$$, and $$W_{p+1}=U_{p+1}=\Phi(G)$$.

Definition.

The orbit $$\varkappa(G)=\varkappa^{S_p\times S_p}$$ of any representative $$\varkappa=(\varkappa_1,\varkappa_2)$$ is an invariant of the p-group $$G$$ and is called its transfer kernel type, briefly TKT.



Inheritance from quotients
The common feature of all parent-descendant relations between finite p-groups is that the parent $$\pi(G)$$ is a quotient $$G/N$$ of the descendant $$G$$ by a suitable normal subgroup $$N\triangleleft G$$. Thus, an equivalent definition can be given by selecting an epimorphism $$\varphi$$ from $$G$$ onto a group $$\tilde{G}$$ whose kernel $$\ker(\varphi)$$ plays the role of the normal subgroup $$N\triangleleft G$$. In the following sections, this point of view will be taken, generally for arbitrary groups.

Passing through the abelianization
If $$\varphi:\ G\to A$$ is a homomorphism from a group $$G$$ to an abelian group $$A$$, then there exists a unique homomorphism $$\tilde{\varphi}:\  G/G^\prime\to A$$ such that $$\varphi=\tilde{\varphi}\circ\omega$$, where $$\omega:\ G\to G/G^\prime$$ denotes the canonical projection. The kernel of $$\tilde{\varphi}$$ is given by $$\ker(\tilde{\varphi})=\ker(\varphi)/G^\prime$$. The situation is visualized in Figure 1.

The uniqueness of $$\tilde{\varphi}$$ is a consequence of the condition $$\varphi=\tilde{\varphi}\circ\omega$$, which implies that $$\tilde{\varphi}$$ must be defined by $$\tilde{\varphi}(xG^\prime)=\tilde{\varphi}(\omega(x))=(\tilde{\varphi}\circ\omega)(x)=\varphi(x)$$, for any $$x\in G$$. The relation $$\tilde{\varphi}(xG^\prime\cdot yG^\prime)=\tilde{\varphi}((xy)G^\prime)=\varphi(xy)=\varphi(x)\cdot\varphi(y)=\tilde{\varphi}(xG^\prime)\cdot\tilde{\varphi}(xG^\prime)$$, for $$x,y\in G$$, shows that $$\tilde{\varphi}$$ is a homomorphism. For the commutator of $$x,y\in G$$, we have $$\varphi(\lbrack x,y\rbrack)=\lbrack\varphi(x),\varphi(y)\rbrack=1$$, since $$A$$ is abelian. Thus, the commutator subgroup $$G^\prime$$ of $$G$$ is contained in the kernel $$\ker(\varphi)$$, and this finally shows that the definition of $$\tilde{\varphi}$$ is independent of the coset representative, $$xG^\prime=yG^\prime$$ $$\Rightarrow$$ $$x^{-1}y\in G^\prime\le\ker(\varphi)$$ $$\Rightarrow$$ $$\tilde{\varphi}(xG^\prime)^{-1}\cdot\tilde{\varphi}(yG^\prime)=\tilde{\varphi}(x^{-1}yG^\prime)=\varphi(x^{-1}y)=1$$ $$\Rightarrow$$ $$\tilde{\varphi}(xG^\prime)=\tilde{\varphi}(yG^\prime)$$.



TTT singulets
Let $$G$$ and $$\tilde{G}$$ be groups such that $$\tilde{G}=\varphi(G)$$ is the image of $$G$$ under an epimorphism $$\varphi:\ G\to\tilde{G}$$ and $$\tilde{H}=\varphi(H)$$ is the image of a subgroup $$H\le G$$.

The commutator subgroup of $$\tilde{H}$$ is the image of the commutator subgroup of $$H$$, that is $$\tilde{H}^\prime=\varphi(H^\prime)$$. If $$\ker(\varphi)\le H$$, then $$\tilde{H}\simeq H/\ker(\varphi)$$, $$\varphi$$ induces a unique epimorphism $$\tilde{\varphi}:\ H/H^\prime\to\tilde{H}/\tilde{H}^\prime$$, and thus $$\tilde{H}/\tilde{H}^\prime$$ is epimorphic image of $$H/H^\prime$$, that is a quotient of $$H/H^\prime$$. Moreover, if even $$\ker(\varphi)\le H^\prime$$, then $$\tilde{H}^\prime\simeq H^\prime/\ker(\varphi)$$, the map $$\tilde{\varphi}$$ is an isomorphism, and $$\tilde{H}/\tilde{H}^\prime\simeq H/H^\prime$$. See Figure 2 for a visualization of this scenario.

The statements can be seen in the following manner. The image of the commutator subgroup is $$\varphi(H^\prime)=\varphi(\lbrack H,H\rbrack)=\varphi(\langle\lbrack u,v\rbrack\mid u,v\in H\rangle)=\langle\lbrack \varphi(u),\varphi(v)\rbrack\mid u,v\in H\rangle=\lbrack \varphi(H),\varphi(H)\rbrack)=\varphi(H)^\prime=\tilde{H}^\prime$$. If $$\ker(\varphi)\le H$$, then $$\varphi$$ can be restricted to an epimorphism $$\varphi\vert_H:\ H\to\tilde{H}$$, whence $$\tilde{H}=\varphi(H)\simeq H/\ker(\varphi)$$. According to the previous section, the composite epimorphism $$(\omega_{\tilde{H}}\circ\varphi\vert_H):\ H\to\tilde{H}/\tilde{H}^\prime$$ from $$H$$ onto the abelian group $$\tilde{H}/\tilde{H}^\prime$$ factors through $$H/H^\prime$$ by means of a uniquely determined epimorphism $$\tilde{\varphi}:\ H/H^\prime\to\tilde{H}/\tilde{H}^\prime$$ such that $$\tilde{\varphi}\circ\omega_H=\omega_{\tilde{H}}\circ\varphi\vert_H$$. Consequently, we have $$\tilde{H}/\tilde{H}^\prime\simeq (H/H^\prime)/\ker(\tilde{\varphi})$$. Furthermore, the kernel of $$\tilde{\varphi}$$ is given explicitly by $$\ker(\tilde{\varphi})=\ker(\omega_{\tilde{H}}\circ\varphi\vert_H)/H^\prime=(H^\prime\cdot\ker(\varphi))/H^\prime$$. Finally, if $$\ker(\varphi)\le H^\prime$$, then $$\tilde{H}^\prime=\varphi(H^\prime)\simeq H^\prime/\ker(\varphi)$$ and $$\tilde{\varphi}$$ is an isomorphism, since $$\ker(\tilde{\varphi})=H^\prime/H^\prime=1$$.

Definition.

Due to the results in the present section, it makes sense to define a partial order on the set of abelian type invariants by putting $$\tilde{H}/\tilde{H}^\prime\preceq H/H^\prime$$, when $$\tilde{H}/\tilde{H}^\prime\simeq (H/H^\prime)/\ker(\tilde{\varphi})$$, and $$\tilde{H}/\tilde{H}^\prime=H/H^\prime$$, when $$\tilde{H}/\tilde{H}^\prime\simeq H/H^\prime$$.



TKT singulets
Suppose that $$G$$ and $$\tilde{G}$$ are groups, $$\tilde{G}=\varphi(G)$$ is the image of $$G$$ under an epimorphism $$\varphi:\ G\to\tilde{G}$$, and $$\tilde{H}=\varphi(H)$$ is the image of a subgroup $$H\le G$$ of finite index $$n=(G:H)$$. Let $$T_{G,H}$$ be the Artin transfer from $$G$$ to $$H/H^\prime$$ and $$T_{\tilde{G},\tilde{H}}$$ be the Artin transfer from $$\tilde{G}$$ to $$\tilde{H}/\tilde{H}^\prime$$.

If $$\ker(\varphi)\le H$$, then the image $$(\varphi(g_1),\ldots,\varphi(g_n))$$ of a left transversal $$(g_1,\ldots,g_n)$$ of $$H$$ in $$G$$ is a left transversal of $$\tilde{H}$$ in $$\tilde{G}$$, and the inclusion $$\varphi(\ker(T_{G,H}))\le\ker(T_{\tilde{G},\tilde{H}})$$ holds. Moreover, if even $$\ker(\varphi)\le H^\prime$$, then the equation $$\varphi(\ker(T_{G,H}))=\ker(T_{\tilde{G},\tilde{H}})$$ holds. See Figure 3 for a visualization of this scenario.

The truth of these statements can be justified in the following way. Let $$(g_1,\ldots,g_n)$$ be a left transversal of $$H$$ in $$G$$. Then $$G=\dot{\cup}_{i=1}^n\,g_iH$$ is a disjoint union but $$\varphi(G)=\dot{\cup}_{i=1}^n\,\varphi(g_i)\varphi(H)$$ is not necessarily disjoint. For $$1\le j,k\le n$$, we have $$\varphi(g_j)\varphi(H)=\varphi(g_k)\varphi(H)$$$$\Leftrightarrow$$ $$\varphi(H)=\varphi(g_j)^{-1}\varphi(g_k)\varphi(H)=\varphi(g_j^{-1}g_k)\varphi(H)$$ $$\Leftrightarrow$$ $$\varphi(g_j^{-1}g_k)=\varphi(h)$$ for some element $$h\in H$$ $$\Leftrightarrow$$ $$\varphi(h^{-1}g_j^{-1}g_k)=1$$ $$\Leftrightarrow$$ $$h^{-1}g_j^{-1}g_k=:k\in\ker(\varphi)$$. However, if the condition $$\ker(\varphi)\le H$$ is satisfied, then we are able to conclude that $$g_j^{-1}g_k=hk\in H$$, and thus $$j=k$$.

Let $$\tilde{\varphi}:\ H/H^\prime\to\tilde{H}/\tilde{H}^\prime$$ be the epimorphism obtained in the manner indicated in the previous section. For the image of $$x\in G$$ under the Artin transfer, we have $$\tilde{\varphi}(T_{G,H}(x))=\tilde{\varphi}(\prod_{i=1}^n\,g_{\pi_x(i)}^{-1}xg_i\cdot H^\prime)=\prod_{i=1}^n\,\varphi(g_{\pi_x(i)})^{-1}\varphi(x)\varphi(g_i))\cdot\varphi(H^\prime)=$$. Since $$\varphi(H^\prime)=\varphi(H)^\prime=\tilde{H}^\prime$$, the right hand side equals $$T_{\tilde{G},\tilde{H}}(\varphi(x))$$, provided that $$(\varphi(g_1),\ldots,\varphi(g_n))$$ is a left transversal of $$\tilde{H}$$ in $$\tilde{G}$$, which is correct, when $$\ker(\varphi)\le H$$. This shows that the diagram in Figure 3 is commutative, that is $$\tilde{\varphi}\circ T_{G,H}=T_{\tilde{G},\tilde{H}}\circ\varphi$$. Consequently, we obtain the inclusion $$\varphi(\ker(T_{G,H}))\le\ker(T_{\tilde{G},\tilde{H}})$$, if $$\ker(\varphi)\le H$$. Finally, if $$\ker(\varphi)\le H^\prime$$, then the previous section has shown that $$\tilde{\varphi}$$ is an isomorphism. Using the inverse isomorphism, we get $$T_{G,H}=\tilde{\varphi}^{-1}\circ T_{\tilde{G},\tilde{H}}\circ\varphi$$, which proves the equation $$\varphi(\ker(T_{G,H}))=\ker(T_{\tilde{G},\tilde{H}})$$.

Definition.

In view of the results in the present section, we are able to define a partial order of transfer kernels by setting $$\ker(T_{G,H})\preceq\ker(T_{\tilde{G},\tilde{H}})$$, when $$\varphi(\ker(T_{G,H}))\le\ker(T_{\tilde{G},\tilde{H}})$$, and $$\ker(T_{G,H})=\ker(T_{\tilde{G},\tilde{H}})$$, when $$\varphi(\ker(T_{G,H}))=\ker(T_{\tilde{G},\tilde{H}})$$.

TTT and TKT multiplets
Suppose $$G$$ and $$\tilde{G}$$ are groups, $$\tilde{G}=\varphi(G)$$ is the image of $$G$$ under an epimorphism $$\varphi:\ G\to\tilde{G}$$, and both groups have isomorphic finite abelianizations $$G/G^\prime\simeq\tilde{G}/\tilde{G}^\prime$$. Let $$(H_i)_{i\in I}$$ denote the family of all subgroups $$H_i\triangleleft G$$ which contain the commutator subgroup $$G^\prime$$ (and thus are necessarily normal), enumerated by means of the finite index set $$I$$, and let $$\tilde{H_i}=\varphi(H_i)$$ be the image of $$H_i$$ under $$\varphi$$, for each $$i\in I$$. Assume that, for each $$i\in I$$, $$T_i:=T_{G,H_i}$$ denotes the Artin transfer from $$G$$ to the abelianization $$H_i/H_i^\prime$$, and $$\tilde{T}_i:=T_{\tilde{G},\tilde{H}_i}$$ denotes the Artin transfer from $$\tilde{G}$$ to the abelianization $$\tilde{H}_i/\tilde{H}_i^\prime$$. Finally, let $$J\subseteq I$$ be any non-empty subset of $$I$$.

Then it is convenient to define $$\varkappa_H(G)=(\ker(T_j))_{j\in J}$$, called the (partial) transfer kernel type (TKT) of $$G$$ with respect to $$(H_j)_{j\in J}$$, and $$\tau_H(G)=(H_j/H_j^\prime)_{j\in J}$$, called the (partial) transfer target type (TTT) of $$G$$ with respect to $$(H_j)_{j\in J}$$.

Due to the rules for singulets, established in the preceding two sections, these multiplets of TTTs and TKTs obey the following fundamental inheritance laws:


 * If $$\ker(\varphi)\le\cap_{j\in J}\,H_j$$, then $$\tau_{\tilde{H}}(\tilde{G})\preceq\tau_H(G)$$, in the sense that $$\tilde{H}_j/\tilde{H}_j^\prime\preceq H_j/H_j^\prime$$, for each $$j\in J$$, and $$\varkappa_H(G)\preceq\varkappa_{\tilde{H}}(\tilde{G})$$, in the sense that $$\ker(T_j)\preceq\ker(\tilde{T}_j)$$, for each $$j\in J$$.
 * If $$\ker(\varphi)\le\cap_{j\in J}\,H_j^\prime$$, then $$\tau_{\tilde{H}}(\tilde{G})=\tau_H(G)$$, in the sense that $$\tilde{H}_j/\tilde{H}_j^\prime=H_j/H_j^\prime$$, for each $$j\in J$$, and $$\varkappa_H(G)=\varkappa_{\tilde{H}}(\tilde{G})$$, in the sense that $$\ker(T_j)=\ker(\tilde{T}_j)$$, for each $$j\in J$$.

Stabilization criteria
In this section, the results concerning the inheritance of TTTs and TKTs from quotients in the previous section are applied to the simplest case, which is characterized by the following

Assumption.

The parent $$\pi(G)$$ of a group $$G$$ is the quotient $$\pi(G)=G/N$$ of $$G$$ by the last non-trivial term $$N=\gamma_c(G)\triangleleft G$$ of the lower central series of $$G$$, where $$c$$ denotes the nilpotency class of $$G$$. The corresponding epimorphism $$\pi$$ from $$G$$ onto $$\pi(G)=G/\gamma_c(G)$$ is the canonical projection, whose kernel is given by $$\ker(\pi)=\gamma_c(G)$$.

Under this assumption, the kernels and targets of Artin transfers turn out to be compatible with parent-descendant relations between finite p-groups.

Compatibility criterion.

Let $$p$$ be a prime number. Suppose that $$G$$ is a non-abelian finite p-group of nilpotency class $$c=\mathrm{cl}(G)\ge 2$$. Then the TTT and the TKT of $$G$$ and of its parent $$\pi(G)$$ are comparable in the sense that $$\tau(\pi(G))\preceq\tau(G)$$ and $$\varkappa(G)\le\varkappa(\pi(G))$$.

The simple reason for this fact is that, for any subgroup $$G^\prime\le H\le G$$, we have $$\ker(\pi)=\gamma_c(G)\le\gamma_2(G)=G^\prime\le H$$, since $$c\ge 2$$.

For the remaining part of this section, the investigated groups are supposed to be finite metabelian p-groups $$G$$ with elementary abelianization $$G/G^\prime$$ of rank $$2$$, that is of type $$(p,p)$$.

Partial stabilization for maximal class.

A metabelian p-group $$G$$ of coclass $$\mathrm{cc}(G)=1$$ and of nilpotency class $$c=\mathrm{cl}(G)\ge 3$$ shares the last $$p$$ components of the TTT $$\tau(G)$$ and of the TKT $$\varkappa(G)$$ with its parent $$\pi(G)$$. More explicitly, for odd primes $$p\ge 3$$, we have $$\tau(G)_i=(p,p)$$ and $$\varkappa(G)_i=0$$ for $$2\le i\le p+1$$.

This criterion is due to the fact that $$c\ge 3$$ implies $$\ker(\pi)=\gamma_c(G)\le\gamma_3(G)=H_i^\prime$$, for the last $$p$$ maximal subgroups $$H_2,\ldots,H_{p+1}$$ of $$G$$.

Total stabilization for maximal class and positive defect.

A metabelian p-group $$G$$ of coclass $$\mathrm{cc}(G)=1$$ and of nilpotency class $$c=m-1=\mathrm{cl}(G)\ge 4$$, that is, with index of nilpotency $$m\ge 5$$, shares all $$p+1$$ components of the TTT $$\tau(G)$$ and of the TKT $$\varkappa(G)$$ with its parent $$\pi(G)$$, provided it has positive defect of commutativity $$k=k(G)\ge 1$$. Note that $$k\ge 1$$ implies $$p\ge 3$$, and we have $$\varkappa(G)_i=0$$ for all $$1\le i\le p+1$$.

This statement can be seen by observing that the conditions $$m\ge 5$$ and $$k\ge 1$$ imply $$\ker(\pi)=\gamma_{m-1}(G)\le\gamma_{m-k}(G)\le H_i^\prime$$, for all the $$p+1$$ maximal subgroups $$H_1,\ldots,H_{p+1}$$ of $$G$$.

Partial stabilization for non-maximal class.

Let $$p=3$$ be fixed. A metabelian 3-group $$G$$ with abelianization $$G/G^\prime\simeq (3,3)$$, coclass $$\mathrm{cc}(G)\ge 2$$ and nilpotency class $$c=\mathrm{cl}(G)\ge 4$$ shares the last two (among the four) components of the TTT $$\tau(G)$$ and of the TKT $$\varkappa(G)$$ with its parent $$\pi(G)$$.

This criterion is justified by the following consideration. If $$c\ge 4$$, then $$\ker(\pi)=\gamma_c(G)\le\gamma_4(G)\le H_i^\prime$$ for the last two maximal subgroups $$H_3,H_4$$ of $$G$$.

These three criteria show that Artin transfers provide a marvelous tool for classifying finite p-groups.

In the following section, it will be shown how these ideas can be applied for searching particular groups in descendant trees by looking for patterns defined by the kernels and targets of Artin transfers. These strategies of pattern recognition are useful in pure group theory and in algebraic number theory.

In the mathematical field of algebraic number theory, the concept principalization has its origin in D. Hilbert's 1897 conjecture that all ideals of an algebraic number field, which can always be generated by two algebraic numbers, become principal ideals, generated by a single algebraic number, when they are transferred to the maximal abelian unramified extension field, which was later called the Hilbert class field, of the given base field. More than thirty years later, Ph. Furtw&auml;ngler succeeded in proving this principal ideal theorem in 1930, after it had been translated from number theory to group theory by E. Artin in 1929, who made use of his general reciprocity law to establish the reformulation. Since this long desired proof was achieved by means of metabelian groups of derived length two, several investigators tried to exploit the theory of such groups further to obtain additional information on the principalization in intermediate fields between the base field and its Hilbert class field.

Extension of classes
Let $$K$$ be an algebraic number field, called the base field, and let $$L\vert K$$ be a field extension of finite degree.

Definition.

The embedding monomorphism of fractional ideals $$\iota_{L\vert K}:\ \mathcal{I}_K\to\mathcal{I}_L,\ \mathfrak{a}\mapsto\mathfrak{a}\mathcal{O}_L$$, where $$\mathcal{O}_L$$ denotes the ring of integers of $$L$$, induces the extension homomorphism of ideal classes $$j_{L\vert K}:\ \mathcal{I}_K/\mathcal{P}_K\to\mathcal{I}_L/\mathcal{P}_L,\ \mathfrak{a}\mathcal{P}_K\mapsto(\mathfrak{a}\mathcal{O}_L)\mathcal{P}_L$$, where $$\mathcal{P}_K$$ and $$\mathcal{P}_L$$ denote the subgroups of principal ideals.

If there exists a non-principal ideal $$\mathfrak{a}\in\mathcal{I}_K$$, with non trivial class $$\mathfrak{a}\mathcal{P}_K\ne\mathcal{P}_K$$, whose extension ideal in $$L$$ is principal, $$\mathfrak{a}\mathcal{O}_L=A\mathcal{O}_L$$for some number $$A\in L$$, and hence belongs to the trivial class $$(\mathfrak{a}\mathcal{O}_L)\mathcal{P}_L=\mathcal{P}_L$$, then we speak about principalization or capitulation in $$L\vert K$$. In this case, the ideal $$\mathfrak{a}$$ and its class $$\mathfrak{a}\mathcal{P}_K$$ are said to principalize or capitulate in $$L$$. This phenomenon is described most conveniently by the principalization kernel or capitulation kernel, that is the kernel $$\ker(j_{L\vert K})$$ of the class extension homomorphism.

Remark.

When $$F$$ is a Galois extension of $$K$$ with automorphism group $$G=\mathrm{Gal}(F\vert K)$$ such that $$K\le L\le F$$ is an intermediate field with relative group $$H=\mathrm{Gal}(F\vert L)\le G$$, more precise statements about the homomorphisms $$\iota_{L\vert K}$$ and $$j_{L\vert K}$$ are possible by using group theory. According to Hilbert's theory on the decomposition of a prime ideal $$\mathfrak{p}\in\mathbb{P}_K$$ in the extension $$L\vert K$$, viewed as a subextension of $$F\vert K$$, we have $$\mathfrak{p}\mathcal{O}_L=\prod_{i=1}^g\,\mathfrak{q}_i$$, where the $$\mathfrak{q}_i=\prod_{\varrho\in H\tau_iD}\,\varrho(\mathfrak{P})\in\mathbb{P}_L$$, with $$1\le i\le g$$, are the prime ideals lying over $$\mathfrak{p}$$ in $$L$$, expressed by a fixed prime ideal $$\mathfrak{P}\in\mathbb{P}_F$$ dividing $$\mathfrak{p}$$ in $$F$$ and a double coset decomposition $$G=\dot{\cup}_{i=1}^g\,H\tau_iD$$ of $$G$$ modulo $$H$$ and modulo the decomposition group (stabilizer) $$D=\lbrace\sigma\in G\mid\sigma(\mathfrak{P})=\mathfrak{P}\rbrace$$ of $$\mathfrak{P}$$ in $$G$$, with a complete system of representatives $$(\tau_1,\ldots,\tau_g)$$. The order of the decomposition group $$D$$ is the inertia degree $$f(\mathfrak{P}\vert\mathfrak{p})$$ of $$\mathfrak{P}$$ over $$K$$.

Consequently, the ideal embedding is given by $$\iota_{L\vert K}(\mathfrak{p})=\mathfrak{p}\mathcal{O}_L=\prod_{i=1}^g\,\mathfrak{q}_i$$, and the class extension by $$j_{L\vert K}(\mathfrak{p}\mathcal{P}_K)=\prod_{i=1}^g\,\mathfrak{q}_i\mathcal{P}_L$$.

Artin's reciprocity law
Let $$F\vert K$$ be a Galois extension of algebraic number fields with automorphism group $$G=\mathrm{Gal}(F\vert K)$$. Suppose that $$\mathfrak{p}\in\mathbb{P}_K$$ is a prime ideal of $$K$$ which does not divide the relative discriminant $$\mathfrak{d}=\mathfrak{d}(F\vert K)$$, and is therefore unramified in $$F$$, and let $$\mathfrak{P}\in\mathbb{P}_F$$ be a prime ideal of $$F$$ lying over $$\mathfrak{p}$$.

Then, there exists a unique automorphism $$\sigma\in G$$ such that $$A^{\mathrm{Norm}_{K\vert\mathbb{Q}}(\mathfrak{p})}\equiv\sigma(A)\pmod{\mathfrak{P}}$$, for all algebraic integers $$A\in\mathcal{O}_F$$, which is called the Frobenius automorphism $$\left\lbrack\frac{F\vert K}{\mathfrak{P}}\right\rbrack:=\sigma$$ of $$\mathfrak{P}$$ and generates the cyclic decomposition group $$D_{\mathfrak{P}}=\langle\sigma\rangle$$ of $$\mathfrak{P}$$. Any other prime ideal of $$F$$ dividing $$\mathfrak{p}$$ is of the form $$\tau(\mathfrak{P})$$ with some $$\tau\in G$$. Its Frobenius automorphism is given by $$\left\lbrack\frac{F\vert K}{\tau(\mathfrak{P})}\right\rbrack=\tau\left\lbrack\frac{F\vert K}{\mathfrak{P}}\right\rbrack\tau^{-1}$$, since $$\tau(A)^{\mathrm{Norm}_{K\vert\mathbb{Q}}(\mathfrak{p})}\equiv(\tau\sigma\tau^{-1})(\tau(A))\pmod{\tau(\mathfrak{P})}$$, for all $$A\in\mathcal{O}_F$$, and thus its decomposition group $$D_{\tau(\mathfrak{P})}=\tau D_{\mathfrak{P}}\tau^{-1}$$ is conjugate to $$D_{\mathfrak{P}}$$. In this general situation, the Artin symbol is a mapping $$\mathfrak{p}\mapsto\left(\frac{F\vert K}{\mathfrak{p}}\right):=\lbrace\tau\left\lbrack\frac{F\vert K}{\mathfrak{P}}\right\rbrack\tau^{-1}\mid\tau\in G\rbrace$$ which associates an entire conjugacy class of automorphisms to any unramified prime ideal $$\mathfrak{p}\not\vert\mathfrak{d}$$, and we have $$\left(\frac{F\vert K}{\mathfrak{p}}\right)=1$$ if and only if $$\mathfrak{p}$$ splits completely in $$F$$.

Now let $$F\vert K$$ be an abelian extension, that is, the Galois group $$G=\mathrm{Gal}(F\vert K)$$ is an abelian group. Then, all conjugate decomposition groups of prime ideals of $$F$$ lying over $$\mathfrak{p}$$ coincide $$D_{\tau(\mathfrak{P})}=:D_{\mathfrak{p}}$$, for any $$\tau\in G$$, and the Artin symbol $$\left(\frac{F\vert K}{\mathfrak{p}}\right)=\left\lbrack\frac{F\vert K}{\mathfrak{P}}\right\rbrack$$ becomes equal to the Frobenius automorphism of any $$\mathfrak{P}\mid\mathfrak{p}$$, since $$A^{\mathrm{Norm}_{K\vert\mathbb{Q}}(\mathfrak{p})}\equiv\left(\frac{F\vert K}{\mathfrak{p}}\right)(A)\pmod{\mathfrak{p}}$$, for all $$A\in\mathcal{O}_F$$.

By class field theory, the abelian extension $$F\vert K$$ uniquely corresponds to an intermediate group $$\mathcal{S}_{K,\mathfrak{f}}\le\mathcal{H}\le\mathcal{P}_K(\mathfrak{f})$$ between the ray modulo $$\mathfrak{f}$$ and the group of principal ideals coprime to $$\mathfrak{f}$$ of $$K$$, where $$\mathfrak{f}=\mathfrak{f}(F\vert K)$$ denotes the relative conductor. (Note that $$\mathfrak{p}\mid\mathfrak{f}$$ if and only if $$\mathfrak{p}\mid\mathfrak{d}$$, but $$\mathfrak{f}$$ is minimal with this property.) The Artin symbol $$\mathbb{P}_K(\mathfrak{f})\to G,\ \mathfrak{p}\mapsto\left(\frac{F\vert K}{\mathfrak{p}}\right)$$, which associates the Frobenius automorphism of $$\mathfrak{p}$$ to each prime ideal $$\mathfrak{p}$$ of $$K$$ which is unramified in $$F$$, can be extended to the Artin isomorphism (or Artin map) $$\mathcal{I}_K(\mathfrak{f})/\mathcal{H}\to G=\mathrm{Gal}(F\vert K),\ \mathfrak{p}\mathcal{H}\mapsto\left(\frac{F\vert K}{\mathfrak{p}}\right)$$ of the generalized ideal class group $$\mathcal{I}_K(\mathfrak{f})/\mathcal{H}$$ to the Galois group $$G$$, which maps the class $$\mathfrak{p}\mathcal{H}$$ of $$\mathfrak{p}$$ to the Artin symbol $$\left(\frac{F\vert K}{\mathfrak{p}}\right)$$ of $$\mathfrak{p}$$. This explicit isomorphism is called the Artin reciprocity law or general reciprocity law.



Commutative diagram
E. Artin's translation of the general principalization problem for a number field extension $$L\vert K$$ from number theory to group theory is based on the following scenario. Let $$F\vert K$$ be a Galois extension of algebraic number fields with automorphism group $$G=\mathrm{Gal}(F\vert K)$$. Suppose that $$\mathfrak{p}\in\mathbb{P}_K$$ is a prime ideal of $$K$$ which does not divide the relative discriminant $$\mathfrak{d}=\mathfrak{d}(F\vert K)$$, and is therefore unramified in $$F$$, and let $$\mathfrak{P}\in\mathbb{P}_F$$ be a prime ideal of $$F$$ lying over $$\mathfrak{p}$$. Assume that $$K\le L\le F$$ is an intermediate field with relative group $$H=\mathrm{Gal}(F\vert L)\le G$$ and let $$K^\prime\vert K$$, resp. $$L^\prime\vert L$$, be the maximal abelian subextension of $$K$$, resp. $$L$$, within $$F$$. Then, the corresponding relative groups are the commutator subgroups $$G^\prime=\mathrm{Gal}(F\vert K^\prime)\le G$$, resp. $$H^\prime=\mathrm{Gal}(F\vert L^\prime)\le H$$.

By class field theory, there exist intermediate groups $$\mathcal{S}_{K,\mathfrak{d}}\le\mathcal{H}_K\le\mathcal{P}_K(\mathfrak{d})$$ and $$\mathcal{S}_{L,\mathfrak{d}}\le\mathcal{H}_L\le\mathcal{P}_L(\mathfrak{d})$$ such that the Artin maps establish isomorphisms $$\left(\frac{K^\prime\vert K}{\ldots}\right):\,\mathcal{I}_K(\mathfrak{d})/\mathcal{H}_K\to\mathrm{Gal}(K^\prime\vert K)\simeq G/G^\prime$$ and $$\left(\frac{L^\prime\vert L}{\ldots}\right):\,\mathcal{I}_L(\mathfrak{d})/\mathcal{H}_L\to\mathrm{Gal}(L^\prime\vert L)\simeq H/H^\prime$$.

The class extension homomorphism $$j_{L\vert K}$$ and the Artin transfer, more precisely, the induced transfer $$\tilde{T}_{G,H}$$, are connected by the commutative diagram in Figure 1 via these Artin isomorphisms, that is, we have equality of two composita $$\tilde{T}_{G,H}\circ\left(\frac{K^\prime\vert K}{\ldots}\right)=\left(\frac{L^\prime\vert L}{\ldots}\right)\circ j_{L\vert K}$$. The justification for this statement consists in analyzing the two paths of composite mappings. On the one hand, the class extension homomorphism $$j_{L\vert K}$$ maps the generalized ideal class $$\mathfrak{p}\mathcal{H}_K$$ of the base field $$K$$ to the extension class $$j_{L\vert K}(\mathfrak{p}\mathcal{H}_K)=(\mathfrak{p}\mathcal{O}_L)\mathcal{H}_L=\prod_{i=1}^g\,\mathfrak{q}_i\mathcal{H}_L$$ in the field $$L$$, and the Artin isomorphism $$\left(\frac{L^\prime\vert L}{\ldots}\right)$$ of the field $$L$$ maps this product of classes of prime ideals to the product of conjugates of Frobenius automorphisms $$\prod_{i=1}^g\,\left(\frac{L^\prime\vert L}{\tau_i(\mathfrak{q}_i)}\right)\cdot H^\prime=\prod_{i=1}^g\,\left(\frac{F\vert L}{\tau_i(\mathfrak{P})}\right)\cdot H^\prime=\prod_{i=1}^g\,\tau_i\left(\frac{F\vert K}{\mathfrak{P}}\right)^{f_i}\tau_i^{-1}\cdot H^\prime$$. Here, the double coset decomposition and its representatives were used, in perfect analogy to the last but one section. On the other hand, the Artin isomorphism $$\left(\frac{K^\prime\vert K}{\ldots}\right)$$ of the base field $$K$$ maps the generalized ideal class $$\mathfrak{p}\mathcal{H}_K$$ to the Frobenius automorphism $$\left(\frac{K^\prime\vert K}{\mathfrak{p}}\right)$$, and the induced Artin transfer maps the symbol $$\left(\frac{K^\prime\vert K}{\mathfrak{p}}\right)\equiv\left(\frac{F\vert K}{\mathfrak{P}}\right)\pmod{G^\prime}$$ to the product $$\tilde{T}_{G,H}(\left(\frac{F\vert K}{\mathfrak{P}}\right)\cdot G^\prime)=\prod_{i=1}^g\,\tau_i\left(\frac{F\vert K}{\mathfrak{P}}\right)^{f_i}\tau_i^{-1}\cdot H^\prime$$.