An algebraic version of subelliptic multipliers (Q874440)

The analysis of \(\overline \partial \) on weakly pseudoconvex domains requires dealing with zeroes of the determinant of the Levi form. This leads to an algorithm for determining whether an ideal in the convergent power series ring is primary to the maximal ideal. Although the motivation comes from analysis, the setting here is purely algebraic, the main ideas are based on the Weierstraß\ preparation theorem and the normalization theorem for the ring of formal (or convergent) power series.