Algorithms for checking zero-dimensional complete intersections

Given a 0-dimensional affine K-algebra R=K[x1,…,xn]∕I, where I is an ideal in a polynomial ring K[x1,…,xn] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is local... View More