Quillenization of classifying spaces of infinite symmetric powers of discrete groups (Q911097)

Let G be a discrete group and \(\Sigma_ n\) the n-th symmetric group. As usual \(\Sigma_ n\wr G\) denotes the wreath product and \(\Sigma_{\infty}\wr G:=\lim_{n}\Sigma_ n\wr G\). There exists a natural map \[ \phi: B(\Sigma_{\infty}\wr G)\to \Omega_ 0^{\infty}S^{\infty}(BG_+) \] [cf. \textit{G. Segal}, Invent. Math. 21, 213-221 (1973; Zbl 0267.55020)], where \(BG_+=BG\cup \{pt\}\) and \(\Omega_ 0^{\infty}S^{\infty}(BG_+)\) is a connected component of \(\Omega^{\infty}S^{\infty}(BG_+)\). The author proves that this map induces an isomorphism in integral homology. His proof is based on techniques developed by Segal [loc. cit.]. For \(G=1\) the result reduces to the classical Barrat-Kahn-Priddy theorem.