91Ó°ÊÓ

Field extensions are a fundamental concept in algebra. They describe how we can expand a smaller field, like the field of rational numbers \(\mathbb{Q}\), into a larger one, such as \(\mathbb{Q}(\pi, \mathrm{i})\). Here, \(\pi\) and \(\mathrm{i}\) are added to \(\mathbb{Q}\) to create this larger field. A field extension is denoted by \(\mathbb{Q}(\pi, \mathrm{i})/\mathbb{Q}\), meaning that \(\mathbb{Q}\) is our base field, and \(\pi\) and \(\mathrm{i}\) are our extensions.

• \(\mathbb{Q}(\pi, \mathrm{i})\) contains all possible expressions formed from rational numbers and the symbols \(\pi\) and \(\mathrm{i}\) using addition, subtraction, multiplication, and division.
• Extensions can be either algebraic or transcendental.
• If the added elements are roots of polynomials with rational coefficients, the extension is algebraic. If not, it's transcendental.

In our example, \(\mathrm{i}\) is algebraic because it solves the equation \(x^2 + 1 = 0\). On the other hand, \(\pi\) is transcendental, making the field extension partly transcendent.

In field theory, elements are algebraically independent over a base field if no nontrivial polynomial relation with coefficients from that base field exists among them. In simpler terms, you can't express one element as a solution to a polynomial equation involving the others, where the numbers in the equation come from the base field. For example, consider \(\pi\) over the field of rational numbers, \(\mathbb{Q}\). \

• There is no polynomial with rational coefficients for which \(\pi\) is a solution, making \(\pi\) algebraically independent over \(\mathbb{Q}\).
• This independence ensures that \(\pi\) contributes uniquely to constructing the field \(\mathbb{Q}(\pi, \mathrm{i})\) from \(\mathbb{Q}\).

When forming a transcendence basis for an extension, you use algebraically independent elements because they uniquely expand the field.

Transcendental numbers are numbers that are not roots of any non-zero polynomial with rational coefficients. This defines them as different from algebraic numbers, such as the square root of 2, which satisfy some polynomial like \(x^2 - 2 = 0\).A famous transcendental number is \(\pi\).

• \(\pi\) is transcendental because you cannot find any polynomial with rational coefficients where \(\pi\) is a root.
• Consequently, when we extend \(\mathbb{Q}\) by adding \(\pi\), the extension requires transcendental techniques rather than purely algebraic methods.

Another well-known transcendental number is \(e\), the base of natural logarithms, which is not a solution to any rational polynomial as well. Both \(\pi\) and \(e\) can serve as transcendence bases for extensions because they introduce new, non-overlapping contributions to fields.

Polynomials with rational coefficients use numbers from the field of rational numbers, \(\mathbb{Q}\). These coefficients are crucial when determining whether numbers are algebraic or transcendental because:

• If a number is the root of a polynomial with rational coefficients, it is considered algebraic over \(\mathbb{Q}\).
• If no such polynomial exists for a number, that number is deemed transcendental.

This distinction is key in forming field extensions, as seen in the question about \(\mathbb{Q}(\pi, \mathrm{i})/\mathbb{Q}\).For example, the polynomial \(x^2 + 1 = 0\) uses rational coefficients and shows that \(\mathrm{i}\) (the imaginary unit) is algebraic. Contrastingly, since \(\pi\) doesn’t fit any rational coefficient polynomial, it's transcendental over \(\mathbb{Q}\). By exploring polynomials with rational coefficients, one can effectively classify numbers and inform field extensions.