91Ó°ÊÓ

Primitive roots are significant in number theory for understanding the structure of roots of unity. A primitive root of unity, often denoted as \( \zeta_n \), is a complex number such that its powers generate all the \( n \)-th roots of unity. For instance, if \( \zeta \) is a primitive \( n \)-th root of unity, then \( \zeta, \zeta^2, \ldots, \zeta^n = 1 \) are all the distinct \( n \)-th roots of unity.
Primitive roots serve as "building blocks" because any \( n \)-th root of unity can be expressed as a power of a primitive root. This property is crucial for simplifying calculations and understanding the relationships between different roots of unity.

A field extension is a way of enlarging a given field by adding new elements, which come with new operations and relationships. In mathematical terms, if \( F \) is a base field and \( E \) is an extension of \( F \), then \( E \) contains \( F \) and can perform all operations that are possible in \( F \).
Field extensions allow operations on new elements like square roots, cube roots, or complex numbers, that are not necessarily possible within the base field. For example, \( \mathbf{Q}(\sqrt{2}) \) is a field extension created by adding \( \sqrt{2} \) to the rational numbers \( \mathbf{Q} \). The degree of a field extension, written as \([E:F]\), counts the number of "new" elements that fit into the field. It often helps in determining properties like whether certain roots of unity belong to a field.

Rational fields, denoted as \( \mathbf{Q} \), are fields consisting of all rational numbers. These numbers can be expressed as fractions \( \frac{a}{b} \), where \( a \) and \( b \) are integers and \( b eq 0 \).
Rational fields serve as a starting point for creating more complex fields through extensions. They are significant in number theory and algebra because any field extension based on \( \mathbf{Q} \) contains elements that can be expressed in terms of rational operations along with added elements like square roots or complex numbers.

• Because rational fields contain all integer operations, they offer a solid base for understanding structures and properties of extended fields.
• They are often used in defining and understanding roots of unity and are vital in analyzing whether these roots fit into a given field extension.

Euler's Totient Function, denoted by \( \varphi(n) \), is a function from positive integers to positive integers. It is defined as the number of integers up to \( n \) that are coprime to \( n \). Two numbers are coprime if their greatest common divisor is 1.
This function is crucial in understanding the structure of groupings, such as in the multiplicative group of integers modulo \( n \). In the context of roots of unity, \( \varphi(n) \) helps to determine the degree of field extensions. Specifically, when \( [\mathbf{Q}(\zeta):\mathbf{Q}] = \varphi(n) \), it tells us how many distinct minimal polynomials exist for that root of unity.

• It also helps find the smallest \( n \) for which certain properties hold, like when asking "For which \( n \) is \([\mathbf{Q}(\zeta):\mathbf{Q}] = 2 \)?"
• Key values of the function help in determining the structure and possible constructions within number fields.