Let $\mathbb{Z}_p = \{1,2,\ldots, p\}$ with $p$ is a prime number. Can I define a mapping that:
$f: \mathbb{Z}_p \times \mathbb{R} \rightarrow \mathbb{R}$ that map $(k,x) \rightarrow kx$ ??? that $k\in \mathbb{Z}_p$, $x\in \mathbb{R}$ and $kx \in \mathbb{R}$.