Simplicial commutative rings are very easy to describe. They're just commutative monoids in the monoidal category of simplicial abelian groups. However, I just realized that a priori, it's not clear that even some of the simplest facts we can prove for ordinary commutative rings (in particular those that depend integrally on the axiom of choice, or even those that depend on the law of the excluded middle) will hold for simplicial commutative rings. However, we have at least one saving grace. That is, the interesting parts of simplicial commutative algebra come from considering things up to homotopy. 


So, for example, as far as it makes sense, can we prove that every simplicial ideal of a simplicial commutative ring is weakly equivalent to one contained in a maximal simplicial ideal? Perhaps a better way to state this would be something like, "every noncontractible simplicial commutative ring admits at least one surjective map to a simplicial commutative ring that's weakly equivalent to a simplicial field", or some variation on where the homotopy equivalence appears. Given that the axiom of choice does not necessarily hold in $sSet$, it doesn't seem reasonable to think that the ordinary theorem will hold.


Is there a version of the Hilbert basis theorem that holds up to isomorphism? How about weak equivalence?


What other well-known theorems will fail, even up to homotopy?



What facts in commutative algebra fail miserably for simplicial commutative rings, even up to homotopy?
Most of the things that stop working are things related to procedures in commutative algebra that don't preserve exactness. The tensor product of simplicial modules always has to be the derived tensor product in order to be meaningful, etc.


One of the sticky points is that "free" is not the same as "polynomial" in higher degrees except in characteristic zero, and this makes building simplicial rings from a generators-and-relations perspective quite difficult.


For example, if R is an ordinary ring viewed as a constant simplicial commutative ring (with homotopy R, concentrated in degree 0), then you can take the free simplicial R-algebra on a class x in degree n; let me call it A. If n=0, the homotopy groups of A are just the polynomial algebra R[x] concentrated in degree zero. If n=1, the homotopy groups of A are an exterior algebra over R on a generator in degree 1. If n=2, the homotopy groups of A are a *divided power algebra* on a over R on a generator in degree 2 (a simplicial commutative ring always has a divided power structure on its higher homotopy groups). If n>3 and 2R = 0, then the answer is always a countable tensor product of exterior algebras over R. If n > 3 and pR = 0, you get algebras whose structure is simply complicated (because it involves iterated Tor starting with a divided power algebra).


Similar remarks apply to trying to construct an ideal generated by a collection of elements in homotopy groups which are anything other than a regular sequence in $\pi\_0$ - you are unlikely to get the "quotient" you expect.


