Differential ideal

From Wikipedia, the free encyclopedia

In the theory of differential forms, a differential ideal I is an algebraic ideal in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is is further closed under exterior differentiation d. In other words, for any form α in I, the exterior derivative dα is also in I.