  Let $\V$ be a symmetric monoidal model category and let $X$ be an object in
$\V$. From this we can construct a new symmetric monoidal model category
$Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$,
together with a left Quillen monoidal map $\V\to Sp^{\Sigma}(\V,X)$ sending $X$
to an invertible object. In this paper we use the recent developments in the
subject of Higher Algebra to understand the nature of this construction. Every
symmetric monoidal model category has an underlying symmetric monoidal
$(\infty,1)$-category and the first notion should be understood as a mere
"presentation" of the second. Our main result is the characterization of the
underlying symmetric monoidal $\infty$-category of $Sp^{\Sigma}(\V,X)$, by
means of a universal property inside the world of symmetric monoidal
$(\infty,1)$-categories. In the process we also describe the link between the
construction of ordinary spectra and the one of symmetric spectra. As a
corollary, we obtain a precise universal characterization for the motivic
stable homotopy theory of schemes with its symmetric monoidal structure. This
characterization trivializes the problem of finding motivic monoidal
realizations and opens the way to compare the motivic theory of schemes with
other motivic theories.
  As an application we provide a new approach to the theory of noncommutative
motives by constructing a stable motivic homotopy theory for the noncommutative
spaces of Kontsevich. For that we introduce an analogue for the Nisnevich
topology in the noncommutative setting. Our universal property for the
classical theory for schemes provides a canonical monoidal map towards these
new noncommutative motives and allows us to compare the two theories.
