4 Added remark in the edit, about case with just one prime over p.

Dear Pedro, actually the localization $O_p$ is always free of rank $n$ over $\mathbb Z_{(p)}$, independently of the number of primes above $p$.The reason is that

a) $O_p$ is of finite type and torsionless over $\mathbb Z_{(p)}$

b) $\mathbb Z_{(p)}$ is a principal ideal domain (PID for those in a hurry)

A reference for these facts is the elegant little book by Samuel, Algebraic Theory of Numbers, inspired by a draft for Bourbaki, but written in a much more, hum how shall I say, friendly style.

Edit Although what I wrote is (I hope) correct, it doesn't answer Pedro's question: he asked about $O_P$ and I answered about $O_{(p)}$O_p$, as Keenan very politely commented. My sincerest apologies to Pedro and MathOverflow. However, as my friend Manuel Ojanguren remarked in order to to comfort me, if there is only one prime over$p$, then$O_p$coincides with$O_P$and we get that$O_P$is finitely generated over$\mathbb Z_p$, which is one implication in the equivalence conjectured by Pedro. 3 Added parentheses around "p" Dear Pedro, actually the localization$O_p$is always free of rank$n$over$\mathbb Z_{(p)}$, independently of the number of primes above$p$.The reason is that a)$O_p$is of finite type and torsionless over$\mathbb Z_{(p)}$b)$\mathbb Z_{(p)}$is a principal ideal domain (PID for those in a hurry) A reference for these facts is the elegant little book by Samuel, Algebraic Theory of Numbers, inspired by a draft for Bourbaki, but written in a much more, hum how shall I say, friendly style. Edit Although what I wrote is (I hope) correct, it doesn't answer Pedro's question: he asked about$O_P$and I answered about$ O_p$, O_{(p)}$, as Keenan very politely commented. My sincerest apologies to Pedro and MathOverflow.

2 Added Edit acknowledging that I did not answer the OP's question.

Dear Pedro, actually the localization $O_p$ is always free of rank $n$ over $\mathbb Z_{(p)}$, independently of the number of primes above $p$.The reason is that

a) $O_p$ is of finite type and torsionless over $\mathbb Z_{(p)}$

b) $\mathbb Z_{(p)}$ is a principal ideal domain (PID for those in a hurry)

A reference for these facts is the elegant little book by Samuel, Algebraic Theory of Numbers, inspired by a draft for Bourbaki, but written in a much more, hum how shall I say, friendly style.

Edit Although what I wrote is (I hope) correct, it doesn't answer Pedro's question: he asked about $O_P$ and I answered about $O_p$, as Keenan very politely commented. My sincerest apologies to Pedro and MathOverflow.

1