One can not define a symmetric monoidal smash product for ordinary spectra because of the twist isomorphism wanting to be involved.
But still, the stable homotopy category (viewed as the homotopy category of the stable model structure on spectra) can be equipped with a symmetric monoidal smash product, I've read.
My first question is: Can I define this smash product on the homotopy category of the stable model structure on spectra by setting $ (X\wedge Y)_n=\bigvee_{p+q=n} X_p\wedge Y_q $ with structure maps induced by (only) the structure maps of $Y$ defined by a coequalizer $ \bigvee_{p+q=n-1} X_p\wedge Y_q \wedge S^1\stackrel{\to}{\to} \bigvee_{p+q=n} X_p\wedge Y_q $ where one map uses the structure map of $X$ and the other one switches the factors and uses the structure map of $X$. If yes, what is the reason that this defines a monoidal operation on the homotopy category? Probably this is a consequence of the fact (?) that applying the twist $\tau$ is homotopic to the the identity but I neither see why this should be true nor how it implies the existence of the smash product.
There are two ways to extend the functor $-\wedge S^1$ on spaces to spectra, e.g. one by setting $(X\wedge S^1)_n=X_n\wedge S^1$ and structure maps $ X_n\wedge S^1\wedge S^1\xrightarrow{id\wedge\tau}X_n\wedge S^1\wedge S^1\to X_{n+1}\wedge S^1. $ The other one does not involve the twist.These functors should correspond on the stable homotopy category to smashing with the sphere spectrum $S$.
But evaluating $X\wedge S$ with the smash product (if it actually is the right definition) defined above gives $(X_0\wedge S^0)$, $(X_1\wedge S^0\vee X_0\wedge S^1)$, $\ldots$ which doesn't look right. My second question is: What am I missing here?