Every natural number seems to map to a polynomial in binary field GF(2). For example, $11 = 1011_2 \mapsto x^3 + x + 1$, and $x^3 + x + 1 \mid_{x=2}$ gives 11. How naturally can I go between natural numbers modulo a prime like $10^9 + 7$ and their polynomials? Does it depend on if $10^9 + 7$ maps to an irreducible polynomial? (I don't know what the proper terminology is for this mapping.)
More specifically, let $\otimes$ be the XOR-product, computed by doing binary multiplication but XORing the intermediate results instead of adding. This corresponds to polynomial multiplication in the binary field. This comes from Project Euler #813
$$ \begin{align*} \phantom{\otimes 1111} 1011_2 \\ \otimes \phantom{1111} 1011_2 \\ \hline \phantom{\otimes 1111} 1011_2 \\ \phantom{\otimes 111} 1011_2 \phantom{9} \\ \oplus \phantom{1} 1011_2 \phantom{999} \\ \hline \phantom{\otimes 11} 1000101_2 \\ \end{align*} $$
Can I compute $a \otimes b \equiv (a \% m) \otimes (b \% m) \pmod m$ like for standard multiplication? ($\%$ is the modulo operator in programming, for example $5 \% 3 = 2$.) I guess this is like asking $(f \times g)(2) \equiv (f(2) \% m) \times (g(2) \% m) \mod m$.
Example that suggests it's not true: $11 \otimes 11 = 69$, but $(11 \% 7) \otimes (11 \% 7) = 4 \otimes 4 = 16$, and $16 \%7 \neq 69\%7$.