Ciro Santilli @cirosantilli 35

Polynomial (possibly a multivariate polynomial) with integer coefficients.

Sometimes systems of Diophantine equations are considered.

Problems generally involve finding integer solutions to the equations, notably determining if any solution exists, and if infinitely solutions exist.

The general problem is known to be undecidable: Hilbert's tenth problem.

The Pythagorean triples, and its generalization Fermat's last theorem, are the quintessential examples.

The name is a bit obscure if you don't think in very generalized terms right out of the gate. It refers to a linear polynomial of multiple variables, which by definition must have the super simple form of:and then we just put the unknown $y$ and each derivative into that simple polynomial:except that now the $c_i$ are not just constants, but they can also depend on the argument $x$ (but not on $y$ or its derivatives).

Explicit solutions exist for the very specific cases of:

The usual definition of a polynomial is over a field as shown at polynomial over a field.

However, there is nothing in the immediate definition that prevents us from having a ring instead, i.e. a field but without the commutative property and inverse elements.

The only thing is that then we would need to differentiate between different orderings of the terms of multivariate polynomial, e.g. the following would all be potentially different terms:while for a field they would all go into a single term:so when considering a polynomial over a ring we end up with a lot more more possible terms.

If the ring is a commutative ring however, polynomials do look like proper polynomials: Section "Polynomial over a commutative ring".

Multivariate polynomial where each term has degree 2, e.g.:is a quadratic form because each term has degree 2:but e.g.:is not because the term $x^3$ has degree 3.

More generally for any number of variables it can be written as:

There is a 1-to-1 relationship between quadratic forms and symmetric bilinear forms. In matrix representation, this can be written as:where $\vec{x}$ contains each of the variabes of the form, e.g. for 2 variables:

Strictly speaking, the associated bilinear form would not need to be a symmetric bilinear form, at least for the real numbers or complex numbers which are commutative. E.g.:But that same matrix could also be written in symmetric form as:so why not I guess, its simpler/more restricted.