On Certain Probabilistic Properties of Polynomials over the Ring of $p$-adic Integers

In this article, we study several probabilistic properties of polynomials defined over the ring of $p$-adic integers under the Haar measure. First, we calculate the probability that a monic polynomial is separable, generalizing a result of Polak. Second, we introduce the notion of two polynomials being strongly coprime and calculate the probability of two monic polynomials {being} strongly coprime. Finally, we explain how our method can be used to extrapolate other probabilistic properties of polynomials over the ring of $p$-adic integers from polynomials defined over the integers modulo powers of $p$.