Algebraic number: Difference between revisions
imported>Harald Helfgott No edit summary |
mNo edit summary |
||
| (30 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
In [[mathematics]], and more specifically—in [[number theory]], an '''algebraic number''' is a [[complex number]] that is a root of a [[polynomial]] with [[rational number|rational]] coefficients. | |||
Real or complex numbers that are not algebraic are called [[transcendental number]]s. | |||
Instances of algebraic numbers have been studied for millennia as solutions of [[quadratic equation]]s. They appear indirectly in the [[cakravāla]] method from the 11th century. In the 15th century, they arose in finding general solutions to [[cubic equation|cubic]] and [[quartic equation]]s. However, the properties of algebraic numbers were not intensively studied until algebraic numbers appeared in an attempt to solve [[Fermat's last theorem]]. | |||
The algebraic numbers | The theory of algebraic numbers that ensued forms the foundation of modern [[algebraic number theory]]. Algebraic number theory is now an immense field, and one of current research, but so far has found few applications to the physical world. | ||
== Alternative Characterization == | |||
Every polynomial with rational coefficients can be converted to one with integer coefficients by multiplying through by the least common multiple of the denominators of the coefficients. It follows that the term "algebraic number" can also be defined as a [[complex number]] that is a root of a [[polynomial]] with [[integer]] coefficients. If an algebraic number ''x'' can be written as the root of a [[monic polynomial]] with integer coefficients, that is, one whose [[leading coefficient]] is 1, then ''x'' is called an [[algebraic integer]]. | |||
== | == Cardinality == | ||
The algebraic numbers include all rational numbers, and both sets of numbers, rational and algebraic, are [[countable set|countable]]. | |||
<math> \sqrt{2}</math> is an algebraic number, | == Algebraic Properties == | ||
The algebraic numbers form a [[field (mathematics)|field]]; in fact, they are the smallest [[algebraically closed field]] with characteristic 0. <ref>If 1 + 1 = 0 in the field, the characteristic is said to be 2; if 1 + 1 + 1 = 0 the characteristic is said to be 3, and forth. If there is no <math>n</math> such that adding 1 <math>n</math> times gives 0, we say the characteristic is 0. A field of positive characteristic need not be finite. </ref> | |||
== Degree and Defining Polynomial== | |||
Let <math>\ a\in \mathbb{C}</math> be an algebraic number different from <math>\ 0.</math> The '''degree''' of <math>\ a</math> is, by definition, the lowest degree of a polynomial <math>\ f,</math> with rational coefficients, for which <math>\ f(a) = 0.</math> There is a unique ''monic'' polynomial of degree ''d'' having ''a'' as a root. It is the [[defining polynomial]] (or '''minimal polynomial''') for ''a''. | |||
=== Examples === | |||
* Rational numbers are algebraic and of degree <math>\ 1.</math> The rational number ''a'' has defining polynomial <math> x-a </math>. All non-rational algebraic numbers have degree greater than <math>\ 1.</math> Note that there are real [[irrational number]]s that are not algebraic (i.e. that are transcendental), such as [[pi]] and [[e (mathematics)|e]]. | |||
* <math> \sqrt{2}</math> is an algebraic number of degree 2, and, in fact, an algebraic integer. It is not rational, so must have degree greater than 1. As it is a root of the polynomial <math>x^2-2</math>, it has degree 2, and <math>x^2-2</math> is its defining polynomial. | |||
* The imaginary unit <math>i</math> is an algebraic integer of degree 2, having defining polynomial polynomial <math>x^2+1</math>. | |||
* The [[golden ratio]], <math> (1+\sqrt{5})/2 </math>, is also an algebraic number(actually, an integer!) of degree 2, with defining polynomial <math> x^2-x-1 </math>. | |||
* If <math> a </math> is a rational number, then <math>\sqrt[n]{a} </math> is an algebraic number of degree ''n'', having defining polynomial <math> x^n-a </math>. It is an algebraic integer precisely when ''a'' is an integer. | |||
== Algebraic numbers via subfields == | |||
The field of complex numbers <math>\ \mathbb{C}</math> is a [[linear space]] over the field of rational numbers <math>\ \mathbb{Q}.</math> In this section, by a linear space we will mean a linear subspace of <math>\ \mathbb{C}</math> over <math>\ \mathbb{Q};</math> and by [[algebra]] we mean a linear space which is closed under the multiplication, and which has <math>\ 1</math> as its element. The following properties of a complex number <math>\ z \in \mathbb{C}</math> are equivalent: | |||
* <math>\ z</math> is an algebraic number of degree <math>\ \le n;</math> | |||
* <math>\ z</math> belongs to an algebra of linear dimension <math>\ \le n.</math> | |||
Indeed, when the first condition holds, then the powers <math>\ 1,z,\dots,z^{n-1}</math> linearly generate the algebra required by the second condition. And if the second condition holds then the <math>\ (n+1)</math> elements <math>1,z,\dots,z^{n}</math> are linearly dependent (over rationals). | |||
Actually, every finite dimensional algebra <math>\ A\subseteq \mathbb{C}</math> is a field—indeed, divide an equality | |||
:<math>a_0\cdot z^n + \dots+ a_{n-1}\cdot z + a_n\ =\ 0</math> | |||
where <math>\ a_0\ne 0\ne a_n,</math> by <math>\ a_n\cdot z,</math> and you quickly get an equality of the form: | |||
:<math>z^{-1}\ =\ b_0\cdot z^{n-1}+\cdots + b_{n-1}</math> | |||
A momentary reflection gives now | |||
'''Theorem''' The degree of the inverse <math>\ z^{-1}</math> of any algebraic number <math>\ z\ne 0</math> is equal to the degree of the number <math>\ z</math> itself. | |||
== The sum and product of two algebraic numbers == | |||
Let <math>\ 1 \in A\subseteq \mathcal A</math> and <math>\ 1 \in B\subseteq \mathcal B,</math> where <math>\ A,B,</math> are finite linear bases of fields <math>\ \mathcal A,\mathcal B,</math> respectively. Let <math>\ \mathcal D</math> be the smallest algebra generated by <math>\ \mathcal A\cup \mathcal B.</math> Then <math>\ \mathcal D</math> is linearly generated by | |||
:::<math>\{a\cdot b :\ a\in A\ \and\ b\in B\}</math> | |||
Thus the linear dimensions (over rationals) of the three algebras satisfy inequality: | |||
:::<math>\dim(\mathcal D)\ \le\ \dim(\mathcal A)\cdot \dim(\mathcal B)</math> | |||
Now, let <math>\ a,b,</math> be arbitrary algebraic numbers of degrees <math>\ m,n,</math> respectively. They belong to their respective m- and n-dimensional algebras. The sum and product <math>\ a+b, a\cdot b,</math> belong to the algebra generated by the union of the two mentioned algebras. The dimension of the generated algebra is not greater than <math>\ m\cdot n.</math> It contains <math>\ a+b, a\cdot b,</math> as well as all linear combinations <math>\ \alpha\cdot a + \beta\cdot b,</math> with rational coefficients <math>\ \alpha,\beta.</math> This proves: | |||
'''Theorem''' The sum and the product of two algebraic numbers of degree ''m'' and ''n'', respectively, are algebraic numbers of degree not greater than ''m''•''n''. The same holds for the linear combinations with rational coefficients of two algebraic numbers. | |||
As a corollary to the above theorem, together with the previous section, we obtain: | |||
'''Theorem''' The algebraic numbers form a field. | |||
==Notes== | ==Notes== | ||
{{reflist}}[[Category:Suggestion Bot Tag]] | |||
Latest revision as of 11:01, 8 July 2024
In mathematics, and more specifically—in number theory, an algebraic number is a complex number that is a root of a polynomial with rational coefficients. Real or complex numbers that are not algebraic are called transcendental numbers.
Instances of algebraic numbers have been studied for millennia as solutions of quadratic equations. They appear indirectly in the cakravāla method from the 11th century. In the 15th century, they arose in finding general solutions to cubic and quartic equations. However, the properties of algebraic numbers were not intensively studied until algebraic numbers appeared in an attempt to solve Fermat's last theorem.
The theory of algebraic numbers that ensued forms the foundation of modern algebraic number theory. Algebraic number theory is now an immense field, and one of current research, but so far has found few applications to the physical world.
Alternative Characterization
Every polynomial with rational coefficients can be converted to one with integer coefficients by multiplying through by the least common multiple of the denominators of the coefficients. It follows that the term "algebraic number" can also be defined as a complex number that is a root of a polynomial with integer coefficients. If an algebraic number x can be written as the root of a monic polynomial with integer coefficients, that is, one whose leading coefficient is 1, then x is called an algebraic integer.
Cardinality
The algebraic numbers include all rational numbers, and both sets of numbers, rational and algebraic, are countable.
Algebraic Properties
The algebraic numbers form a field; in fact, they are the smallest algebraically closed field with characteristic 0. [1]
Degree and Defining Polynomial
Let be an algebraic number different from The degree of is, by definition, the lowest degree of a polynomial with rational coefficients, for which There is a unique monic polynomial of degree d having a as a root. It is the defining polynomial (or minimal polynomial) for a.
Examples
- Rational numbers are algebraic and of degree The rational number a has defining polynomial . All non-rational algebraic numbers have degree greater than Note that there are real irrational numbers that are not algebraic (i.e. that are transcendental), such as pi and e.
- is an algebraic number of degree 2, and, in fact, an algebraic integer. It is not rational, so must have degree greater than 1. As it is a root of the polynomial , it has degree 2, and is its defining polynomial.
- The imaginary unit is an algebraic integer of degree 2, having defining polynomial polynomial .
- The golden ratio, , is also an algebraic number(actually, an integer!) of degree 2, with defining polynomial .
- If is a rational number, then is an algebraic number of degree n, having defining polynomial Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^n-a } . It is an algebraic integer precisely when a is an integer.
![{\displaystyle {\sqrt[{n}]{a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7873203eb76042fcd24056c553de8c86054a2df)
Algebraic numbers via subfields
The field of complex numbers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{C}} is a linear space over the field of rational numbers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Q}.} In this section, by a linear space we will mean a linear subspace of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{C}} over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{Q};} and by algebra we mean a linear space which is closed under the multiplication, and which has Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1} as its element. The following properties of a complex number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z \in \mathbb{C}} are equivalent:
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z} is an algebraic number of degree Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \le n;}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z} belongs to an algebra of linear dimension Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \le n.}
Indeed, when the first condition holds, then the powers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1,z,\dots,z^{n-1}} linearly generate the algebra required by the second condition. And if the second condition holds then the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ (n+1)} elements Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1,z,\dots,z^{n}} are linearly dependent (over rationals).
Actually, every finite dimensional algebra Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A\subseteq \mathbb{C}} is a field—indeed, divide an equality
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_0\cdot z^n + \dots+ a_{n-1}\cdot z + a_n\ =\ 0}
where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a_0\ne 0\ne a_n,} by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a_n\cdot z,} and you quickly get an equality of the form:
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^{-1}\ =\ b_0\cdot z^{n-1}+\cdots + b_{n-1}}
A momentary reflection gives now
Theorem The degree of the inverse Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z^{-1}} of any algebraic number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z\ne 0} is equal to the degree of the number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z} itself.
The sum and product of two algebraic numbers
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1 \in A\subseteq \mathcal A} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1 \in B\subseteq \mathcal B,} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A,B,} are finite linear bases of fields Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathcal A,\mathcal B,} respectively. Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathcal D} be the smallest algebra generated by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathcal A\cup \mathcal B.} Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathcal D} is linearly generated by
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{a\cdot b :\ a\in A\ \and\ b\in B\}}
Thus the linear dimensions (over rationals) of the three algebras satisfy inequality:
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dim(\mathcal D)\ \le\ \dim(\mathcal A)\cdot \dim(\mathcal B)}
Now, let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ a,b,} be arbitrary algebraic numbers of degrees Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ m,n,} respectively. They belong to their respective m- and n-dimensional algebras. The sum and product belong to the algebra generated by the union of the two mentioned algebras. The dimension of the generated algebra is not greater than It contains as well as all linear combinations with rational coefficients This proves:
Theorem The sum and the product of two algebraic numbers of degree m and n, respectively, are algebraic numbers of degree not greater than m•n. The same holds for the linear combinations with rational coefficients of two algebraic numbers.
As a corollary to the above theorem, together with the previous section, we obtain:
Theorem The algebraic numbers form a field.
Notes
- ↑ If 1 + 1 = 0 in the field, the characteristic is said to be 2; if 1 + 1 + 1 = 0 the characteristic is said to be 3, and forth. If there is no such that adding 1 times gives 0, we say the characteristic is 0. A field of positive characteristic need not be finite.
