Questions tagged [algebraic-numbers]
Use this tag for questions related to numbers that are roots of a non-zero polynomial in one variable with rational coefficients.
173
questions
7
votes
2
answers
218
views
What's the structure of the sequence of fields $\mathbb Q(\alpha^n)$?
Given an algebraic number $x$ and a natural number $n>0$, we define the $n$th powerfield of $x$ as $\mathbb Q(x^n)$.
$$\mathbb Q(x),\; \mathbb Q(x^2),\; \mathbb Q(x^3),\; \mathbb Q(x^4),\; \mathbb ...
- 5,864
8
votes
1
answer
359
views
Does there exist a power series which sends every algebraic number in its radius of convergence to a rational number?
Section 1.3 of https://swc-math.github.io/aws/2008/08BeukersNotesDraft.pdf claims there exists a non-constant power series $f(x)$ with positive radius of convergence $\rho,$ such that for any ...
- 113
6
votes
2
answers
387
views
How to determine multiplicative dependence of two algebraic numbers?
Given a pair of algebraic numbers $x,y \in \mathbb F^*$, where $\mathbb Q \subseteq \mathbb F \subset \mathbb C$, how can we find (or prove that there isn't) a pair of exponents $m,n \in \mathbb Z$ (...
- 5,864
2
votes
0
answers
56
views
Example of non supersingular Weil number
This question aims mainly at some misconception I may have regarding the formalism of Weil numbers. These are defined as some algebraic integers with a fixed complex modulus under all possible ...
- 5,571
3
votes
1
answer
63
views
We know existence of Transcendental raised to Algebraic Irrational equals rational, but what about opposite?
Introduction:
If we take $a=2^\sqrt[3]{2}$ which is transcendental by Gelfond-Schneider Theorem, and $b=\sqrt[3]{4}$ which is algebraic irrational because it is root of monic-irreducible polynomial ...
- 1,554
1
vote
0
answers
34
views
Degree of sum or product of linearly independent algebraic numbers.
Let $\alpha,\beta \in \mathbb{A}$ such that $\alpha,\beta$ are linearly independent over $\mathbb{Q}$ and $deg(\alpha)=k_{1}, deg(\beta)=k_{2}$.
Can I deduce that $deg(\alpha \beta)=lcm(deg(\alpha),...
- 1,554
4
votes
1
answer
106
views
Baby Rudin Chapter 2, Exercise 2 proof check
I am currently self-studying Baby Rudin and I have written what I think is a solution to Exercise 2 of Chapter 2. It reads:
$\textbf{Exercise 2}:$ A complex number $z$ is said to be algebraic if there ...
- 41
3
votes
3
answers
77
views
Notable algebraic numbers with high minimal polynomial degree
In this question I'll be referring to certain numbers as "notable". To remove the possible objection of this being opinion-based, we may define "notable" to mean someone has ...
- 3,950
1
vote
0
answers
106
views
Does there exist a number $z$ algebraic over $ℚ$ and a prime $p$ such that $\operatorname{MinDeg}(p,z)\notinℕ$?
Let $\mathbb P$ denote the set of primes.
Let $\operatorname{A^*}$ denote the set of (complex) numbers algebraic over $ℚ$
Let $p\in\mathbb P$ and $z,w\in\operatorname{A^*}$
Let $p^ℤ[z]$ denote the set ...
- 977
7
votes
1
answer
199
views
Factorization and irreducibilty for $x^n-2x^m+1$ trinomials.
I have encountered a weird phenomenon while trying to solve a problem on Reddit. Here is the phenomenon.
Let $a>b \in \mathbb{N}$ and $p_{(a,b)} = x^a - 2x^b + 1$
It seems that if $gcd(a,b,c,d) = 1,...
- 319
4
votes
2
answers
205
views
Can $x\sin(x)$ be algebraic when it is not $0$?
It's easy to show (using the Lindemann-Weierstrass theorem) that, for $x\ne 0$, at least one of $x$ and $\sin(x)$ must be transcendental.
But what about $x\sin(x)$?
After all, the product of two ...
- 645
9
votes
0
answers
300
views
Is there an elementary proof that $2^{\sqrt{2}}$ is irrational?
Is there an elementary proof that $2^{\sqrt{2}}$ is irrational?
The Gelfond-Schneider theorem states that if $a$ and $b$ are complex algebraic numbers such that $a \not\in \{0, 1\}$ and $b$ is ...
- 109k
0
votes
0
answers
60
views
Show that $\pi$ is not algebraic over the field $\mathbb A$ of algebraic numbers.
This is one of the exercises in my abstract algebra book (Nicholson) and it's just the title:
Show that $\pi$ is not algebraic over the field $\mathbb A$ of algebraic numbers.
All I know what to do ...
- 922
0
votes
1
answer
67
views
Confused about lemma in Ivan Niven's Irrational Numbers about conjugate elements in a number field
Page 136 of Ivan Niven's "Irrational Numbers" states, "Lemma 10.4: Let $\alpha$, $\beta$ be algebraic numbers in a field $K$ of degree $h$ over the rationals. If the conjugates for $\...
- 155
1
vote
1
answer
42
views
On Roots of Non-Abelian Extentions of Q and the Abelian Closure of Q
This is somewhat nagging me. I just with to run it by some one cause it seems slightly unintuitive to me (in some regards).
Let us consider $r$ to be an algebraic number in $\mathbb{C}$ not in $\...
- 67
2
votes
1
answer
84
views
Equivalent of complex analysis over the algebraic numbers
I was wondering what would happen if we wanted to do "complex-like" analysis but, instead, of $\mathbb{C}$, we would use the simplest (in terms of inclusion) characteristic $0$ algebraically ...
- 793
2
votes
0
answers
109
views
Can three antiprisms (uniform polyhedra) fit exactly around an edge, leaving no gaps?
Let $\tau=2\pi$ $=360^\circ$.
An $n$-gon antiprism has dihedral angles
$$\theta_n = \arccos\left(-\frac1{\sqrt3}\tan\frac\tau{4n}\right)$$
(where an $n$-gon meets a triangle) and
$$\phi_n = 2\arccos\...
- 5,864
1
vote
0
answers
53
views
Are there any generalizations of continued fractions to approximations of other polynomial equations? [closed]
One of the more interesting results about continued fractions, is that the continued fraction representation of a number repeats if and only if the number is a solution to a polynomial of degree 2 (or ...
0
votes
3
answers
65
views
Criterion for subfield of $ \mathbb{C} $ to be dense
Question:
Is it true that a subfield $ K $ of $ \mathbb{C} $ is dense if and only if the roots of unity in $ K $ are dense in the unit circle?
Context:
I was thinking about the infinite degree ...
- 8,918
3
votes
0
answers
50
views
Example of a non-reciprocal polynomial with nontrivial multiplicative relations between its roots
I'm trying to find an example of a polynomial with some special properties, or an idea of why there can't be one, if that's the case. Here's my setting:
Let $p(x)\in\mathbb{Z}[x]$ be an irreducible, ...
- 51
4
votes
1
answer
210
views
Question about Rudin's PMA, Chapter 2 Exercise 2
I know that there are many questions related to this exercise that have been answered, and I have found a couple of different solutions to this exercise as well. But the solutions usually ignore the ...
- 2,779
2
votes
1
answer
73
views
Rational dependences between algebraic numbers not closed under Galois conjugation [closed]
Let $p \in \mathbb{Z}[x]$ be an irreducible polynomial of degree $d > m > 1$ and $\alpha_1, \ldots, \alpha_m$ be a (strict) subset of all the distinct roots of $p$. Can the value of $c_1\alpha_1 ...
- 41
3
votes
0
answers
48
views
Known "families" of algebraic numbers
Contrary to simple transcendental extensions of $\mathbb{Q}$, which are necessarily isomorphic to a field of rational functions over $\mathbb{Q}$, simple algebraic extensions are very varied - which ...
- 2,685
0
votes
0
answers
25
views
Primes in quadratic rings that are not UFD's [duplicate]
In a quadratic ring $\mathbb{Z}[\sqrt{d}]$ that is not a UFD, is there a simple proof that if an element has a norm that is a prime integer, then that element of the ring is prime, not merely ...
- 9
0
votes
0
answers
28
views
Primitive Elements and Bases of Fields [duplicate]
Good people!
I'm trying to prove a certain something, and I've reached a point where the whole thing will be complete if I can just prove the following lemma, which I'm actually not entirely certain ...
- 2,052
0
votes
1
answer
53
views
is the degree of an algebraic number in a fixed algebraic number field bounded?
Let $K$ be an algebraic number field $K=\mathbb Q(\theta)$ with $\theta$ being a root of a minimal polynomial $f(x)$ of degree $n$ with rational coefficients. Let $\alpha$ be an arbitrary element of $...
- 2,062
3
votes
0
answers
48
views
Classification of linear algebraic subgroups of $GL(2,\overline{\mathbb{Q}})$
In the article "An algorithm determining the difference Galois group of second order linear difference equations" by Peter Hendriks from 1998, Lemma 4.1 is a consequence of, among other ...
- 101
2
votes
0
answers
70
views
Guessing algebraic number by its binary digits
Positive integers $d$, $H$ are given. It's known that $r\in(0,1)$ is such that $p(r)=0$ for some nonzero $p\in\mathbb Z[x]$ with $\deg p\leq d$ and coefficients $c_i$, such that $|c_i|\le H$, $i=0,\...
- 235
1
vote
0
answers
76
views
Is the statement of Baker's Theorem on wikipedia inaccurate?
The Wikipedia article on Baker's theorem states it as follows:
If $\lambda_1,\ldots,\lambda_n\in\mathbb{L}$ are linearly independent over the rational numbers, then for any algebraic numbers $\beta_0,...
- 434
5
votes
0
answers
82
views
Which numbers can be a minimal value of a polynomial with integer coefficients?
Problem. Let $P$ be a polynomial with integer coefficients and consider $m(P) = \min_\limits{x\in\mathbb{R}} P(x)$. The problem is to describe all possible values of $m(P)$.
Necessary condition. If $m(...
- 1,116
3
votes
1
answer
125
views
$p$-adic Algebraic Number Fields: Their Primes and Units
So I've been going through Kurt Hensel's old German classic Theorie der algebraischen Zahlen, and I've reached the point where he begins discussing $p$-adic algebraic number fields $\mathbb{Q}(p , \...
- 2,052
1
vote
1
answer
95
views
Prove $\sqrt{2}+\sqrt{3}+\sqrt{5}+...+\sqrt{p_{n}}$ is irrational, where $p_{n}$ is the nth prime.
My motivation is making general proof , instead of trying to prove special cases.
To which branch of mathematics does my question belong?
I am highly interested in irrational numbers.
Is it good idea ,...
- 1,554
1
vote
0
answers
96
views
Non-positively algebraic number
Let us say that an algebraic number $\alpha \in \mathbf{R}$ is non-positively algebraic if it is the root of a monic polynomial $p(x) = x^n + a_{n-1}x^{n-1} + a_{n-2}x^{n-2} + \dots + a_1 x + a_0$ ...
- 203
0
votes
0
answers
73
views
Why does this entropy equation $H(p) = H(2p - p^2)$ have an algebraic solution?
The recent breakthrough paper of Justin Gilmer on the Union-Closed Set conjecture contains this mysterious coincidence:
Let
$$H(p) := - p \log p - (1 - p) \log (1- p)$$
be the entropy of a Bernoulli ...
- 578
1
vote
0
answers
114
views
Why is the image of an element in $\mathbb Q(\zeta_m, \zeta_p)$ under an automorphism of $\mathbb Q(\zeta_m)$ defined?
This is a part of page 214 in Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $p$ is a prime coprime to $m$, $\zeta_m = e^{\frac{2\pi i}m}$, $D_m$ is the ring of ...
- 331
0
votes
0
answers
35
views
Why does $w^{p^n} - w \in P^2$ imply $w\in P^2$ for $P$ prime?
The corollary mentioned:
This is proposition 13.2.5 from Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of a cyclotomic field ...
- 331
3
votes
2
answers
189
views
Computing the Minimal Polynomial of $\sqrt{3} + \sqrt[3]{5} $ over $\mathbb{Q} $
In trying to compute the minimal polynomial of $\sqrt{3} + \sqrt[3]{5} $ over $\mathbb{Q} $ I employed the usual approach of considering:
$x - (\sqrt{3} + \sqrt[3]{5})=0$
Then from there take the ...
- 61
1
vote
1
answer
49
views
Question about the proof that quotients of a ring of algebraic integers are finite
This is proposition 12.2.3 from Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of some algebraic number field, and $A$ is an ...
- 331
1
vote
1
answer
38
views
Why does $P^e \subset (\alpha) + P^e$ imply that $(\alpha) + P^e$ is a power of $P$?
This is proposition 12.3.2 from Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of some algebraic number field, and $e$ is the ...
- 331
1
vote
0
answers
129
views
Why is the order of an ideal with respect to a prime ideal well defined?
This is the definition of $\text{ord}_P A$ in Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of some algebraic number field and ...
- 331
1
vote
0
answers
69
views
Why can we change the order of "exists" and "for all"?
This is lemma 5 in section 12.2 from Ireland and Rosen's "A Classical Introduction to Modern Number Theory". $D$ is the ring of algebraic integers of an algebraic number field $F$, and $N(x)$...
- 331
0
votes
0
answers
100
views
Is my solution ok? The set of the algebraic numbers obtained as roots of polynomials with integer coefficients that have degree $n$ is countable.
I am reading "Understanding Analysis Second Edition" by Stephen Abbott.
The following exercise is Exercise 1.5.9(b):
Exercise 1.5.9(b) Fix $n\in\mathbb{N}$, and let $A_n$ be the algebraic ...
- 8,790
1
vote
1
answer
179
views
What gives the golden ratio its unusual numerical properties?
Why does the golden ratio (and by extension the other metallic means) have such unusual numerical properties?
For those who don't know, the golden ratio ($\varphi$) is the positive root of the ...
- 419
1
vote
0
answers
149
views
Understanding Liouville numbers and irrationality measure
Every number $x \in \mathbb{R}$ has an associated irrationality measure $\mu(x)$. Let $\mathbb{A}$ be the algebraic numbers and let $x_\mathbb{Q} \in \mathbb{Q}, x_{\mathbb{A}\setminus\mathbb{Q}} \in \...
- 532
0
votes
2
answers
108
views
Problem in trigonometry solved with more advanced topics - $\displaystyle \cos(q\pi) \in \mathbb{Q} \to \cos(q\pi) \in \{0, \pm \frac{1}{2}, \pm 1\}$
Prove the following affirmation: If $q$ is a rational number and $\cos(q\pi)$ is also a rational number, prove that $\cos(q\pi)$ must be one of the elements of the set $\{0, \pm \frac{1}{2}, \pm 1\}$.
...
4
votes
1
answer
122
views
Degree of $\sqrt[5]{2+\sqrt[3]{5+\sqrt{2}}} \cdot e^{2\pi i /3}$ as algebraic number
In this post, ‘degree’ means ‘degree as an algebraic integer’. Let $\alpha = \sqrt[5]{2+\sqrt[3]{5+\sqrt{2}}}$ I see that $f(\alpha)=0$ for the polynomial $f(x) = \big((x^{5}-2)^{3}-5)\big)^{2}-2$, ...
- 75
1
vote
1
answer
252
views
Is every element of GF(p^k) whose degree is k a generator?
I'm reading notes on minimal polynomials and finite fields taken from Jim Belk's webpage
Proposition 7 goes:
It seems to me there exists a counterexample to this statement:
The number of elements of ...
- 132
0
votes
2
answers
49
views
Algebraic independence of a family of numbers
I need to show that given $a_1,\cdots,a_n\in\mathbb{C}$ algebraic numbers linearly independent over $\mathbb{Q}$, then the numbers $e^{a_1},\cdots,e^{a_n}$ are algebraically independent over rationals....
user1070960
0
votes
1
answer
219
views
If $\alpha ,\beta$ algebraic over $F$ then there exist a isomorphism $\psi:F(\alpha) \to F(\beta) $iff $\alpha,\beta$ have same minimal polynomial
Let $K$ be a field extension of $F$ and $L$ be also a field extension
of F. If $\alpha \in K$ and $\beta \in L$ are both algebraic over $F$,
then show that there is an isomorphism of fields: $\mu : F(\...
- 293
1
vote
2
answers
399
views
$F(\alpha)$ is isomorphic to the field $F(x)$ of rational functions over $F$ in the indeterminate $x$ where $\alpha$ is transcendental over $F$
Q.$(a)$ If $\alpha$ is transcendental over a field $F$, then show that
$(i)$ the map $\mu : F[x] → F[\alpha],f (x) \mapsto f (\alpha)$ is an
isomorphism; $(ii)$ $F(\alpha)$ is isomorphic to the field $...
- 293