Formally Integrable Structures II. Division Problem

Qingchun Ji, Jun Yao

We formulate a division problem for a class of overdetermined systems introduced by L. H{ö}rmander, and establish an effective divisibility criterion. In addition, we prove a coher…