- #1
rachellcb
- 10
- 0
Homework Statement
Let [itex]K \subseteq L[/itex] be fields. Let [itex]f[/itex], [itex]g \in K[x][/itex] and [itex]h[/itex] a gcd of [itex]f[/itex] and [itex]g[/itex] in [itex]L[x][/itex].
To show: if [itex]h[/itex] is monic then [itex]h \in K[x][/itex].
The Attempt at a Solution
Assume [itex]h[/itex] is monic.
Know that: [itex]h = xf + yg[/itex] for some [itex]x[/itex], [itex]y \in K[x][/itex].
So the ideal generated by [itex]h[/itex], [itex](h)[/itex] in [itex]L[x][/itex] equals the ideal [itex](f,g)[/itex] in [itex]L[x][/itex]. Also, since [itex]K[x][/itex] is a principal ideal domain, [itex](f,g)=(d)[/itex] in [itex]K[x][/itex] for some [itex]d \in K[x][/itex], so [itex]d = af + bg[/itex] for some [itex]a[/itex], [itex]b \in K[x][/itex]. So [itex]d[/itex] is a gcd of [itex]f[/itex] and [itex]g[/itex] in [itex]K[x][/itex].
Now I'm not sure where to go... I know that [itex]h[/itex] is monic and therefore the unique monic gcd of [itex]f[/itex] and [itex]g[/itex] in [itex]L[x][/itex], but not sure how this is useful. Do I need to show that [itex]h = d [/itex]? How can I use the monic assumption to show this?
Thanks!