Integer-valued polynomials on subsets of quaternion algebras

TL;DR

This paper classifies finite subsets of quaternion rings where the set of integer-valued polynomials forms a subring, expanding understanding of polynomial behavior over quaternion algebra subsets.

Contribution

It provides a complete classification of finite subsets of Lipschitz and Hurwitz quaternion rings that are ringsets, where integer-valued polynomials form a subring.

Findings

Finite subsets classified as ringsets in quaternion rings.

Characterization of when integer-valued polynomials form a subring.

Extension of polynomial evaluation theory to quaternion algebra subsets.

Abstract

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.