Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm interested to know if there is anything known about recovering the degree of a field extension, $E/k$, given $E=k(\alpha_1,\ldots, \alpha_n)$ (here I'm assuming that the extension is of finite degree. Obviously there are some silly examples anyone could eyeball, like $\sqrt[m]{d}$ for $n=1$ and $\alpha_1=d\in k$ or the case $E=\mathbb{F}_q$ and $k=\mathbb{F}_p$ where we can just divide orders (intermediate fields are clearly equally trivial). Where, to give the necessary bit of care, we assume this is a nontrivial extension. If $E/k$ is Galois and we can appeal to other bits of theory, we might also get the degree by calculation of the Galois group('s order). Is there anything known about more general extensions? It is conceivable given that $E/k$ is an extension of algebraic number fields that the theory of ideals might give an insight, especially given the (IMO) rather fascinating fact that $\mathcal{O}_E$ is finitely generated as a $\mathbb{Z}$-module is an equivalent statement, and using the machinery of algebraic number theory, or some other extra structure, but I'm principally concerned with the more general theory if any exists or if just anything is known about this problem.

share|improve this question
3  
Silly examples anyone could eyeball, huh? What do you think about d = -4, m = 4? –  Qiaochu Yuan Nov 7 '10 at 21:41
1  
I thought I had a valid formalization of this problem, but I did not. How are we given k, how are we given E, and how are we given the alpha_i? –  Qiaochu Yuan Nov 8 '10 at 1:35
1  
This question doesn't seem well-posed to me. Qiaochu is trying to prod you towards stating it properly. What information are you given and in what format? What do you mean by "given $E=k(\alpha_1,\ldots\alpha_n)$"? –  Alex B. Nov 8 '10 at 2:39
1  
You want to talk of ideals, but how do you compute them without information on the extension? A (silly) answer using only ideals is to take prime ideals of k and count the number of prime ideals in E dividing it. The degree of the extension is a bound for such number and is obtained with a positive density (although if you want to factor an ideal you need information of your extension!). With the same idea you can compare the Z-functions of the fields to get the degree. –  A. Pacetti Nov 8 '10 at 13:59
7  
Adam, frankly, your unwillingness to think about the comments and to inspect your assumptions and your thinking critically is not only detrimental to your aim of getting a good answer (and more generally to doing mathematics), but is also getting frustrating for those who are trying to help. Surely, only a few seconds' thought would have revealed to you, that Qiaochu's example generalises in a way that you haven't ruled out: two linearly independent roots of $x^9−2$ can either generate a degree 18 or a degree 54 extension of Q, depending on whether they differ by a 3rd or a 9th root of 1. –  Alex B. Nov 9 '10 at 1:58
show 13 more comments

1 Answer

To put this one to rest, I will answer the more precise question that, after much prodding, we got Adam to formulate in the comments. I am merely paraphrasing a comment of Qiaochu.

If you are given the $\alpha_i$ as roots of irreducible polynomials, then the degree is not a function of the $\alpha_i$. Of course, when you adjoin only one root, the degree of the extension is just the degree of the minimal polynomial. But as soon as you adjoin two roots, you cannot recover the degree. Linear independence over the base field doesn't help either: let $k=\mathbb{Q}$, let $\alpha_1$, $\alpha_2$ be two distinct roots of $x^9-2$. Then they can generate $\mathbb{Q}(\sqrt[9]{2},\mu_3)$ or $\mathbb{Q}(\sqrt[9]{2},\mu_9)$ for some 9-th roots $\sqrt[9]{2}$ of 2, depending on whether $\alpha_1$ and $\alpha_2$ differ by a 3-rd or by a 9-th root of unity. Accordingly, the degree will be either 18 or 54. In either case, the roots will be linearly independent over $\mathbb{Q}$, so they satisfy your conditions.

Adjoining roots of distinct polynomials won't help either, since you can just take some other element of the top field whose minimal polynomial has some roots over the bottom field. Now, if instead you adjoin roots of polynomials, whose splitting fields are disjoint over the base field, then the degree is just the product of the degrees of the minimal polynomials.

share|improve this answer
    
But is it easy to calculate the polynomial? That was my original thought on the subject, but it didn't seem feasible to calculate in general. –  Adam Hughes Nov 9 '10 at 2:30
    
I was trying to be too general/ambitious in my original post it seems. That really hurt the communication of what I was really looking for, and I apologize for the frustration this has caused the patient posters. I've thought more about what I'm looking for, and I think it's this: Given $\{\alpha_i\}_{i=1}^n\subseteq\mathbb{C}$ which are $\mathbb{Q}$-linearly and algebraically independent, and for which each $\alpha_i$ is algebraic, can we recover $[E:\mathbb{Q}]$ for $E=\mathbb{Q}(\alpha_1,\ldots,\alpha_n)$ in an algorithmic [and efficient if possible] way? –  Adam Hughes Nov 9 '10 at 3:00
    
Adam, if $\alpha$ is given as an expression in radicals and field operations (as stated in a comment of yours) then it should be a mechanical procedure to find the minimal polynomial for $\alpha$, albeit a mechanical procedure best left to a machine. You multiply out $\prod(x-\sigma(\alpha))$, product over all conjugates of $\alpha$, then find irreducible factors of this polynomial, then see which has $\alpha$ as a zero. There are reasonably efficient algorithms for all these things, readily available. –  Gerry Myerson Nov 9 '10 at 3:03
2  
Adam, if the $\alpha_i$ are algebraic, then they aren't algebraically independent. More rethinking required, I think. –  Gerry Myerson Nov 9 '10 at 3:05
2  
@Adam: there are at least two problems with the reformulation in your last comment. First, as Gerry says, you can't possibly want the $\alpha_i$'s to be algebraically independent over $\mathbb{Q}$, for then $[E:\mathbb{Q}]$ is infinite. Second, you say "given" the set, but you don't specify how you're being given it. If it's being given in a reasonable way -- e.g., by minpolys for the $\alpha_i$'s together with enough approximate information to distinguish $\alpha_i$ from other roots of its minpoly, then sure, standard computer algebra packages already have such algorithms implemented. –  Pete L. Clark Nov 9 '10 at 3:35
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.