Field extensions and minimal polynomials

Question

Let $L/K$ be a field extension and $\alpha,\beta \in L$. Let $f\in K[X]$ be the minimal polynomial of $\alpha$ and $g\in K[X]$ be the minimal polynomial of $\beta$

Show the following:

$$f \text{ is irreducible over } K[\beta] \iff g \text{ is irreducible over } K[\alpha]$$

I actually don't know how to start here, so I will be thankful for any kind of help :)

Answer 1

Suppose $f(x)$ is irreducible in $K(\beta)[x]$. We claim that $f(x)$ is the minimal polynomial of $\alpha$ over $K(\beta)$. For clearly $f(\alpha)=0$. Therefore, the minimal polynomial of $\alpha$ over $K(\beta)$ divides $f(x)$. Since $f(x)$ is irreducible over $K(\beta)$, the claim follows.

Thus $[K(\beta,\alpha):K(\beta)]=\deg f$. This gives $[K(\beta,\alpha):K(\beta)][K(\beta):K]=\deg f\deg g$, and thus $[K(\alpha,\beta):K]=\deg f\deg g$.

Frome here we get $[K(\alpha,\beta):K(\alpha)][K(\alpha):K]=\deg f\deg g$.

But $[K(\alpha):K]=\deg f$.

Thus $[K(\alpha,\beta):K(\alpha)]=\deg g$.

Since $\beta$ satisfies $g(x)\in K(\alpha)[x]$, we must have that the minimal polynomial of $\beta$ over $K(\alpha)$ is $g(x)$.

The other direction is symmetrical.