1: \begin{abstract}

2: Based on a thorough theory of the Artin transfer homomorphism \(T_{G,H}:\,G\to H/H^\prime\)

3: from a group \(G\) to the abelianization \(H/H^\prime\) of a subgroup \(H\le G\) of finite index \(n=(G:H)\),

4: and its connection with the permutation representation \(G\to S_n\)

5: and the monomial representation \(G\to H\wr S_n\) of \(G\),

6: the Artin pattern \(G\mapsto(\tau(G),\varkappa(G))\), which consists of families

7: \(\tau(G)=(H/H^\prime)_{H\le G}\), resp. \(\varkappa(G)=(\ker(T_{G,H}))_{H\le G}\),

8: of transfer targets, resp. transfer kernels,

9: is defined for the vertices \(G\in\mathcal{T}\)

10: of any descendant tree \(\mathcal{T}\) of finite \(p\)-groups.

11: It is endowed with partial order relations

12: \(\tau(\pi(G))\le\tau(G)\) and \(\varkappa(\pi(G))\ge\varkappa(G)\),

13: which are compatible with the parent-descendant relation \(\pi(G)<G\)

14: of the edges \(G\to\pi(G)\) of the tree \(\mathcal{T}\).

15: The partial order enables termination criteria for the \(p\)-group generation algorithm

16: which can be used for searching and identifying a finite \(p\)-group \(G\),

17: whose Artin pattern \((\tau(G),\varkappa(G))\) is known completely or at least partially,

18: by constructing the descendant tree with the abelianization \(G/G^\prime\) of \(G\) as its root.

19: An appendix summarizes details concerning induced homomorphisms between quotient groups,

20: which play a crucial role

21: in establishing the natural partial order on Artin patterns \((\tau(G),\varkappa(G))\)

22: and explaining the stabilization, resp. polarization, of their components

23: in descendant trees \(\mathcal{T}\) of finite \(p\)-groups.

24: \end{abstract}

25: