# Number of ideals in primary decomposition

I have the following question:

Let $$K$$ be an algebraic number field and $$[K:Q]=n$$. Let $$O_K$$ be a full ring of integers of $$K$$. Assume that $$O \subset O_K$$ is a subring such that rank of $$O$$ over $$Z$$ is $$n$$ ($$=\operatorname{rk}_{Z}O_K$$). Let $$pO_K=P_1^{e_1} ... P_m^{e_m}$$ is a decomposition into prime ideals in $$O_K$$. (We know that there exists a primary decomposition of ideal $$pO$$)

Do we know, how many primary ideals in the decomposition are? Is this number $$m$$?

You don't say which ideal in $O$ you are trying to decompose. I will guess you mean to decompose the ideal $pO$. The number of primary ideals in a minimal primary ideal decomposition of $pO$ in $O$ need not be the same as the number of prime ideal factors of $pO_K$ in $O_K$.
Example: Pick your favorite prime number $p$ and let $O$ be the ring ${\mathbf Z} + pO_K$. Set ${\mathfrak b} = pO$ and ${\mathfrak P} = pO_K$. Obviously ${\mathfrak b}$ is an ideal in $O$, but note that ${\mathfrak P}$ is also an ideal in $O$ (it's an ideal in the bigger ring $O_K$ which happens to lie in the ring $O$, so it's also an ideal in $O$) and ${\mathfrak P}$ is a prime ideal in $O$ (not necessarily in $O_K$!) since $[O:{\mathfrak P}] = [O:pO_K] = p$ is a prime. Since, set-theoretically, ${\mathfrak b}$ contains ${\mathfrak P}^2 = p^2O_K$ and is contained in ${\mathfrak P}$, ${\mathfrak b}$ is a primary ideal, and thus the minimal primary ideal decomposition of ${\mathfrak b} = pO$ in $O$ is ${\mathfrak b}$ itself. I have put no conditions on $p$ at all here (though we chose $O$ depending on $p$) so for instance you could now let $p$ be a prime number which splits completely in $O_K$ (there are infinitely many of those), and in that case your $m$ is $n$ and that is not the number of ideals in the minimal primary decomposition of ${\mathfrak b} = pO$ in $O$ (well, assuming $K \not= {\mathbf Q}$, so $n > 1$).
The subtlety here is related to the conductor of your ring $O$. The answer to your question would be $m$ for prime numbers that are relatively prime to the conductor of the ring $O$ you use. In the example above, the conductor of $O$ is $pO_K$, which contains $p$ and thus one can anticipate complications.
• Dear Keith, thank you very much for your detail answer. Here the more precise question. Let $A$ be an abelian variety over a finite field $F_{p^s}$ with endomorphism ring $End(A)$ isomorphic to a subring $O$ in the full the ring of integers $O_K$ of $K\cong End(A)\otimes Q$. I am interested in the minimal primary ideal decomposition of $pO$ in $O$ and the decomposition into primes of $pO_K$ in $O_K$ (where $p=char(F_{p^s})$). In particular, I am interested in the number of such elements in the decompositions Mar 29, 2011 at 10:14