Definition:Degree (Polynomial)
From ProofWiki
Definition
Let $f = a_1 \mathbf X^{k_1} + \cdots + a_r \mathbf X^{k_r}$ be a polynomial in the indeterminates $\left\{{X_j: j \in J}\right\}$ that is not the null polynomial for some multiindices $k_1, \ldots, k_r$.
For a multiindex $k = \left({k_j}\right)_{j \mathop \in J}$, let $\displaystyle \left|{k}\right| = \sum_{j \mathop \in J} k_j \ge 0$ be the degree of the mononomial $\mathbf X^k$.
The degree of $f$ is the supremum:
- $\displaystyle \deg \left({f}\right) = \max \left\{{\left| {k_r} \right|: i = 1, \ldots, r}\right\}$
Some sources write $\deg \left({f}\right)$ as $\partial f$.
The null polynomial is sometimes defined to have degree $-\infty$, but is left undefined in many sources.
Also known as
The degree of a polynomial $f$ is also sometimes called the order of $f$.
Sources
- C.R.J. Clapham: Introduction to Abstract Algebra (1969)... (previous)... (next): $\S 6.25$
- Thomas A. Whitelaw: An Introduction to Abstract Algebra (1978)... (previous)... (next): $\S 64$