Definition 10.27.2. Let $R$ be a ring. Let $\mathcal{F}$ be a set of ideals of $R$. We say $\mathcal{F}$ is an Oka family if $R \in \mathcal{F}$ and whenever $I \subset R$ is an ideal and $(I : a), (I, a) \in \mathcal{F}$ for some $a \in R$, then $I \in \mathcal{F}$.

There are also:

• 6 comment(s) on Section 10.27: A meta-observation about prime ideals

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).