In

field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

, the polynomial ring has many properties that are similar to those of the ring of integers $\backslash Z.$ Most of these similarities result from the similarity between the and the long division of polynomials.
Most of the properties of that are listed in this section do not remain true if is not a field, or if one considers polynomials in several indeterminates.
Like for integers, the

vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

or free module equipped by a specific basis (here the basis of the monomials). Explicitly, let
$p=\backslash sum\_p\_\backslash alpha\; X^\backslash alpha,\backslash quad\; q=\backslash sum\_q\_\backslash beta\; X^\backslash beta,$
where and are finite sets of exponent vectors.
The scalar multiplication of and a scalar $c\backslash in\; K$ is
:$cp\; =\; \backslash sum\_cp\_\backslash alpha\; X^\backslash alpha.$
The addition of and is
:$p+q\; =\; \backslash sum\_(p\_\backslash alpha+q\_\backslash alpha)\; X^\backslash alpha,$
where $p\_\backslash alpha=0$ if $\backslash alpha\; \backslash not\backslash in\; I,$ and $q\_\backslash beta=0$ if $\backslash beta\; \backslash not\backslash in\; J.$ Moreover, if one has $p\_\backslash alpha+q\_\backslash alpha=0$ for some $\backslash alpha\; \backslash in\; I\; \backslash cap\; J,$ the corresponding zero term is removed from the result.
The multiplication is
:$pq\; =\; \backslash sum\_\backslash left(\backslash sum\_\; p\_\backslash alpha\; q\_\backslash beta\backslash right)\; X^\backslash gamma,$
where $I+J$ is the set of the sums of one exponent vector in and oneother in (usual sum of vectors). In particular, the product of two monomials is a monomial whose exponent vector is the sum of the exponent vectors of the factors.
The verification of the axioms of an associative algebra is straightforward.

_{''n''} is the sum of all ''a''_{''i''}''b''_{''j''} where ''i'', ''j'' range over all pairs of elements of ''N'' which sum to ''n''.
When ''N'' is commutative, it is convenient to denote the function ''a'' in ''R''[''N''] as the formal sum:
:$\backslash sum\_\; a\_n\; X^n$
and then the formulas for addition and multiplication are the familiar:
:$\backslash left(\backslash sum\_\; a\_n\; X^n\backslash right)\; +\; \backslash left(\backslash sum\_\; b\_n\; X^n\backslash right)\; =\; \backslash sum\_\; \backslash left(a\_n\; +\; b\_n\backslash right)X^n$
and
:$\backslash left(\backslash sum\_\; a\_n\; X^n\backslash right)\; \backslash cdot\; \backslash left(\backslash sum\_\; b\_n\; X^n\backslash right)\; =\; \backslash sum\_\; \backslash left(\; \backslash sum\_\; a\_i\; b\_j\backslash right)X^n$
where the latter sum is taken over all ''i'', ''j'' in ''N'' that sum to ''n''.
Some authors such as go so far as to take this monoid definition as the starting point, and regular single variable polynomials are the special case where ''N'' is the monoid of non-negative integers. Polynomials in several variables simply take ''N'' to be the direct product of several copies of the monoid of non-negative integers.
Several interesting examples of rings and groups are formed by taking ''N'' to be the additive monoid of non-negative rational numbers, . See also Puiseux series.

^{''n''}⋅''r'' = ''F''(''n'')(''r'')⋅''X''^{''n''} allows constructing a skew-polynomial ring. Skew polynomial rings are closely related to crossed product algebras.

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, especially in the field of algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. In its most ge ...

, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra
Commutative algebra is the branch of algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry ...

) formed from the set of polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

s in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

.
Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integer
An integer (from the Latin
Latin (, or , ) is a classical language
A classical language is a language
A language is a structured system of communication
Communication (from Latin ''communicare'', meaning "to share" or "to ...

s.
Polynomial rings occur and are often fundamental in many parts of mathematics such as number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen ...

, commutative algebra
Commutative algebra is the branch of algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry ...

, and algebraic geometry
Algebraic geometry is a branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and thei ...

. In ring theory
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. ...

, many classes of rings, such as unique factorization domain
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

s, regular ringIn commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ide ...

s, group ring
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. In ...

s, rings of formal power series, Ore polynomialIn mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...

s, graded ring
Grade or grading may refer to:
Arts and entertainment
* Grade (band)
Grade is a melodic hardcore band from Canada, often credited as pioneers in blending metallic hardcore with the hon and melody of emo, and - most notably - the alternating scr ...

s, have been introduced for generalizing some properties of polynomial rings.
A closely related notion is that of the ring of polynomial functionsIn mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...

on a vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

, and, more generally, ring of regular functions
Ring most commonly refers either to a hollow circular shape or to a high-pitched sound. It thus may refer to:
*Ring (jewellery), a circular, decorative or symbolic ornament worn on fingers, toes, arm or neck
Ring may also refer to:
Sounds
* Rin ...

on an algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry
Algebraic geometry is a branch of mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematic ...

.
Definition (univariate case)

The polynomial ring, , in over afield
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

(or, more generally, a commutative ring
In ring theory
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical ana ...

) can be defined in several equivalent ways. One of them is to define as the set of expressions, called polynomials in , of the form
:$p\; =\; p\_0\; +\; p\_1\; X\; +\; p\_2\; X^2\; +\; \backslash cdots\; +\; p\_\; X^\; +\; p\_m\; X^m,$
where , the coefficients of , are elements of , if , and are symbols, which are considered as "powers" of , and follow the usual rules of exponentiation
Exponentiation is a mathematical
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry) ...

: , , and $X^k\backslash ,\; X^l\; =\; X^$ for any nonnegative integer
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). ...

s and . The symbol is called an indeterminate or variable. (The term of "variable" comes from the terminology of polynomial function
In mathematics, a polynomial is an expression (mathematics), expression consisting of variable (mathematics), variables (also called indeterminate (variable), indeterminates) and coefficients, that involves only the operations of addition, subtra ...

s. However, here, has not any value (other than itself), and cannot vary, being a ''constant'' in the polynomial ring.)
Two polynomials are equal when the corresponding coefficients of each are equal.
One can think of the ring as arising from by adding one new element that is external to , commutes with all elements of , and has no other specific properties. This can be used for an equivalent definition of polynomial rings.
The polynomial ring in over is equipped with an addition, a multiplication and a scalar multiplication
In mathematics, scalar multiplication is one of the basic operations defining a vector space in linear algebra (or more generally, a module (mathematics), module in abstract algebra). In common geometrical contexts, scalar multiplication of a re ...

that make it a commutative algebra
Commutative algebra is the branch of algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry ...

. These operations are defined according to the ordinary rules for manipulating algebraic expressions. Specifically, if
:$p\; =\; p\_0\; +\; p\_1\; X\; +\; p\_2\; X^2\; +\; \backslash cdots\; +\; p\_m\; X^m,$
and
:$q\; =\; q\_0\; +\; q\_1\; X\; +\; q\_2\; X^2\; +\; \backslash cdots\; +\; q\_n\; X^n,$
then
:$p\; +\; q\; =\; r\_0\; +\; r\_1\; X\; +\; r\_2\; X^2\; +\; \backslash cdots\; +\; r\_k\; X^k,$
and
:$pq\; =\; s\_0\; +\; s\_1\; X\; +\; s\_2\; X^2\; +\; \backslash cdots\; +\; s\_l\; X^l,$
where ,
:$r\_i\; =\; p\_i\; +\; q\_i$
and
:$s\_i\; =\; p\_0\; q\_i\; +\; p\_1\; q\_\; +\; \backslash cdots\; +\; p\_i\; q\_0.$
In these formulas, the polynomials and are extended by adding "dummy terms" with zero coefficients, so that all and that appear in the formulas are defined. Specifically, if , then for .
The scalar multiplication is the special case of the multiplication where is reduced to its ''constant term'' (the term that is independent of ); that is
:$p\_0\backslash left(q\_0\; +\; q\_1\; X\; +\; \backslash dots\; +\; q\_n\; X^n\backslash right)\; =\; p\_0\; q\_0\; +\; \backslash left(p\_0\; q\_1\backslash right)X\; +\; \backslash cdots\; +\; \backslash left(p\_0\; q\_n\backslash right)X^n$
It is straightforward to verify that these three operations satisfy the axioms of a commutative algebra over . Therefore, polynomial rings are also called ''polynomial algebras''.
Another equivalent definition is often preferred, although less intuitive, because it is easier to make it completely rigorous, which consists in defining a polynomial as an infinite sequence
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

of elements of , having the property that only a finite number of the elements are nonzero, or equivalently, a sequence for which there is some so that for . In this case, and are considered as alternate notations for
the sequences and , respectively. A straightforward use of the operation rules shows that the expression
:$p\_0\; +\; p\_1\; X\; +\; p\_2\; X^2\; +\; \backslash cdots\; +\; p\_m\; X^m$
is then an alternate notation for the sequence
:.
Terminology

Let :$p\; =\; p\_0\; +\; p\_1\; X\; +\; p\_2\; X^2\; +\; \backslash cdots\; +\; p\_\; X^\; +\; p\_m\; X^m,$ be a nonzero polynomial with $p\_m\backslash ne\; 0$ The ''constant term'' of is $p\_0.$ It is zero in the case of the zero polynomial. The ''degree'' of , written is $m,$ the largest such that the coefficient of is not zero. The ''leading coefficient'' of is $p\_m.$ In the special case of the zero polynomial, all of whose coefficients are zero, the leading coefficient is undefined, and the degree has been variously left undefined, defined to be , or defined to be a . A ''constant polynomial'' is either the zero polynomial, or a polynomial of degree zero. A nonzero polynomial is monic if its leading coefficient is $1.$ Given two polynomials and , one has :$\backslash deg(p+q)\; \backslash le\; \backslash max\; (\backslash deg(p),\; \backslash deg\; (q)),$ and, over afield
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grassl ...

, or more generally an integral domain
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

,
:$\backslash deg(pq)\; =\; \backslash deg(p)\; +\; \backslash deg(q).$
It follows immediately that, if is an integral domain, then so is .
It follows also that, if is an integral domain, a polynomial is a unit
Unit may refer to:
Arts and entertainment
* UNIT, a fictional military organization in the science fiction television series ''Doctor Who''
* Unit of action, a discrete piece of action (or beat) in a theatrical presentation
Music
* Unit (album), ...

(that is, it has a multiplicative inverse
Image:Hyperbola one over x.svg, thumbnail, 300px, alt=Graph showing the diagrammatic representation of limits approaching infinity, The reciprocal function: . For every ''x'' except 0, ''y'' represents its multiplicative inverse. The graph forms a r ...

) if and only if it is constant and is a unit in .
Two polynomials are associatedAssociated may refer to:
*Associated, former name of Avon, Contra Costa County, California
*Associated Hebrew Schools of Toronto, a school in Canada
*Associated Newspapers, former name of DMG Media, a British publishing company
See also
*Associ ...

if either one is the product of the other by a unit.
Over a field, every nonzero polynomial is associated to a unique monic polynomial.
Given two polynomials, and , one says that ''divides'' , is a ''divisor'' of , or is a multiple of , if there is a polynomial such that .
A polynomial is irreducible if it is not the product of two non-constant polynomials, or equivalently, if its divisors are either constant polynomials or have the same degree.
Polynomial evaluation

Let be a field or, more generally, acommutative ring
In ring theory
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical ana ...

, and a ring containing . For any polynomial in and any element in , the substitution of with in defines an element of , which is denoted . This element is obtained by carrying on in after the substitution the operations indicated by the expression of the polynomial. This computation is called the evaluation of at . For example, if we have
:$P\; =\; X^2\; -\; 1,$
we have
:$\backslash begin\; P(3)\; \&=\; 3^2-1\; =\; 8,\; \backslash \backslash \; P(X^2+1)\; \&=\; \backslash left(X^2\; +\; 1\backslash right)^2\; -\; 1\; =\; X^4\; +\; 2X^2\; \backslash end$
(in the first example , and in the second one ). Substituting for itself results in
:$P\; =\; P(X),$
explaining why the sentences "Let be a polynomial" and "Let be a polynomial" are equivalent.
The ''polynomial function'' defined by a polynomial is the function from into that is defined by $x\backslash mapsto\; P(x).$ If is an infinite field, two different polynomials define different polynomial functions, but this property is false for finite fields. For example, if is a field with elements, then the polynomials and both define the zero function.
For every in , the evaluation at , that is, the map $P\; \backslash mapsto\; P(a)$ defines an algebra homomorphism
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

from to , which is the unique homomorphism from to that fixes , and maps to . In other words, has the following universal property
In category theory
Category theory formalizes mathematical structure
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), ...

:
:''For every ring containing , and every element of , there is a unique algebra homomorphism from'' ''to that fixes , and maps to .''
As for all universal properties, this defines the pair up to a unique isomorphism, and can therefore be taken as a definition of .
Univariate polynomials over a field

If is aEuclidean division of polynomials
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factor of both the two original polynomials. This concept is analogous to the greatest common ...

has a property of uniqueness. That is, given two polynomials and in , there is a unique pair of polynomials such that , and either or . This makes a Euclidean domain
In mathematics, more specifically in ring theory, a Euclidean domain (also called a Euclidean ring) is an integral domain that can be endowed with a #Definition, Euclidean function which allows a suitable generalization of the Euclidean division of ...

. However, most other Euclidean domains (except integers) do not have any property of uniqueness for the division nor an easy algorithm (such as long division) for computing the Euclidean division.
The Euclidean division is the basis of the Euclidean algorithm for polynomials that computes a polynomial greatest common divisor
In algebra, the greatest common divisor (frequently abbreviated as GCD) of two polynomials is a polynomial, of the highest possible degree, that is a factorization, factor of both the two original polynomials. This concept is analogous to the gre ...

of two polynomials. Here, "greatest" means "having a maximal degree" or, equivalently, being maximal for the preorder
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

defined by the degree. Given a greatest common divisor of two polynomials, the other greatest common divisors are obtained by multiplication by a nonzero constant (that is, all greatest common divisors of and are associated). In particular, two polynomials that are not both zero have a unique greatest common divisor that is monic (leading coefficient equal to ).
The extended Euclidean algorithm
In arithmetic
Arithmetic (from the Ancient Greek, Greek wikt:en:ἀριθμός#Ancient Greek, ἀριθμός ''arithmos'', 'number' and wikt:en:τική#Ancient Greek, τική wikt:en:τέχνη#Ancient Greek, έχνη ''tiké échne', 'art' ...

allows computing (and proving) Bézout's identity
In elementary number theory, Bézout's identity (also called Bézout's lemma) is the following theorem
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical ...

. In the case of , it may be stated as follows. Given two polynomials and of respective degrees and , if their monic greatest common divisor has the degree , then there is a unique pair of polynomials such that
:$ap\; +\; bq\; =\; g,$
and
:$\backslash deg\; (a)\; \backslash le\; n-d,\; \backslash quad\; \backslash deg(b)\; <\; m-d.$
(For making this true in the limiting case where or , one has to define as negative the degree of the zero polynomial. Moreover, the equality $\backslash deg\; (a)=\; n-d$ can occur only if and are associated.) The uniqueness property is rather specific to . In the case of the integers the same property is true, if degrees are replaced by absolute values, but, for having uniqueness, one must require .
Euclid's lemma
In algebra
Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with number theory, geometry and mathematical analysis, analysis. I ...

applies to . That is, if divides , and is coprime
In number theory, two integer
An integer (from the Latin wikt:integer#Latin, ''integer'' meaning "whole") is colloquially defined as a number that can be written without a Fraction (mathematics), fractional component. For example, 21, 4, 0, ...

with , then divides . Here, ''coprime'' means that the monic greatest common divisor is . ''Proof:'' By hypothesis and Bézout's identity, there are , , and such that and . So
$c=c(ap+bq)=cap+aeq=a(cp+eq).$
The unique factorization
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

property results from Euclid's lemma. In the case of integers, this is the fundamental theorem of arithmetic
In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integer
An integer (from the Latin wikt:integer#Latin, ''integer'' meaning "wh ...

. In the case of , it may be stated as: ''every non-constant polynomial can be expressed in a unique way as the product of a constant, and one or several irreducible monic polynomials; this decomposition is unique up to the order of the factors.'' In other terms is a unique factorization domain
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

. If is the field of complex numbers, the fundamental theorem of algebra
The fundamental theorem of algebra states that every non- constant single-variable polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, s ...

asserts that a univariate polynomial is irreducible if and only if its degree is one. In this case the unique factorization property can be restated as: ''every non-constant univariate polynomial over the complex numbers can be expressed in a unique way as the product of a constant, and one or several polynomials of the form'' ; ''this decomposition is unique up to the order of the factors.'' For each factor, is a root
In vascular plant
Vascular plants (from Latin ''vasculum'': duct), also known as Tracheophyta (the tracheophytes , from Greek τραχεῖα ἀρτηρία ''trācheia artēria'' 'windpipe' + φυτά ''phutá'' 'plants'), form a large grou ...

of the polynomial, and the number of occurrences of a factor is the multiplicity of the corresponding root.
Derivation

The (formal) derivative of the polynomial :$a\_0+a\_1X+a\_2X^2+\backslash cdots+a\_nX^n$ is the polynomial :$a\_1+2a\_2X+\backslash cdots+na\_nX^.$ In the case of polynomials withreal
Real may refer to:
* Reality
Reality is the sum or aggregate of all that is real or existent within a system, as opposed to that which is only Object of the mind, imaginary. The term is also used to refer to the ontological status of things, ind ...

or complex
The UCL Faculty of Mathematical and Physical Sciences is one of the 11 constituent faculties of University College London
, mottoeng = Let all come who by merit deserve the most reward
, established =
, type = Public university, Public rese ...

coefficients, this is the standard derivative
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

. The above formula defines the derivative of a polynomial even if the coefficients belong to a ring on which no notion of limit
Limit or Limits may refer to:
Arts and media
* Limit (music), a way to characterize harmony
* Limit (song), "Limit" (song), a 2016 single by Luna Sea
* Limits (Paenda song), "Limits" (Paenda song), 2019 song that represented Austria in the Eurov ...

is defined. The derivative makes the polynomial ring a differential algebra
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

.
The existence of the derivative is one of the main properties of a polynomial ring that is not shared with integers, and makes some computations easier on a polynomial ring than on integers.
Square-free factorization

Lagrange interpolation

Polynomial decomposition

Factorization

Except for factorization, all previous properties of areeffective
Effectiveness is the capability of producing a desired result or the ability to produce desired output. When something is deemed effective, it means it has an intended or expected outcome, or produces a deep, vivid impression.
Etymology
The origi ...

, since their proofs, as sketched above, are associated with algorithm
In and , an algorithm () is a finite sequence of , computer-implementable instructions, typically to solve a class of problems or to perform a computation. Algorithms are always and are used as specifications for performing s, , , and other ...

s for testing the property and computing the polynomials whose existence are asserted. Moreover these algorithms are efficient, as their computational complexity is a quadratic function of the input size.
The situation is completely different for factorization: the proof of the unique factorization does not give any hint for a method for factorizing. Already for the integers, there is no known algorithm for factorizing them in polynomial time
In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by th ...

. This is the basis of the RSA cryptosystem
RSA (Rivest–Shamir–Adleman) is a public-key cryptosystem that is widely used for secure data transmission. It is also one of the oldest. The acronym
An acronym is a word or name formed from the initial components of a longer name or p ...

, widely used for secure Internet communications.
In the case of , the factors, and the methods for computing them, depend strongly on . Over the complex numbers, the irreducible factors (those that cannot be factorized further) are all of degree one, while, over the real numbers, there are irreducible polynomials of degree 2, and, over the rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction (mathematics), fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ) ...

s, there are irreducible polynomials of any degree. For example, the polynomial $X^4-2$ is irreducible over the rational numbers, is factored as $(X\; -\; \backslash sqrt;\; href="/html/ALL/s/.html"\; ;"title="">$ over the real numbers and, and as $(X-\backslash sqrt;\; href="/html/ALL/s/.html"\; ;"title="">$ over the complex numbers.
The existence of a factorization algorithm depends also on the ground field. In the case of the real or complex numbers, Abel–Ruffini theorem
In mathematics, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no solution in radicals to general algebraic equation, polynomial equations of quintic equation, degree five or higher with arbitrary coef ...

shows that the roots of some polynomials, and thus the irreducible factors, cannot be computed exactly. Therefore, a factorization algorithm can compute only approximations of the factors. Various algorithms have been designed for computing such approximations, see Root finding of polynomials.
There is an example of a field such that there exist exact algorithms for the arithmetic operations of , but there cannot exist any algorithm for deciding whether a polynomial of the form $X^p\; -\; a$ is irreducible or is a product of polynomials of lower degree.
On the other hand, over the rational numbers and over finite fields, the situation is better than for integer factorization
In number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number ...

, as there are factorization algorithms that have a polynomial complexity. They are implemented in most general purpose computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software
Mathematical software is software used to mathematical model, model, analyze or calculate numeric, symbolic or geometric data.
It is a type of applica ...

s.
Minimal polynomial

If is an element of an associative -algebra , thepolynomial evaluation
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (mathematics), ring (which is also a commutative algebra (structure), commutative algebra) formed from the Set (mathematics), set of polynomial ...

at is the unique algebra homomorphism
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

from into that maps to and does not affect the elements of itself (it is the on ). It consists of ''substituting'' with in every polynomial. That is,
: $\backslash varphi\backslash left(a\_m\; X^m\; +\; a\_\; X^\; +\; \backslash cdots\; +\; a\_1\; X\; +\; a\_0\backslash right)\; =\; a\_m\; \backslash theta^m\; +\; a\_\; \backslash theta^\; +\; \backslash cdots\; +\; a\_1\; \backslash theta\; +\; a\_0.$
The image of this ''evaluation homomorphism'' is the subalgebra generated by , which is necessarily commutative.
If is injective, the subalgebra generated by is isomorphic to . In this case, this subalgebra is often denoted by . The notation ambiguity is generally harmless, because of the isomorphism.
If the evaluation homomorphism is not injective, this means that its kernel
Kernel may refer to:
Computing
* Kernel (operating system), the central component of most operating systems
* Kernel (image processing), a matrix used for image convolution
* Compute kernel, in GPGPU programming
* Kernel method, in machine learnin ...

is a nonzero ideal
Ideal may refer to:
Philosophy
* Ideal (ethics)
An ideal is a principle
A principle is a proposition or value that is a guide for behavior or evaluation. In law
Law is a system
A system is a group of Interaction, interacting ...

, consisting of all polynomials that become zero when is substituted with . This ideal consists of all multiples of some monic polynomial, that is called the minimal polynomial of . The term ''minimal'' is motivated by the fact that its degree is minimal among the degrees of the elements of the ideal.
There are two main cases where minimal polynomials are considered.
In field theory and number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of devoted primarily to the study of the s and . German mathematician (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen ...

, an element of an extension field of is algebraic over if it is a root of some polynomial with coefficients in . The minimal polynomial
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (mathematics), ring (which is also a commutative algebra (structure), commutative algebra) formed from the Set (mathematics), set of polynomial ...

over of is thus the monic polynomial of minimal degree that has as a root. Because is a field, this minimal polynomial is necessarily irreducible over . For example, the minimal polynomial (over the reals as well as over the rationals) of the complex number
In mathematics, a complex number is an element of a number system that contains the real numbers and a specific element denoted , called the imaginary unit, and satisfying the equation . Moreover, every complex number can be expressed in the for ...

is $X^2\; +\; 1$. The cyclotomic polynomial
In mathematics, the ''n''th cyclotomic polynomial, for any positive integer ''n'', is the unique irreducible polynomial with integer coefficients that is a divisor of x^n-1 and is not a divisor of x^k-1 for any Its root of a function, roots are al ...

s are the minimal polynomials of the roots of unity
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis) ...

.
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

, the square matrices
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

over form an associative -algebra of finite dimension (as a vector space). Therefore the evaluation homomorphism cannot be injective, and every matrix has a minimal polynomial
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (mathematics), ring (which is also a commutative algebra (structure), commutative algebra) formed from the Set (mathematics), set of polynomial ...

(not necessarily irreducible). By Cayley–Hamilton theorem
225px, William Rowan Hamilton (1805–1865), Irish physicist, astronomer, and mathematician, first foreign member of the American National Academy of Sciences. While maintaining opposing position about how geometry should be studied, Hamilton alwa ...

, the evaluation homomorphism maps to zero the characteristic polynomial
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces a ...

of a matrix. It follows that the minimal polynomial divides the characteristic polynomial, and therefore that the degree of the minimal polynomial is at most .
Quotient ring

In the case of , thequotient ring
In ring theory
In algebra, ring theory is the study of ring (mathematics), rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studie ...

by an ideal can be built, as in the general case, as a set of equivalence class
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

es. However, as each equivalence class contains exactly one polynomial of minimal degree, another construction is often more convenient.
Given a polynomial of degree , the ''quotient ring'' of by the ideal
Ideal may refer to:
Philosophy
* Ideal (ethics)
An ideal is a principle
A principle is a proposition or value that is a guide for behavior or evaluation. In law
Law is a system
A system is a group of Interaction, interacting ...

generated by can be identified with the vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of the polynomials of degrees less than , with the "multiplication modulo " as a multiplication, the ''multiplication modulo'' consisting of the remainder under the division by of the (usual) product of polynomials. This quotient ring is variously denoted as $K;\; href="/html/ALL/s/.html"\; ;"title="">$ $K;\; href="/html/ALL/s/.html"\; ;"title="">$ $K;\; href="/html/ALL/s/.html"\; ;"title="">$ or simply $K;\; href="/html/ALL/s/.html"\; ;"title="">$
The ring $K;\; href="/html/ALL/s/.html"\; ;"title="">$ is a field if and only if is an irreducible polynomial
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

. In fact, if is irreducible, every nonzero polynomial of lower degree is coprime with , and Bézout's identity
In elementary number theory, Bézout's identity (also called Bézout's lemma) is the following theorem
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical ...

allows computing and such that ; so, is the multiplicative inverse
Image:Hyperbola one over x.svg, thumbnail, 300px, alt=Graph showing the diagrammatic representation of limits approaching infinity, The reciprocal function: . For every ''x'' except 0, ''y'' represents its multiplicative inverse. The graph forms a r ...

of modulo . Conversely, if is reducible, then there exist polynomials of degrees lower than such that ; so are nonzero zero divisor
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...

s modulo , and cannot be invertible.
For example, the standard definition of the field of the complex numbers can be summarized by saying that it is the quotient ring
:$\backslash mathbb\; C\; =\backslash mathbb\; R;\; href="/html/ALL/s/.html"\; ;"title="">$
and that the image of in $\backslash mathbb\; C$ is denoted by . In fact, by the above description, this quotient consists of all polynomials of degree one in , which have the form , with and in $\backslash mathbb\; R.$ The remainder of the Euclidean division that is needed for multiplying two elements of the quotient ring is obtained by replacing by in their product as polynomials (this is exactly the usual definition of the product of complex numbers).
Let be an algebraic element
In mathematics, if is a field extension of , then an element of is called an algebraic element over , or just algebraic over , if there exists some non-zero polynomial with coefficients in such that . Elements of which are not algebraic over ...

in a -algebra . By ''algebraic'', one means that has a minimal polynomial . The first ring isomorphism theorem asserts that the substitution homomorphism induces an isomorphism of $K;\; href="/html/ALL/s/.html"\; ;"title="">$ onto the image of the substitution homomorphism. In particular, if is a simple extension of generated by , this allows identifying and $K;\; href="/html/ALL/s/.html"\; ;"title="">$ This identification is widely used in algebraic number theory.
Modules

The structure theorem for finitely generated modules over a principal ideal domain applies to ''K''[''X''], when ''K'' is a field. This means that every finitely generated module over ''K''[''X''] may be decomposed into a direct sum of a free module and finitely many modules of the form $K;\; href="/html/ALL/s/.html"\; ;"title="">$, where ''P'' is anirreducible polynomial
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

over ''K'' and ''k'' a positive integer.
Definition (multivariate case)

Given symbols $X\_1,\; \backslash dots,\; X\_n,$ called indeterminate (variable), indeterminates, a monomial (also called ''power product'') :$X\_1^\backslash cdots\; X\_n^$ is a formal product of these indeterminates, possibly raised to a nonnegative power. As usual, exponents equal to one and factors with a zero exponent can be omitted. In particular, $X\_1^0\backslash cdots\; X\_n^0\; =1.$ The tuple of exponents is called the ''multidegree'' or ''exponent vector'' of the monomial. For a less cumbersome notation, the abbreviation :$X^\backslash alpha=X\_1^\backslash cdots\; X\_n^$ is often used. The ''degree'' of a monomial , frequently denoted or , is the sum of its exponents: :$\backslash deg\; \backslash alpha\; =\; \backslash sum\_^n\; \backslash alpha\_i.$ A ''polynomial'' in these indeterminates, with coefficients in a field, or more generally a ring, is a finite linear combination of monomials :$p\; =\; \backslash sum\_\backslash alpha\; p\_\backslash alpha\; X^\backslash alpha$ with coefficients in . The ''degree'' of a nonzero polynomial is the maximum of the degrees of its monomials with nonzero coefficients. The set of polynomials in $X\_1,\; \backslash dots,\; X\_n,$ denoted $K[X\_1,\backslash dots,\; X\_n],$ is thus avector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

(or a free module, if is a ring) that has the monomials as a basis.
$K[X\_1,\backslash dots,\; X\_n]$ is naturally equipped (see below) with a multiplication that makes a ring, and an associative algebra over , called ''the polynomial ring in indeterminates'' over (the definite article ''the'' reflects that it is uniquely defined up to the name and the order of the indeterminates. If the ring is commutative ring, commutative, $K[X\_1,\backslash dots,\; X\_n]$ is also a commutative ring.
Operations in

''Addition'' and ''scalar multiplication'' of polynomials are those of aPolynomial expression

A polynomial expression is an expression (mathematics), expression built with scalars (elements of ), indeterminates, and the operators of addition, multiplication, and exponentiation to nonnegative integer powers. As all these operations are defined in $K[X\_1,\backslash dots,\; X\_n]$ a polynomial expression represents a polynomial, that is an element of $K[X\_1,\backslash dots,\; X\_n].$ The definition of a polynomial as a linear combination of monomials is a particular polynomial expression, which is often called the ''canonical form'', ''normal form'', or ''expanded form'' of the polynomial. Given a polynomial expression, one can compute the ''expanded'' form of the represented polynomial by ''expanding'' with the distributive law all the products that have a sum among their factors, and then using commutativity (except for the product of two scalars), and associativity for transforming the terms of the resulting sum into products of a scalar and a monomial; then one gets the canonical form by regrouping the like terms. The distinction between a polynomial expression and the polynomial that it represents is relatively recent, and mainly motivated by the rise of computer algebra, where, for example, the test whether two polynomial expressions represent the same polynomial may be a nontrivial computation.Categorical characterization

If is a commutative ring, the polynomial ring has the followinguniversal property
In category theory
Category theory formalizes mathematical structure
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), ...

: for every commutative algebra (structure), commutative -algebra , and every -tuple of elements of , there is a unique algebra homomorphism
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

from to that maps each $X\_i$ to the corresponding $x\_i.$ This homomorphism is the ''evaluation homomorphism'' that consists in substituting $X\_i$ for $x\_i$ in every polynomial.
As it is the case for every universal property, this characterizes the pair $(K[X\_1,\; \backslash dots,\; X\_n],\; (X\_1,\; \backslash dots,\; X\_n))$ up to a unique isomorphism.
This may also be interpreted in terms of adjoint functors. More precisely, let and be respectively the category (mathematics), categories of sets and commutative -algebras (here, and in the following, the morphisms are trivially defined). There is a forgetful functor $\backslash mathrm\; F:\; \backslash mathrm\backslash to\; \backslash mathrm$ that maps algebras to their underlying sets. On the other hand, the map $X\backslash mapsto\; K[X]$ defines a functor $\backslash mathrm\backslash to\; \backslash mathrm$ in the other direction. (If is infinite, is the set of all polynomials in a finite number of elements of .)
The universal property of the polynomial ring means that and are adjoint functors. That is, there is a bijection
:$\backslash operatorname\_(X,\backslash operatorname(A))\backslash cong\; \backslash operatorname\_(K;\; href="/html/ALL/s/.html"\; ;"title="">$
This may be expressed also by saying that polynomial rings are free commutative algebras, since they are free objects in the category of commutative algebras. Similarly, a polynomial ring with integer coefficients is the free commutative ring over its set of variables, since commutative rings and commutative algebras over the integers are the same thing.
Graded structure

Univariate over a ring vs. multivariate

A polynomial in $K[X\_1,\; \backslash ldots,\; X\_n]$ can be considered as a univariate polynomial in the indeterminate $X\_n$ over the ring $K[X\_1,\; \backslash ldots,\; X\_],$ by regrouping the terms that contain the same power of $X^n,$ that is, by using the identity :$\backslash sum\_\; c\_\; X\_1^\; \backslash cdots\; X\_n^=\backslash sum\_i\backslash left(\backslash sum\_\; c\_\; X\_1^\; \backslash cdots\; X\_^\backslash right)X\_n^i,$ which results from the distributivity and associativity of ring operations. This means that one has an algebra isomorphism :$K[X\_1,\; \backslash ldots,\; X\_n]\backslash cong\; (K[X\_1,\; \backslash ldots,\; X\_])[X\_n]$ that maps each indeterminate to itself. (This isomorphism is often written as an equality, which is justified by the fact that polynomial rings are defined up to a ''unique'' isomorphism.) In other words, a multivariate polynomial ring can be considered as a univariate polynomial over a smaller polynomial ring. This is commonly used for proving properties of multivariate polynomial rings, by mathematical induction, induction on the number of indeterminates. The main such properties are listed below.Properties that pass from to

In this section, is a commutative ring, is a field, denotes a single indeterminate, and, as usual, $\backslash mathbb\; Z$ is the ring of integers. Here is the list of the main ring properties that remain true when passing from to . * If is anintegral domain
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...

then the same holds for (since the leading coefficient of a product of polynomials is, if not zero, the product of the leading coefficients of the factors).
**In particular, $K[X\_1,\backslash ldots,X\_n]$ and $\backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]$ are integral domains.
* If is a unique factorization domain
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...

then the same holds for . This results from Gauss's lemma (polynomial), Gauss's lemma and the unique factorization property of $L;\; href="/html/ALL/s/.html"\; ;"title="">$ where is the field of fractions of .
**In particular, $K[X\_1,\backslash ldots,X\_n]$ and $\backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]$ are unique factorization domains.
* If is a Noetherian ring, then the same holds for .
**In particular, $K[X\_1,\backslash ldots,X\_n]$ and $\backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]$ are Noetherian rings; this is Hilbert's basis theorem.
* If is a Noetherian ring, then $\backslash dim\; R[X]\; =\; 1+\backslash dim\; R,$ where "$\backslash dim$" denotes the Krull dimension.
**In particular, $\backslash dim\; K[X\_1,\backslash ldots,X\_n]\; =\; n$ and $\backslash dim\; \backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]\; =\; n+1.$
* If is a regular ringIn commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ide ...

, then the same holds for ; in this case, one has $$\backslash operatorname\backslash ,\; \backslash dim\; R[X]=\; \backslash dim\; R[X]=\; 1\; +\; \backslash operatorname\backslash ,\; \backslash dim\; R=1+\backslash dim\; R,$$ where "$\backslash operatorname\backslash ,\; \backslash dim$" denotes the global dimension.
**In particular, $K[X\_1,\backslash ldots,X\_n]$ and $\backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]$ are regular rings, $\backslash operatorname\backslash ,\; \backslash dim\; \backslash mathbb\; Z[X\_1,\backslash ldots,X\_n]\; =\; n+1,$ and $\backslash operatorname\backslash ,\; \backslash dim\; K[X\_1,\backslash ldots,X\_n]\; =\; n.$ The latter equality is Hilbert's syzygy theorem.
Several indeterminates over a field

Polynomial rings in several variables over a field are fundamental in invariant theory andalgebraic geometry
Algebraic geometry is a branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and thei ...

. Some of their properties, such as those described above can be reduced to the case of a single indeterminate, but this is not always the case. In particular, because of the geometric applications, many interesting properties must be invariant under affine transformation, affine or projective transformation, projective transformations of the indeterminates. This often implies that one cannot select one of the indeterminates for a recurrence on the indeterminates.
Bézout's theorem, Hilbert's Nullstellensatz and Jacobian conjecture are among the most famous properties that are specific to multivariate polynomials over a field.
Hilbert's Nullstellensatz

The Nullstellensatz (German for "zero-locus theorem") is a theorem, first proved by David Hilbert, which extends to the multivariate case some aspects of thefundamental theorem of algebra
The fundamental theorem of algebra states that every non- constant single-variable polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, s ...

. It is foundational for algebraic geometry
Algebraic geometry is a branch of mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and thei ...

, as establishing a strong link between the algebraic properties of $K[X\_1,\; \backslash ldots,\; X\_n]$ and the geometric properties of algebraic varieties, that are (roughly speaking) set of points defined by implicit equation, implicit polynomial equations.
The Nullstellensatz, has three main versions, each being a corollary of any other. Two of these versions are given below. For the third version, the reader is referred to the main article on the Nullstellensatz.
The first version generalizes the fact that a nonzero univariate polynomial has a complex
The UCL Faculty of Mathematical and Physical Sciences is one of the 11 constituent faculties of University College London
, mottoeng = Let all come who by merit deserve the most reward
, established =
, type = Public university, Public rese ...

zero if and only if it is not a constant. The statement is: ''a set of polynomials in $K[X\_1,\; \backslash ldots,\; X\_n]$ has a common zero in an algebraically closed field containing , if and only if'' ''does not belong to the ideal
Ideal may refer to:
Philosophy
* Ideal (ethics)
An ideal is a principle
A principle is a proposition or value that is a guide for behavior or evaluation. In law
Law is a system
A system is a group of Interaction, interacting ...

generated by , that is, if'' ''is not a linear combination of elements of with polynomial coefficients''.
The second version generalizes the fact that the irreducible polynomial, irreducible univariate polynomials over the complex numbers are associate elements, associate to a polynomial of the form $X-\backslash alpha.$ The statement is: ''If is algebraically closed, then the maximal ideals of $K[X\_1,\; \backslash ldots,\; X\_n]$ have the form $\backslash langle\; X\_1\; -\; \backslash alpha\_1,\; \backslash ldots,\; X\_n\; -\; \backslash alpha\_n\; \backslash rangle.$
Bézout's theorem

Bézout's theorem may be viewed as a multivariate generalization of the version of thefundamental theorem of algebra
The fundamental theorem of algebra states that every non- constant single-variable polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, s ...

that asserts that a univariate polynomial of degree has complex roots, if they are counted with their multiplicities.
In the case of bivariate polynomials, it states that two polynomials of degrees and in two variables, which have no common factors of positive degree, have exactly common zeros in an algebraically closed field containing the coefficients, if the zeros are counted with their multiplicity and include the point at infinity, zeros at infinity.
For stating the general case, and not considering "zero at infinity" as special zeros, it is convenient to work with homogeneous polynomials, and consider zeros in a projective space. In this context, a ''projective zero'' of a homogeneous polynomial $P(X\_0,\; \backslash ldots,\; X\_n)$ is, up to a scaling, a -tuple $(x\_0,\; \backslash ldots,\; x\_n)$ of elements of that is different form , and such that $P(x\_0,\; \backslash ldots,\; x\_n)\; =\; 0$. Here, "up to a scaling" means that $(x\_0,\; \backslash ldots,\; x\_n)$ and $(\backslash lambda\; x\_0,\; \backslash ldots,\; \backslash lambda\; x\_n)$ are considered as the same zero for any nonzero $\backslash lambda\backslash in\; K.$ In other words, a zero is a set of homogeneous coordinates of a point in a projective space of dimension .
Then, Bézout's theorem states: Given homogeneous polynomials of degrees $d\_1,\; \backslash ldots,\; d\_n$ in indeterminates, which have only a finite number of common projective zeros in an algebraically closed extension of , the sum of the multiplicity (mathematics)#Intersection multipliicty, multiplicities of these zeros is the product $d\_1\; \backslash cdots\; d\_n.$
Jacobian conjecture

Generalizations

Polynomial rings can be generalized in a great many ways, including polynomial rings with generalized exponents, power series rings, noncommutative polynomial rings, skew polynomial rings, and polynomial Rig (mathematics), rigs.Infinitely many variables

One slight generalization of polynomial rings is to allow for infinitely many indeterminates. Each monomial still involves only a finite number of indeterminates (so that its degree remains finite), and each polynomial is a still a (finite) linear combination of monomials. Thus, any individual polynomial involves only finitely many indeterminates, and any finite computation involving polynomials remains inside some subring of polynomials in finitely many indeterminates. This generalization has the same property of usual polynomial rings, of being the free commutative algebra, the only difference is that it is a free object over an infinite set. One can also consider a strictly larger ring, by defining as a generalized polynomial an infinite (or finite) formal sum of monomials with a bounded degree. This ring is larger than the usual polynomial ring, as it includes infinite sums of variables. However, it is smaller than the power series ring#Power series in several variables, ring of power series in infinitely many variables. Such a ring is used for constructing the ring of symmetric functions over an infinite set.Generalized exponents

A simple generalization only changes the set from which the exponents on the variable are drawn. The formulas for addition and multiplication make sense as long as one can add exponents: . A set for which addition makes sense (is closed and associative) is called a monoid. The set of functions from a monoid ''N'' to a ring ''R'' which are nonzero at only finitely many places can be given the structure of a ring known as ''R''[''N''], the monoid ring of ''N'' with coefficients in ''R''. The addition is defined component-wise, so that if , then for every ''n'' in ''N''. The multiplication is defined as the Cauchy product, so that if , then for each ''n'' in ''N'', ''c''Power series

Power series generalize the choice of exponent in a different direction by allowing infinitely many nonzero terms. This requires various hypotheses on the monoid ''N'' used for the exponents, to ensure that the sums in the Cauchy product are finite sums. Alternatively, a topology can be placed on the ring, and then one restricts to convergent infinite sums. For the standard choice of ''N'', the non-negative integers, there is no trouble, and the ring of formal power series is defined as the set of functions from ''N'' to a ring ''R'' with addition component-wise, and multiplication given by the Cauchy product. The ring of power series can also be seen as the Completion of a ring, ring completion of the polynomial ring with respect to the ideal generated by .Noncommutative polynomial rings

For polynomial rings of more than one variable, the products ''X''⋅''Y'' and ''Y''⋅''X'' are simply defined to be equal. A more general notion of polynomial ring is obtained when the distinction between these two formal products is maintained. Formally, the polynomial ring in ''n'' noncommuting variables with coefficients in the ring ''R'' is the monoid ring ''R''[''N''], where the monoid ''N'' is the free monoid on ''n'' letters, also known as the set of all strings over an alphabet of ''n'' symbols, with multiplication given by concatenation. Neither the coefficients nor the variables need commute amongst themselves, but the coefficients and variables commute with each other. Just as the polynomial ring in ''n'' variables with coefficients in the commutative ring ''R'' is the free commutative ''R''-algebra of rank ''n'', the noncommutative polynomial ring in ''n'' variables with coefficients in the commutative ring ''R'' is the free associative, unital ''R''-algebra on ''n'' generators, which is noncommutative when ''n'' > 1.Differential and skew-polynomial rings

Other generalizations of polynomials are differential and skew-polynomial rings. A differential polynomial ring is a ring of differential operators formed from a ring ''R'' and a Derivation (abstract algebra), derivation ''δ'' of ''R'' into ''R''. This derivation operates on ''R'', and will be denoted ''X'', when viewed as an operator. The elements of ''R'' also operate on ''R'' by multiplication. The function composition, composition of operators is denoted as the usual multiplication. It follows that the relation may be rewritten as : $X\backslash cdot\; a\; =\; a\backslash cdot\; X\; +\backslash delta(a).$ This relation may be extended to define a skew multiplication between two polynomials in ''X'' with coefficients in ''R'', which make them a non-commutative ring. The standard example, called a Weyl algebra, takes ''R'' to be a (usual) polynomial ring ''k''[''Y''], and ''δ'' to be the standard polynomial derivative $\backslash tfrac$. Taking ''a'' =''Y'' in the above relation, one gets the canonical commutation relation, ''X''⋅''Y'' − ''Y''⋅''X'' = 1. Extending this relation by associativity and distributivity allows explicitly constructing the Weyl algebra.. The skew-polynomial ring is defined similarly for a ring ''R'' and a ring endomorphism ''f'' of ''R'', by extending the multiplication from the relation ''X''⋅''r'' = ''f''(''r'')⋅''X'' to produce an associative multiplication that distributes over the standard addition. More generally, given a homomorphism ''F'' from the monoid N of the positive integers into the endomorphism ring of ''R'', the formula ''X''Polynomial rigs

The definition of a polynomial ring can be generalised by relaxing the requirement that the algebraic structure ''R'' be a Field (mathematics), field or a Ring (mathematics), ring to the requirement that ''R'' only be a semifield or Rig (mathematics), rig; the resulting polynomial structure/extension ''R''[''X''] is a polynomial rig. For example, the set of all multivariate polynomials with natural number coefficients is a polynomial rig.See also

* Additive polynomial * Laurent polynomialReferences

* * * * * {{Authority control Commutative algebra Invariant theory Ring theory Polynomials Free algebraic structures