On Voevodsky's Algebraic K-Theory Spectrum

Under a certain normalization assumption we prove that the P-1-spectrum BGL of Voevodsky which represents algebraic K-theory is unique over Spec(Z). Following an idea of Voevodsky, we equip the P-1-spectrum BGL with the structure of a commutative P-1-ring spectrum in the motivic stable homotopy category. Furthermore, we prove that under a certain normalization assumption this ring structure is unique over Spec(Z). For an arbitrary Noetherian scheme S of finite Krull dimension we pull this structure back to obtain a distinguished monoidal structure on BGL. This monoidal structure is relevant for our proof of the motivic Conner-Floyd theorem (Panin et al., Invent Math 175:435-451, 2008). It has also been used to obtain a motivic version of Snaith's theorem (Gepner and Snaith, arXiv:0712.2817v1 [math.AG]).