The algebraic theory of torsion. II: Products (Q1074704)

The algebraic K-theory product \(K_ 0(A)\otimes K_ 1(B)\to K_ 1(A\otimes B)\) for rings A,B is given a chain complex interpretaton, using the absolute torsion invariant introduced in Part I [Lect. Notes Math. 1126, 199-237 (1985; Zbl 0567.57013)]. Given a finitely dominated A-module chain complex C and a round finite B-module chain complex D it is shown that the \(A\otimes B\)-module chain complex \(C\otimes D\) has a round finite chain homotopy structure. Thus if X is a finitely dominated CW complex and Y is a round finite CW complex the product \(X\times Y\) is a CW complex with a round finite homotopy structure.