Intereting Posts

Inequality with Complex Numbers
Showing a Ring of endomorphisms is isomorphic to a Ring
How to find a generator of a cyclic group?
Existence of Standard Basis
History of Dual Spaces and Linear Functionals
How can the observed strategies* in this actual auction be explained?
How to find the value of $\sqrt{1\sqrt{2\sqrt{3 \cdots}}}$?
Understanding the subdifferential sum rule
measurability question with regard to a stochastic process
For which $x$ is $e^x$ rational? Transcendental?
Pontrjagin duality for profinite and torsion abelian groups
Partial Simplified Proof for the prime version of the Catalan Conjecture
Existence of non-commutative ordered ring
What is category theory useful for?
Group Operations/ Group Actions

I have seen this lemma given without proof in some articles (see example here), and I guess it is well known, but I couldn’t find an online reference for a proof.

It states like this:

Let $K$ be a field and $f,g \in K[x]$. Let $\alpha$ be a root of $f$ in the algebraic closure of $K$. Then $f \circ g$ is irreducible over $K$ if and only if $f$ is irreducible over $K$ and $g-\alpha$ is irreducible over $K(\alpha)$.

Can you please give a proof for this?

- Natural isomorphism between $\mathbb{C}\otimes_{\mathbb{R}}V$ and $V\oplus V.$
- Does Fermat's Little Theorem work on polynomials?
- How does Dummit and Foote's abstract algebra text compare to others?
- Show that order of $a^k$
- $A$ a ring, ($\exists n\in\mathbb{N},n\geq 2,\ \forall x\in A$, $x^n=x$) $\Rightarrow$ A is commutative?
- Computing $\operatorname{Tor}_1^R(R/I,R/J)$
- When does a polynomial in $GF$ have a multiplicative inverse?
- Show that $ a，b, \sqrt{a}+ \sqrt{b} \in\mathbb Q \implies \sqrt{a},\sqrt{b} \in\mathbb Q $
- Is $\mathbb{Z}\over \langle x+3\rangle$ field?
- Is $\mathbb{Z} \left$ euclidean?

Let $\theta$ be a root of $g-\alpha$. From $g(\theta)=\alpha$ we get that $f(g(\theta))=0$. Now all it is a matter of field extensions. Notice that $[K(\theta):K]\le \deg (f\circ g)=\deg f\deg g$, $[K(\theta):K(\alpha)]\le \deg(g-\alpha)$ $=$ $\deg g$ and $[K(\alpha):K]\le\deg f$. Each inequality becomes equality iff the corresponding polynomial is irreducible. But $[K(\theta):K]=[K(\theta):K(\alpha)][K(\alpha):K]$ and then $f\circ g$ is irreducible over $K$ iff $g -\alpha$ is irreducible over $K(\alpha)$ and $f$ is irreducible over $K$.

- Derangement of n elements
- Counting the (ordered) partitions of an integer into a fixed amount of parts
- How to derive the proximal operator of the Euclidian norm?
- Number of elements of order $7$ in a group
- Product of two Gaussian PDFs is a Gaussain PDF, but Produt of two Gaussan Variables is not Gaussian
- How find this $\sum_{n=1}^{\infty}\frac{(-1)^{n-1}\zeta_{n}(3)}{n}=?$
- To create a special matrix !!
- The group of invertible fractional ideals of a Noetherian domain of dimension 1
- Pigeonhole Principle Question: Jessica the Combinatorics Student
- Let X be a subspace of $\mathbb R^2$ consisting of points that at least one is rational. Prove that X is path-connected.
- On the integral $\int_0^1\frac{dx}{\sqrtx\ \sqrt{1-x}\ \sqrt{1-x\,\beta^2}}=\frac{2\pi}{7\sqrt{2}\,\beta}$ and $\cos\frac{2\pi}{7}$
- associative and commutative F-algebra with basis
- Complex and Kähler-manifolds
- Convolution Theorem and Marginal Density Intuition.
- $T(1) = 1 , T(n) = 2T(n/2) + n^3$? Divide and conquer