nLab differential ideal

Definition

For $(A,d)$ a differential algebra, a differential ideal is an ideal $I \subset A$ in the underlying associative algebra $A$ which is preserved by the derivation $d$, in that $d(I) \subset I$.

Properties

The quotient algebra of a differential algebra by a differential ideal inherits the structure of a differential algebra.

Related concepts

• germ-determined ideal

References

See also

• Wikipedia, Differential ideal