Let $R$ be either the ring of Lipschitz quaternions, or the ring of Hurwitz quaternions. Then, $R$ is a subring of the division ring $\mathbb{ D}$ of rational quaternions. For $S \subseteq R$, we study the collection $\rm{ Int}(S,R) = \{ f \in \mathbb{ D}[x] \mid f(S) \subseteq R\}$ of polynomials that are integer-valued on $S$. The set $\rm{ Int}(S,R)$ is always a left $R$-submodule of $\mathbb{ D}[x]$, but need not be a subring of $\mathbb{ D}[x]$. We say that $S$ is a ringset of $R$ if $\rm{ Int}(S,R)$ is a subring of $\mathbb{ D}[x]$. In this paper, we give a complete classification of the finite subsets of $R$ that are ringsets.

Categories: math.RA

Integer-valued polynomials on subsets of quaternion algebras