Jump to content

Radical polynomial

From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

In mathematics, in the realm of abstract algebra, a radical polynomial is a multivariate polynomial[1] over a field that can be expressed as a polynomial in the sum of squares of the variables. That is, if

is a polynomial ring, the ring of radical polynomials is the subring generated by the polynomial[2]

Radical polynomials are characterized as precisely those polynomials that are invariant under the action of the orthogonal group.

The ring of radical polynomials is a graded subalgebra of the ring of all polynomials.

The standard separation of variables theorem asserts that every polynomial can be expressed as a finite sum of terms, each term being a product of a radical polynomial and a harmonic polynomial. This is equivalent to the statement that the ring of all polynomials is a free module over the ring of radical polynomials.

References

  1. ^ Barbeau, E. J. (2003-10-09). Polynomials. Springer Science & Business Media. ISBN 978-0-387-40627-5.
  2. ^ Sethuraman, B. A. (1997). Rings, fields, and vector spaces : an introduction to abstract algebra via geometric constructability. Internet Archive. New York : Springer. ISBN 978-0-387-94848-5.{{cite book}}: CS1 maint: publisher location (link)