Intereting Posts

Proof that the largest eigenvalue of a stochastic matrix is 1
Is there a function that is contiunous at all the rationals, and discontinuous at all the irrationals?
Why does the absolute value disappear when taking $e^{\ln|x|}$
Beginner material for mathematical logic
An example that the supremum of a family of measurable functions need not to be measurable.
How to proof card p(a) = card p(b)?
How did we know to invent homological algebra?
Solve the given differential equation by using Green's function method
Measurability of the inverse of a measurable function
Fast square roots
Cancellation problem: $R\not\cong S$ but $R\cong S$ (Danielewski surfaces)
Closure of open set in a dense subspace of topological space.
Continuous Function
$|px^2+qx+r|\le1$ for all $x$ in $$, show that $|rx^2+qx+p|\le2$ for all $x$ in $$
Question regarding isomorphisms in low rank Lie algebras

I have $L/K$ a finite field extension and an irreducible polynomial which has two roots in $L$, $\alpha$ and $\beta$. I’m trying to show there is an automorphism of $L$ that fixes $K$ and switches $\alpha$ and $\beta$.

My thoughts so far are to use the fact that the inclusion $K \to L$ can be extended to an isomorphism $K(\alpha) \to K(\beta)$. Now I know that $L$ is normal, so it is the splitting field of some polynomial. I would like to show that $L$ is the splitting field of $f$ considered as a polynomial in say $K(\alpha)$ and then the theorem on uniqueness of splitting fields we would have that the isomorphism $K(\alpha)$ to $K(\beta)$ would then extend to an automorphism of $L$. However I am having trouble showing that $L$ is the splitting field.

I know certainly that $f \in K(\alpha)[x]$ splits in $L$ but I’m not sure how to see there is no intermediate field between $K(\alpha)$ and $L$ where $f$ might split.

- Writing a fixed field as a simple extension of $\mathbb{Q}$
- Galois group of the splitting field of the polynomial $x^5 - 2$ over $\mathbb Q$
- Every finite group is isomorphic to some Galois group for some finite normal extension of some field.
- Is it possible for an irreducible polynomial with rational coefficients to have three zeros in an arithmetic progression?
- Inverse Limits in Galois Theory
- Trace and Norm of a separable extension.

I’m aware that the splitting fields of f over $K(\alpha)$ and $K(\beta)$ are unique, but I’m then unsure how to extend that isomorphism to an automorphism of L

Thanks

- Computing $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$
- Reading the mind of Prof. John Coates (motive behind his statement)
- Exercises on Galois Theory
- On solvable octic trinomials like $x^8-5x-5=0$
- Finding a quartic polynomial in $\mathbb{Q}$ with four real roots such that Galois group is ${S_4}$.
- Is there a field extension $K / \Bbb Q$ such that $\text{Aut}_{\Bbb Q}(K) \cong \Bbb Z$?
- How to show that a prime degree separable field extension containing a nontrivial conjugate of a primitive element is Galois and cyclic
- Show that every finite extension of $F$ is cyclic.
- a property of the radical closure of a field
- Galois groups of polynomials and explicit equations for the roots

Let’s see the general case. Then your question follows as a Corollary.

First consider a isomorphism $$\sigma: K \to K’$$

Now write $h(x) = \sum_{j=0}^{n} a_j X^j$ irreducible in $K[X]$. If $\alpha$ is a root of $h$ and $\beta$ a root of $h^{\sigma}(x) = \sum_{j=0}^{n} \sigma(a_j) X^j$, then there exists $\hat{\sigma}: K[\alpha] \to K'[\beta]$. In fact,

Take the following isomorphism

$$\begin{align} \hat{\sigma}:K[\alpha] &\to K'[\beta]\\ \sum_{j=0}^{n} x_j \alpha^j&\mapsto\sum_{j=0}^{n} \sigma(x_j) \beta^j \end{align}$$

it is well-defined and the only isomorphism such that $\hat{\sigma}|_K = \sigma$ and $\hat{\sigma}(\alpha) = \beta $.

Now if $f = f_{1}^{e_1}f_{2}^{e_2}\ldots f_{k}^{e_k}$ where $f_{j} \in K[X]$ are distinct and irreducible in $K[X]$ and $\alpha_1, \ldots , \alpha _ k$ arre all distinct roots of $f$, then $$f^{\sigma} = (f_{1}^{\sigma})^{e_1}\ldots (f^{\sigma}_{k})^{e_k}$$

where $f^{\sigma} \in K'[X]$ are distinct and irreducible in $K'[X]$.

The number $r$ of roots of $f$ is the sum of the degrees of $f_1,…,f_k$ then it is the number of roots of $f^{\sigma}$.

If we write $K_{1} = K[\alpha_1], K_{2} = K[\alpha_2], \ldots , K_{r} = K[\alpha_r] = L(f,K)$ then you apply the result above to each extension $K_j[\alpha_{j+1}]/K_j$ to get

$$\hat{\sigma}: L(f,K) \to L(f^{\sigma}, K’)$$

such that $\hat{\sigma}|_K = \sigma$ and $\sigma(\alpha_j), j = 1,…,r$ are the roots of $f^{\sigma}$.

- Evaluating $\int_0^{\infty} {\frac{\sin{x}\sin{2x}\sin{3x}\cdots\sin{nx}\sin{n^2x}}{x^{n+1}}}\ dx$
- Showing that rationals have Lebesgue measure zero.
- Formula for trace of compact operators on $L^2(\mathbb{R})$ given by integral kernels?
- Automorphism group of an abelian group
- evaluate the last digit of $7^{7^{7^{7^{7}}}}$
- Diagonal $\Delta = \{x \times x : x \in X \}$ closed in $X \times X$ implies that $X$ is Hausdorff
- How to find the minimum value of $|5^{4m+3}-n^2 |$
- $\lim_{p\rightarrow\infty}||x||_p = ||x||_\infty$ given $||x||_\infty = max(|x_1|,|x_2|)$
- If a relation is symmetric and transitive, will it be reflexive?
- Not lifting your pen on the $n\times n$ grid
- A one-to-one function from a finite set to itself is onto – how to prove by induction?
- Variation of the Kempner series – convergence of series $\sum\frac{1}{n}$ where $9$ is not a digit of $1/n$.
- Structure of ideals in the product of two rings
- In classical logic, why is $(p\Rightarrow q)$ True if both $p$ and $q$ are False?
- Non isomorphic groups who product with Z is isomorphic