# The Ring extension isomorphic to the field extension

Let $\alpha$ be algebraic over $F$, with $F(\alpha)$ the smallest field containing both $F$ and $\alpha$, and with $F[\alpha]$ the smallest ring containing both $F$ and $\alpha$. I want to show $F(\alpha)=F[\alpha]$ which doesn't hold when $\alpha$ is transcendental (I think). The ring is clearly contained in the field, but given some $\sum a_k\alpha_k\in F(\alpha)$, I have no idea how to show it also exists in $F[\alpha]$.

Hint: All you have to prove is that, if α is algebraic over $F$, the $F[\alpha]$ is a field. Let $x=p(\alpha)\ne 0$. Consider multiplication by $x$ on $F[\alpha]$ and note 1) it is an $F$-linear map, 2) $F[\alpha]$ is a finite-dimensional $F$-vector space.
• oh, so you're saying if I define $T_x:a\mapsto ax$, then this map is bijective, hence must be 1 at some place? – serge hective Apr 7 '16 at 17:51