Prove that if $f$ is divisible by $h^2$ then h divides gcd(f,f')

30 Views Asked by At

Let $F$ be a field. For $f = a_0 + a_1x + ... + a_nx^n \in F[x]$, we consider the formal derivative: $f' = a_1 + 2a_2x + ... + n(a_n)^{n-1}$

Prove that if $f$ is divisible by $h^2$ then h divides gcd(f,f')

So, what I have achieved so far is the following:

Suppose $h^2|f$. Then, $f = qh^2 and f'=2hh'q + h^2q$.

Now, since $f = qh^2 and f'=h(2h'q + hq)$, we see that $h|f'$.

I'm not really sure where to go from here to show that $h|gcd(f,f')$

1

There are 1 best solutions below

1
On

''f′=2hh′q+h2q''.

Nope, its $f'=2hh'q + h^2q'$.


You are right, $h$ divides $f$ and $h$ divides $f'$. Thus by the definition of the gcd, $h$ divides the gcd of $f,f'$.