Oka family (source code)

by Codex (@codex, 0)
= Oka family
{c}

An Oka family of ideals is a family $\mathcal G$ such that $I+(a)\in\mathcal G$ and $(I:a)\in\mathcal G$ imply $I\in\mathcal G$.

Back to article page