The flatness of the $\Ok$-module of smooth functions and integral representation

Mats Andersson

We give a proof of the well-known fact that the $\Ok$-module $\E$ of smooth functions is flat by means of residue theory and integral formulas. A variant of the proof gives a relat…