Given 2 polynomials $p(x)=\prod_{i=1}^{r}(x-r_i), q(x)=\prod_{j=1}^{s}(x-r'_j)$, what is the name of the operation that constructs $f\#g(x) = \prod_{i=1}^{r}_{j=1}^{s} (x-r_i r'_j)$ from $p$ and $q$?
Let's say $p, q \in \mathbb{Z}[x]$. Is there an algorithm for computing the monic polynomial in $\mathbb{Z}[x]$ of least degree such that it vanishes on the set $\{ r_i r'_j \}_{i,j}$? I know that $p\# q$ has integral coefficients (by symmetric polynomials arguments), but I have examples where some elements occur more than once in the multiset $\{r_i r'_j \}$, and I guess it may effect the degree of the polynomial I seek.
The case $p=q$ is of big interest to me.
Motivation: given 2 linear recurrence (with integer coefficients) sequences $\{ a_n\}, \{b_n \}$, their Hadamarad product $\{a_n b_n \}$ also satisfies a linear recurrence with integer coefficients. Specifically, if $a_n$ satisfies a linear recurrence with characteristic polynomial $p(x)$ and $b_n$ with $q(x)$, then $\{a_n b_n \}$ satisfies a linear recurrence with characteristic polynomial $p \# q$ - but it may not be the minimal one, and that's why I am investigating.