Category:Polynomial Division

This category contains results about Polynomial Division.
Definitions specific to this category can be found in Definitions/Polynomial Division.

Let $\struct {F, +, \circ}$ be a field whose zero is $0_F$ and whose unity is $1_F$.

Let $X$ be transcendental over $F$.

Let $F \sqbrk X$ be the ring of polynomials in $X$ over $F$.

Let $\map A x$ and $\map B x$ be polynomials in $F \sqbrk X$ such that the degree of $B$ is non-zero.

From the Division Theorem for Polynomial Forms over Field:

$\exists \map Q x, \map R x \in F \sqbrk X: \map A x = \map Q x \map B x + \map R x$

such that:

$0 \le \map \deg R < \map \deg B$

where $\deg$ denotes the degree of a polynomial.

The process of finding $\map Q x$ and $\map R x$ is known as polynomial division of $\map A x$ by $\map B x$, and we write:

$\map A x \div \map B x = \map Q x \rem \map R x$