Equivalence of two definitions of the algebraic K-theory of spaces (Q788821)

Let \(M_ n(R)\) be the space of \(n\times n\)-matrices with coefficients in a homotopy ring R and let \(^{\wedge}_ n(R)\) be the coamalgam of \(GL_ n(\pi_ 0R)\) with \(M_ n(R)\) over \(M_ n(\pi_ 0R)\). Let \(\sigma\) be a partial order relation on the set \(\Delta_ n=\{1,2,...,n\}\). Denote by \(T_ n^{\sigma}(\pi_ 0R)\) the subgroup of \(GL_ n(\pi_ 0R)\) of the matrices \(a=(a_{ij})\) with \(a_{ii}=1\) and \(a_{ij}=0\) if not \(i<j\) in \(\sigma\). Let \(\hat T_ n^{\sigma}(R)\) be the coamalgam of \(T_ n^{\sigma}(\pi_ oR)\) with \(M_ n(R)\) over \(M_ n(\pi_ 0R)\). Denote by \(S_ n(R)\) the geometric realization of the simplicial set with p-simplices, the sequences \((g_ 0,...,g_ p)\) of elements of \(^{\wedge}_ n(R)\), such that \(g_ i=h_{ij} g_ j,\) where \(h_{ij}\in \hat T_ n^{\sigma}(R)\), \(i,j=0,1,...,p\). Denote \(S(R)=\lim_{n}S_ n(R).\) Let X be a connected simplicial set and let G(X) be Kan's loop group. Now let Q[G(X)] be the homotopy ring of the simplicial group G(X); then there exists a space BS(Q[G(X)]) such that \(\Omega\) BS(Q[G(X)])\(\simeq S(Q[G(X)])\). The author introduces a new construction of the algebraic K-functor by \(A^ v(X)={\mathbb{Z}}\times BS(Q[G(X)])\) and proves the equivalence of this construction with that of Waldhausen.