In mathematics, specifically algebraic geometry, the Oka coherence theorem, proved by Kiyoshi Oka in 1950, states that the sheaf of holomorphic functions on (and subsequently the sheaf of holomorphic functions on a complex manifold ) is coherent.In it was called the idéal de domaines indéterminés.
See also Cartan's theorems A and B Several complex variables GAGA Oka–Weil theorem Weierstrass preparation theorem
Notes
References