Problem 1 - A Course in Galois Theory

Question

Suppose that \(f\) is a polynomial in \(K[x]\) of degree \(n\) and that either char \(K=0\) or char \(K>n .\) Suppose that \(\alpha \in K .\) Establish Taylor's formula: $$ f=f(\alpha)+\mathrm{D} f(\alpha)(x-\alpha)+\frac{\mathrm{D}^{2} f(\alpha)}{2 !}(x-\alpha)^{2}+\cdots+\frac{\mathrm{D}^{n} f(\alpha)}{n !}(x-\alpha)^{n} $$

Step-by-Step Solution

Answer

Taylor's formula expresses \(f(x)\) around \(\alpha\) using derivatives and the characteristic of \(K\) ensures division by \(k!\) is valid.

Step 1: Understand the problem

We are given a polynomial \(f(x)\) of degree \(n\) in a field \(K[x]\), where \(\text{char } K = 0\) or \(\text{char } K > n\). We need to derive Taylor's formula at a point \(\alpha\), meaning expressing the polynomial \(f(x)\) in terms of its value and derivatives at \(x = \alpha\).

Step 2: Derive a general expression for polynomial

A polynomial \(f(x)\) can be expressed as \(c_0 + c_1x + c_2x^2 + \cdots + c_nx^n\). We aim to express this polynomial centered at \(\alpha\), by substituting \((x-\alpha)\) in the expansion and rearranging terms based on powers of \((x-\alpha)\).

Step 3: Introduction to Taylor's Formula

Taylor's formula provides a way to express \(f(x)\) around a point \(\alpha\) using derivatives: \[ f(x) = f(\alpha) + \left.\frac{d}{dx}f(x)\right|_{x=\alpha}(x-\alpha) + \frac{1}{2!}\left.\frac{d^2}{dx^2}f(x)\right|_{x=\alpha}(x-\alpha)^2 + \cdots + \frac{1}{n!}\left.\frac{d^n}{dx^n}f(x)\right|_{x=\alpha}(x-\alpha)^n \]

Step 4: Calculate the value and derivatives at \(\alpha\)

Evaluate \(f(\alpha)\) and its derivatives \(f'(\alpha), f''(\alpha), \ldots, f^{(n)}(\alpha)\) to substitute into Taylor's formula. The term \(\frac{D^k f(\alpha)}{k!}(x-\alpha)^k\) will form part of the expansion for \(k = 0, 1, \ldots, n\).

Step 5: Verify Taylor's formula with provided conditions

Since \(\text{char }K=0\) or \(\text{char } K > n\), the division by \(k!\) is valid, ensuring that Taylor's expansion holds naturally. Verify this meets conditions of the problem: \(f\) being in \(K[x]\) and the degree constraints of \(n\).

Step 6: Conclusion

By following the above steps and ensuring each component is correctly calculated, we establish Taylor's formula for \(f(x)\) around the point \(\alpha\) under given assumptions.

Key Concepts

Taylor's Formula

Taylor's formula is a powerful tool in mathematics that allows us to approximate a function around a certain point by using its derivatives at that point. In the context of polynomials, it provides an expression where a polynomial function, say \(f(x)\), can be expanded around a selected point \(\alpha\). This expansion in a polynomial of degree \(n\) given a field \(K\) is typically written as:

• \(f(\alpha)\), the value of the function at \(\alpha\)
• \(\mathrm{D}f(\alpha)(x-\alpha)\), which uses the first derivative to approximate the function's slope
• \(\frac{\mathrm{D}^2f(\alpha)}{2!}(x-\alpha)^2\) and higher order terms which refine the approximation further using second and higher derivatives

All these terms sum up to closely model the behavior of the polynomial near \(\alpha\). This decomposition is particularly useful in fields with characteristic zero or where the characteristic is greater than the polynomial degree. By ensuring this condition, we make the division by \(k!\) (factorials in denominators) valid, as factorials are integer values, crucial for the terms beyond the first.

Polynomial Degree

The degree of a polynomial is a fundamental concept in algebra, defining the highest power of the variable within the polynomial expression. For example, if \(f(x) = c_0 + c_1x + c_2x^2 + \cdots + c_nx^n\), the degree is \(n\), assuming \(c_neq 0\). This degree dictates many of the polynomial's properties such as:

• The number of roots it can have
• The behavior of its graph at infinity
• Constraining its Taylor expansion

In Taylor's formula, the degree of the polynomial limits the number of non-zero derivative terms: for a polynomial of degree \(n\), derivatives higher than \(n\) are zero. Thus, each term in the Taylor expansion (from the constant term to the \((x-\alpha)^n\) term) is systematically determined by derivatives up to \(n\), forming an exact representation of the polynomial, providing the field conditions are met.

Characteristic of a Field

The characteristic of a field \(K\) is an intrinsic property that influences how arithmetic behaves in that field. It essentially measures the smallest number of times you have to add the multiplicative identity (1) to itself to get 0. Fields primarily break down into these two types:

• Fields with characteristic zero: like the rational numbers \(\mathbb{Q}\), indicating no such repeated addition ever results in zero.
• Fields with positive characteristic: where this repeated addition does result in zero. For instance, in a field with characteristic \(p\), \(p\) times the unit \(1\) equals zero.

The characteristic plays a critical role in Taylor expansions for polynomials. For example, if \(\text{char } K = 0\) or \(\text{char } K > n\), factorials used in the denominators of Taylor's formula terms are well-defined (as they are non-zero). This ensures that each term in the expansion is valid and contributes correctly to the polynomial approximation.

Derivative in Fields

Derivatives are abstract yet foundational in the study of polynomials and fields. In essence, a derivative represents the rate of change or the slope of the polynomial function. Calculating derivatives within a field can mimic the familiar rules of differentiation we know from calculus. Given a polynomial \(f(x) = c_0 + c_1x + c_2x^2 + \cdots + c_nx^n\), its derivative \(f'(x)\) can be found as follows:

• \(f'(x) = c_1 + 2c_2x + 3c_3x^2 + \cdots + nc_nx^{n-1}\)

This derivative, when evaluated at a point \(\alpha\), helps determine the next term in Taylor's polynomial expansion around \(\alpha\). Higher derivatives follow in a similar pattern, providing further depth for Taylor series approximations. In fields where characteristics do not restrict differentiation (such as \(\text{char } K = 0\) or \(\text{char } K > n\)), one can systematically calculate and apply derivatives to achieve precise expansions.