Fix a number field $k$ and some $\alpha \in \mathcal{O}_k \setminus \mathbb{Z}$. Let $p$ be a rational prime which splits completely in $k$, so that $p \mathcal{O}_k = P_1 \cdots P_m$ for $m = [k : \mathbb{Q}]$ and some prime ideal $P_1, \ldots, P_m$ of $\mathcal{O}_k$. Now it is easy to see that for any $i=1,\ldots,m$ there exists an unique integer $0 \leq \alpha_i < p$ such that $\alpha \equiv \alpha_i$ (mod $P_i$). For no reason we can say that $\alpha_1, \ldots, \alpha_m$ are all distinct integers, indeed this is not certainly the case if $p < m$.

My question is: **Is it true that for "most" of the primes $p$ which split completely in $k$ we have that $\alpha_1, \ldots, \alpha_m$ are all distinct?**

Here by "most", I mean, for example, a set of relatively positive density, or even density $1$... I let to you give a precise meaning.

My guess is that the answer should be YES. Indeed, assuming that each $\alpha_i$ is a random non-negative integer less than $p$, the probability that $\alpha_1, \ldots, \alpha_m$ are all distinct is $$\left(1 - \frac1{p - 1}\right)\left(1 - \frac1{p - 2}\right)\cdots\left(1 - \frac1{p - m + 1}\right) \to 1 ,$$ as $p \to +\infty$. Moreover, in the special case $m = 2$, we have that $\alpha_1 = \alpha_2$ means that $\alpha \in \alpha_1 + p \mathcal{O}_k \subseteq \mathbb{Z} + p \mathcal{O}_k$ and it seems that the set $\mathbb{Z} + p \mathcal{O}_k$ is "small" for large $p$, so $\alpha$ should be not in it.

Thanks for any idea/reference.