Let I=(f1,…,fn) and J=(g1,…,gm) be two ideals generated by regular sequences of monomials in the polynomial ring R=k[x1,x2,…,xu]
Show that
Δp(IJ)=ΔI∪ΔJ,where p(IJ) is the polarization of IJ, ΔI is the simplicial complex corresponding to the squarefree monomial ideal I, and ΔJ is the simplicial complex corresponding to the squarefree monomial ideal I.