## Return to Answer

2 added 247 characters in body; added 4 characters in body

Everything is known. In fact as spectra we have canonically K(finAb) $K(\mathsf{finAb}) = \vee_p K(F_p)K(\mathbb{F}_p)$, and the spectra K(F_p) $K(\mathbb{F}_p)$ are identified in the work of Quillen (see e.g. http://www.math.uiuc.edu/K-theory/1006/). In particular on \pi_0 $\pi_0$ we find K_0(finAb) $K_0(\mathsf{finAb}) = \oplus_p Z, \mathbb{Z}$, agreeing with your claim, and on \pi_n $\pi_n$ for n>0 $n>0$ we find that K_n(finAb) $K_n(\mathsf{finAb})$ is 0 $0$ for n $n$ even and is $\oplus_p \oplus_p Z/(p^k-1) mathbb{Z}/(p^k-1)$ (non-canonically) for $n = 2k-12k-1$.

To justify the claimed equality K(finAb) $K(\mathsf{finAb}) = \vee_p K(F_p)K(\mathbb{F}_p)$, note first that finAb $\mathsf{finAb}$ is the filtered colimit over increasing finite sets of primes P $P$ of the variant finAb_P $\mathsf{finAb}_P$ where only products of p-groups $p$-groups for $p \in P P$ are allowed; since K-theory commutes with filtered colimits, it then suffices to show that each K(finAb_P) `$K(\mathsf{finAb}_P) = \prod_{p\in P}K(F_p) P} K(\mathbb{F}_p)$` and that for P inside $P ' \subseteq P'$ this identification intertwines the inclusion K(finAb_P) --> K(finAb_{P'}) `$K(\mathsf{finAb}_P) \to K(\mathsf{finAb}_{P'})$` with the evident map \prod_{p\in `$\prod_{p\in P} K(F_pK(\mathbb{F}_p) --> \to \prod_{p\in P'} K(F_p) K(\mathbb{F}_p)$` which is zero outside of P.$P$.

But finAb_P $\mathsf{finAb}_P$ is just the product over $p \in P P$ of the categories finAb_p, $\mathsf{finAb}_p$, whose K-theory identifies with that of vector spaces over F_p $\mathbb{F}_p$ by Quillen's devissage theorem. And K-theory commutes with finite products, so that's that.

Here I guess I was actually arguing using Quillen's Q-construction instead of Waldhausen's S_\dot-construction. $S_{\bullet}$-construction. Otherwise I'm not sure how to justify the last step, the devissage. Actually I'm sure all of the above is in Quillen's paper on the Q-construction.

1

Everything is known. In fact as spectra we have canonically K(finAb) = \vee_p K(F_p), and the spectra K(F_p) are identified in the work of Quillen (see e.g. http://www.math.uiuc.edu/K-theory/1006/). In particular on \pi_0 we find K_0(finAb) = \oplus_p Z, agreeing with your claim, and on \pi_n for n>0 we find that K_n(finAb) is 0 for n even and is \oplus_p Z/(p^k-1) (non-canonically) for n = 2k-1.

To justify the claimed equality K(finAb) = \vee_p K(F_p), note first that finAb is the filtered colimit over increasing finite sets of primes P of the variant finAb_P where only products of p-groups for p in P are allowed; since K-theory commutes with filtered colimits, it then suffices to show that each K(finAb_P) = \prod_{p\in P}K(F_p) and that for P inside P' this identification intertwines the inclusion K(finAb_P) --> K(finAb_{P'}) with the evident map \prod_{p\in P} K(F_p) --> \prod_{p\in P'} K(F_p) which is zero outside of P.

But finAb_P is just the product over p in P of the categories finAb_p, whose K-theory identifies with that of vector spaces over F_p by Quillen's devissage theorem. And K-theory commutes with finite products, so that's that.

Here I guess I was actually arguing using Quillen's Q-construction instead of Waldhausen's S_\dot-construction. Otherwise I'm not sure how to justify the last step, the devissage. Actually I'm sure all of the above is in Quillen's paper on the Q-construction.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.908488929271698, "perplexity_flag": "middle"}