An induction theorem for the unit groups of Burnside rings of 2-groups (Q2488324): Difference between revisions

For a finite group \(G\) denote by \(B(G)^\times\) the group of units of the Burnside ring of \(G\). If \(H\leq G\), the multiplicative induction map \(\text{jnd}_H^G\:B(H)^\times \to B(G)^\times\) is defined on the Burnside ring as the polynomial extension of \(X\mapsto\text{Map}_H(G,X)\), where \(X\) is an \(H\)-set, and \(\text{Map}_H(G,X)\) is the set of \(H\)-maps. The main result of the paper reads as follows. Let \(G\) be a \(2\)-group. Then the product of generalized induction maps \(\prod_{H/K}\text{jnd}_H^G\text{inf}_{H/K}^H\: \prod_{H/K}B(H/K)^\times \to B(G)^\times\) is surjective, where \(H/K\) runs over all subquotients of \(G\) which are isomorphic to the trivial group or a dihedral group of order \(2^n\), \(n\geq 4\). As a corollary, the author gives an algebraic proof of a result of J.~Tornehave: Tom Dieck's exponential map from the real representation ring \(R(G,\mathbb R)\) to \(B(G)^\times\) is surjective. There is also an exponential map from \(B(G)\) to \(B(G)^\times\), and another consequence states that if \(G\) has no subquotients isomorphic to the dihedral group of order \(16\), then this map is surjective, and moreover, \(B(G)^\times\) is generated by \(-1\) as a \(B(G)\)-module.