# Intermediate ring between a field and an algebraic extension.

This is an exercise in some textbooks.

Let $E$ be an algebraic extension of $F$. Suppose $R$ is ring that contains $F$ and is contained in $E$. Prove that $R$ is a field.

The trouble is really with the inverse of $r$, where $r\in R$. How to prove that $r^{-1}\in R$, in apparent lack of a characterization of $R$.

It occurred to me to use the smallest field containing $R$ ($R$ is easily shown to be an integral domain), that's the field of quotients, and proving that it's $R$ itself, but I don't really know how to proceed.

A not-too-weak, not-too-strong hint will be much appreciated.

Beware  Readers seeking only hints should beware that there is now a complete answer.

• Consider the case where $E/F$ is finite and think about $R$ an $F$ vector space and multiplication by $r$ as an endomorphism of $R$. Show that this map is surjective. Hint: Think about dimension. – jspecter Jun 9 '11 at 17:35
• F extends E but R contains F and is contained in E? Are you sure it's not a typo? – Gadi A Jun 9 '11 at 17:36
• You mean: Let $E$ be an algebraic extension of $F$. – lhf Jun 9 '11 at 17:47
• @lhf, Gadi: thanks. Corrected. – Weltschmerz Jun 9 '11 at 17:49
• Yes. But you only care about one element of $R$ at a time and any such element is contained in a finite extension of $F.$ Replace $E$ by this extension and $R$ by the intersection of $R$ and $E$ – jspecter Jun 11 '11 at 4:46

Well, you know that $R$ is contained in an algebraic extension of $F$, so you should use it somehow. It directly implies that there is a polynomial (of minimal degree, say) with coefficients in $F$ which annihilates $r$. Can you manufacture an inverse for $r$ using this polynomial?

• Hi, I am a bit confused about the statement that "there is a polynomial (of minimal degree, say) with coefficients in $F$ which annihilates $r$". We know that for every $f \in F$, there is a unique monic, irreducible polynomial in $E[x]$ with $f$ being its root. But how does this imply that for every $e \in E$, there is a polynomial in $F[x]$ with $e$ being a root? Couldn't it be the case that it does not take all elements in $E$ to make every $f \in F$ a root of some polynomial? Thanks a lot! – mkmlp Jul 22 '18 at 16:13
• @michaelshiyu I'm not sure I understand your question. What you phrased in your question is exactly the definition of an algebraic field extension. The other claim - that an element $f$ of $F$ is the root of a polynomial in $F[x]$ (or $E[x]$) - is trivial: $x-f$ is such a polynomial. – Mark Jul 22 '18 at 19:18
• sorry for being vague, I meant to ask why is every element in $E$ (instead of $F$) a root of a polynomial in $F[x]$? I understand that by the definition of algebraic extension, every element in $F$ is a root for some polynomial in $E[x]$, and I also understand that that polynomial can be viewed as a polynomial of some element in $E$ with coefficients in $F$. So, some elements in $E$ are roots of some polynomials in $F[x]$, but why is this true for every element in $E$? Hope this question makes sense now. Thanks. – mkmlp Jul 22 '18 at 20:21
• Because, as I said, this is exactly the definition of $E$ being an algebraic extension of $F$. – Mark Jul 22 '18 at 22:10
• Got it, thanks a lot! – mkmlp Jul 22 '18 at 22:18

Let $F\subseteq R\subseteq E$, with $E$ algebraic over $F$, $R$ a ring.

As you note, the key is to show that any nonzero element of $r$ has an inverse in $R$.

So let $r\in R$, $r\neq 0$. Since $R\subseteq E$, then $r$ is algebraic over $F$. Therefore, there is a monic irreducible polynomial $p(x)$ with coefficients in $E$ with $p(r)=0$. Write $$p(x) = x^n + a_{n-1}x^{n-1}+\cdots + a_1x + a_0.$$ Note that $a_0\neq 0$, since we are taking $p(x)$ to be the monic irreducible. We have \begin{align*} p(r) &= 0\\ r^n + a_{n-1}r^{n-1}+\cdots + a_1r + a_0 & = 0\\ r^n + a_{n-1}r^{n-1}+\cdots +a_1r &= -a_0\\ r(r^{n-1}+a_{n-1}r^{n-2}+\cdots + a_1) &= -a_0\\ r\left(-\frac{1}{a_0}\right)(r^{n-1}+a_{n-1}r^{n-2}+\cdots + a_1) &= 1. \end{align*}

• Arturo: the OP asked for a "not-too-weak, not-too-strong hint". (To my taste this was what @Mark Schwarzmann provided.) But what you've written looks like a complete answer... – Pete L. Clark Jun 9 '11 at 18:52
• @Pete: Yeah, you're right. Missed that in the post. I should really read more carefully even if I'm late for lunch. – Arturo Magidin Jun 9 '11 at 18:53
• For the record, this post had been (self-)deleted shortly after posting to comply with the request for hints only in the question. It was undeleted, by three users including me, around the writing of this comment, as the concern seemed by now obsolete. (The motivation for the self-deletion was recorded in two comments, one by the answerer, which may not be visible in the future anymore; they are visible at the time of writing the comment.) – quid Aug 19 '16 at 14:18
• There is some meta discussion on this overruling of author self-deletion, hints, etc. – Bill Dubuque Aug 19 '16 at 14:40

Hint $$\$$ Read off an inverse of $$\rm\:r \ne 0\:$$ from a minimal polynomial $$\rm\:f(x)\in F[x]\:$$ of $$\rm\:r\:$$ over $$\rm\:F,\,$$ e.g. $$\rm\,ax^2+bx = c \,\Rightarrow\, x\,(ax+b)/c = 1,\,$$ where $$\rm\,c\neq 0\,$$ by minimality (else we could cancel $$\rm x)$$

Note: this is a special case of using the Euclidean algorithm to compute inverses via the Bezout identity, viz. $$\rm\: (x,f(x)) = 1\ \Rightarrow\ a(x)\ x + b(x)\ f(x) = 1\$$ so $$\rm\: a(r)\ r = 1\$$ by evaluating at $$\rm\:x = r.\:$$

This can be viewed as generalization of rationalizing denominators in low-degree extensions, i.e. one may compute an inverse of $$\rm\:r\:$$ by "rationalizing" (to $$\rm\:F)\,$$ the denominator of $$\rm\:1/r\:$$ (which can also be done using norms, resultants, etc). See here for much further discussion.

• @Bill: I don't really get that. Could you please point me to where the tool you mention is explained? Thank you. – Weltschmerz Jun 10 '11 at 19:05
• @Wel I'm happy to elaborate if you tell me which part you'd like explained further. – Bill Dubuque Jun 10 '11 at 20:31
• @Bill: I understand that the problem is writing $r^{-1}$ in terms of an expression involving powers of $r$ and elements of $F$. I don't know about the identity you mention and the notation therein, or about rationalizing to F the denominator of $1/r$. A small example would be enough, I'll try to work on the general case. Thanks. – Weltschmerz Jun 10 '11 at 21:16
• @Wel To elaborate on those points requires giving the complete solution hinted in the first sentence. Since you said you desired only a hint, is it ok to do such? – Bill Dubuque Jun 10 '11 at 21:26
• @Bill: alright, I'll keep thinking about it. If I don't solve it I shall bother you again :) Thanks. – Weltschmerz Jun 10 '11 at 21:29