Polynomial arithmetic

Polynomial arithmetic is a branch of algebra dealing with some properties of polynomials which share strong analogies with properties of number theory relative to integers.
It includes basic mathematical operations such as addition, subtraction, and multiplication, as well as more elaborate operations like Euclidean division, and properties related to roots of polynomials. The latter are essentially connected to the fact that the set "K"["X"] of univariate polynomials with coefficients in a field "K" is a commutative ring, such as the ring of integers formula_1.
Elementary operations on polynomials.
Addition and subtraction of two polynomials are performed by adding or subtracting corresponding coefficients. If
then addition is defined as
Multiplication is performed much the same way as addition and subtraction, but instead by multiplying the corresponding coefficients. If formula_2 then multiplication is defined as formula_5 where formula_6. Note that we treat formula_7 as zero for formula_8 and that the degree of the product is equal to the sum of the degrees of the two polynomials.
Advanced polynomial arithmetics and comparison with number theory.
Many fascinating properties of polynomials can be found when, thanks to the basic operations that can be performed on two polynomials and the underlying commutative ring structure of the set they live in, one tries to apply reasonings similar to those known from number theory.
To see this, one first needs to introduce two concepts: the notion of root of a polynomial and that of divisibility for pairs of polynomials. 
If one considers a polynomial formula_9 of a single variable "X" in a field "K" (typically formula_10 or formula_11), and with coefficients in that field, a root formula_12 of formula_9 is an element of "K" such that
The second concept, divisibility of polynomials, allows to see a first analogy with number theory: a polynomial formula_15 is said to divide another polynomial formula_16 when the latter can be written as
with C being ALSO a polynomial. This definition is similar to divisibility for integers, and the fact that formula_15 divides formula_16 is also denoted formula_20.
The relation between both concepts above arises when noticing the following property: formula_12 is a root of formula_9 if and only if formula_23. Whereas one logical inclusion ("if") is obvious, the other ("only if") relies on a more elaborate concept, the Euclidean division of polynomials, here again strongly reminding of the Euclidean division of integers.
From this it follows that one can define prime polynomials, as polynomials that cannot be divided by any other polynomials but 1 and themselves (up to an overall constant factor) - here again the analogously with prime integers is manifest, and allows that some of the main definitions and theorems related to prime numbers and number theory have their counterpart in polynomial algebra. The most important result is the fundamental theorem of algebra, allowing for factorization of any polynomial as a product of prime ones. Worth mentioning is also the Bézout's identity in the context of polynomials. It states that two given polynomials P and Q have as greatest common divisor (GCD) a third polynomial D (D is then unique as GCD of P and Q up to a finite constant factor), if and only if there exists polynomials U and V such that