I was reading the following notes on tensor products: http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/tensorprod.pdf
At some point (p. 39) there is the following example
In the last paragraph, he says that using exterior powers it can be proved that if $I\oplus I\simeq S^2$ as $S$-module, then $I\otimes_S I\simeq S$ as $S$-modules.
I do not know a lot about exterior powers (just the definition), but I would like to know what is the property being used here and what is the isomorphism he finds out.
Can you give me some hints?
As matter of fact I think it really proves that $I\otimes_S I$ is isomorphic to $S\otimes_S S\simeq S$, but I cannot construct a surjective map from $S\otimes_S S$ to $I\otimes_S I$.