In a joint work with Manfred Einsiedler we discuss a relationship between the dynamical properties of a maximal diagonalizable group $A$ on certain arithmetic quotients and arithmetic properties of the lattice. In particular, we consider the semigroup of all integer quaternions under multiplication. For this semigroup we use measure rigidity theorems to prove that the set of elements that are not divisible by a given reduced quaternion is very small: We show that any quaternion that has a sufficiently divisible norm is also divisible by the given quaternion. Restricting to the quaternions that have norm equal to products of powers of primes from a given list (containing at least two) we show that the set of exceptions has subexponential growth.