Categories of power stably free modules and their \(K_0\) groups (Q1392639)

A finitely generated (projective) \(R\)-module \(P\) is called power stably free if \(P^m\oplus R^n\) is free for some \(m\), \(n\in N\) -- i.e., iff the class of \(P\) is torsion in \(K_0(R)\) modulo the subgroup generated by \([R]\). (The latter remark would reduce the results of section 1 to mere observations.) Under the condition IBN \((R^n\cong R^m\Rightarrow m=n)\) they compute \(K_0\) of the category of power stably free \(R\)-modules. It is \(H\oplus\text{Tor} K_0(R)\), where \(H\) is some subgroup of the additive group of \(\mathbb{Q}\) and Tor denotes the torsion part. There are some corollaries.