Permutation summands over \(\mathbb{Z}\) (Q1328377)

For a finite group \(G\), and an algebraic number field \(K\) with ring of integers \(A\), a permutation lattice is defined to be an \(AG\)-lattice with an \(A\)-basis, which is permuted by \(G\). A direct summand of such an \(AG\)- lattice is called a permutation summand. The genus of a permutation summand \(M\) is determined by the species \(s = s(H,b)\) of \textit{D. J. Benson} and \textit{R. A. Parker} [J. Algebra 87, 290-331 (1984; Zbl 0539.20009)] defined for the localizations of \(A\), where \(H\) varies over the \(p\)-hypoelementary subgroups of \(G\), \(p\) being the residue class field characteristic, i.e. those subgroups \(H\) of \(G\) which admit a normal \(p\)-subgroup \(H_ p\) such that \(H/H_ p\) is cyclic with generator \(b\). The authors study the Grothendieck ring \(\Omega_ A(G)\) of the permutation summand category, which naturally generalizes the Burnside ring \(\Omega(G)\) of \(G\). There is a natural embedding of \(\Omega(G)\) into the function ring \(\mho(G) = \mathbb{Z}^ C\), where \(C\) denotes the set of conjugacy classes of subgroups of \(G\), such that the cokernel of this embedding \(\Phi : \Omega(G) \to \mho(G)\) is annihilated by the order of \(G\). For a \(G\)-set \(X\) and a conjugacy class \(\langle H\rangle \in C\) represented by \(H\), the function \(\Phi(X) \in \mathbb{Z}^ C\) assigns to \(\langle H\rangle\) the value \(| X^ H| \in \mathbb{Z}\), i.e. the number of elements in \(X\) fixed under \(H\). This value coincides with \(s(H,b)\), if \(H\) is \(p\)-hypoelementary and \(M\) the natural extension of \(X\) to an \(AG\)-module. Suppose that the ring \(A\) contains enough roots of unity, according to the exponent of \(G\). Globalizing the Benson-Parker species, the authors obtain an analogous ring homomorphism \(\Phi: \Omega_ A(G) \to \mho_ A(G)\) with finite kernel and finite cokernel. Moreover, they prove that \(\Omega_ A(G)\) is generated via induction by the rings \(\Omega_ A(E)\), with \(E\) varying over the pseudo-elementary subgroups of \(G\). (For prime numbers \(p\), \(q\), a group \(E\) is said to be \((p,q)\)-pseudo- elementary if there is a chain \(E_ 1 \subset E_ 0 \subset E\) of normal subgroups with \(E_ 1\) a \(p\)-group, \(E_ 0/E_ 1\) cyclic, and \(E/E_ 0\) a \(q\)-group).