As part of working with dot products of vectors in an algebraic field, having previously solved the algebraic quotient, I need to find the algebraic square root as shown in (1)
Abusing notation, let r =Let $r_i$ be a root of polynomial P(i) and s = Q(j) as selected roots i, j$s_j$ be a root of the two polynomials P,polynomial Q, respectively, i.e., P(r$r_i$)=0, Q(s$s_j$)=0.
I seek to find a third polynomial R and its root k$t_k$, say t =such that R(k$t_k$)=0, suchso that
(1) t$t_k$ = $\sqrt{1 - r^2 - s^2}$$\sqrt{1 - r_i^2 - s_j^2}$
is satisfied. How can R be found, knowing t$t_k$? (we assume that we'll find k knowing all the roots of R)
From previously experience I have found that the degree doubles from the highest degree polynomial in the radicand.