Computing Whitehead groups using genetic bases

DOI10.1016/J.JALGEBRA.2015.12.011MaRDI QIDQ906883zbMATH OpenOpenAlexFDO

Authors Nadia Romero

Publication date 29 January 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.01120

zbMATH Keywords

genetic bases of finite \(p\)-groupsrational representations of finite groupsWhitehead groups

Mathematics Subject Classification ID

(K_1) of group rings and orders (19B28) Finite nilpotent groups, (p)-groups (20D15)

Abstract: We combine results about Whitehead groups of finite groups with results about genetic bases of finite $p$-groups to compute the Whitehead groups of some metacyclic $p$-groups. Let $C_{p^n}$ denote a cyclic group of order $p^n$ for $p$ an odd prime and $n$ a positive integer. We present a conjecture for the torsion part of the Whitehead group of $C_{p^n}imes{C}_{p^n}$ and we show that torsion part of the Whitehead group of the semidirect product of $C_{p^{n-1}}$ by $C_p$ is isomorphic to $C_p^{(n-2)(p-1)}$. The techniques we use can be applied to any abelian $p$-group and to many other $p$-groups for $p$ odd.

Review text

The author performs explicit computations of the Whitehead groups for the groups \(G(p,n)=C_{p^n}\times C_{p^n}\) for \(n=1,2,3\) and \(4\), and for metacyclic groups \(M_n(p)\), here \(p\) denotes a prime number. The main tools are the use for genetic bases for \(p\)-groups and the aid of the GAP system. The results are as follows: The torsion of the Whitehead groups of \(G(p,n)\) are of the form \(C_p^{r_1}\times C_{p^2}^{r_2}\times\cdots\times C_{p^{n-1}}^{r_{n-1}}\) for suitable integers \(r_i\). The author conjectures a formula for the general case. On the other hand the calculations give that the torsion of the Whitehead group of \(M_n(p)\) is isomorphic to \(C_p^{(n-2)(p-1)}\) for \(n\geq 4\).

Recommendations

• scientific article; zbMATH DE number 192903
• SK₁ of finite Abelian groups. I
• The Whitehead group of (almost) extra-special \(p\)-groups with \(p\) odd
• Algebraic \(K\)-theory of pure braid groups
• scientific article; zbMATH DE number 2144698

Cites work

• A generalization of a theorem of Milnor
• Biset functors for finite groups
• Complex Reprensentations of Metacyclic Groups
• scientific article; zbMATH DE number 4130713 (Why is no real title available?)
• scientific article; zbMATH DE number 192903 (Why is no real title available?)
• scientific article; zbMATH DE number 3552764 (Why is no real title available?)
• scientific article; zbMATH DE number 3212917 (Why is no real title available?)
• scientific article; zbMATH DE number 3356896 (Why is no real title available?)
• Lower algebraic K-theory of certain reflection groups
• Metacyclic Groups of Odd Order

Cited in

(5)

• SK₁ of finite Abelian groups. I
• The Whitehead group of (almost) extra-special \(p\)-groups with \(p\) odd
• \(K\)-theory, genotypes, and biset functors
• Another proof of a computational formula for groups of special projective conorms.
• scientific article; zbMATH DE number 192903 (Why is no real title available?)

Describes a project that uses

Uses Software

• GAP

This page was built for publication: Computing Whitehead groups using genetic bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q906883)