0
$\begingroup$

Theorem Let $p(x)$ be an irreducible polynomial in $F[x]$ and let $u$ be a root of $p(x)$ in an extension $E$ of $F$. Then if the degree of $p(x)$ is $n$, the set $(1,u,\ldots,u^{n-1})$ forms a basis of $F(u)$ over $F$.

What I did:

Note that $F(u)$ is by definition the smallest subfield of $E$ generated by $F$ and $u$. I proved that $F(u) = F[u]$ and I tried to prove the theorem, I found weird because since $F[u]$ is by definition the set $b_0+b_1u+\cdots+b_mu^m\in E$ such that $b_0+b_1x+\cdots+b_mx^m \in F[x]$ the basis should be $(1,u,\ldots,u^{n-1},u^n)$ with $n$ elements. where am I wrong? I need help.

Thanks

  • 0
    Related: https://math.stackexchange.com/questions/1996942017-01-07

1 Answers 1

2

By definition, $F[u]$ is the set of all $f(u)$ with $f\in F[X]$. Note that $f$ may have arbitrarily high degree. But modulo $p(X)$, you can transport everything to degree $. Thus at least $(1, u, \ldots, u^{n-1})$ is a generating system of $F[u]$. Remains to show that they are linearly independent. But what would a linear dependence imply?

  • 1
    @user42912: If $f$ is a polynomial, division with remainder lets you write $f(X)=q(X)\cdot p(X)+r(X)$ with \deg r<\deg p. Then $p(u)=0$ implies $f(u)=r(u)$ and $r(u)$ is a linear combination of $1,\ldots, u^{n-1}$.2012-10-22