1: \begin{abstract}

2: We establish a canonical and unique tensor product for commutative monoids and groups in an $\infty$-category $\calc$ which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that $\bbE_n$-(semi)ring objects in $\calc$ give rise to $\bbE_n$-ring spectrum objects in $\calc$. In the case that $\calc$ is the $\infty$-category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K-theory of rings and ring spectra. 

3: 

4: The main tool we use to establish these results is the theory of smashing localizations of presentable $\infty$-categories. 

5: In particular, we identify preadditive and additive $\infty$-categories as the local objects for certain smashing localizations.

6: A central theme is the stability of algebraic structures under basechange; for example, we show $\Ring(\cald\otimes\calc)\simeq\Ring(\cald)\otimes\calc$.

7: Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in $\infty$-categories.

8: \end{abstract}