Intereting Posts

Largest Triangular Number less than a Given Natural Number
Books on theorems of Basic set theory after Logic…?
Is gcd the right adjoint of something?
Cohomology groups of a homotopy fiber
Show that $\sum\limits_{k=0}^n\binom{2n}{2k}^{\!2}-\sum\limits_{k=0}^{n-1}\binom{2n}{2k+1}^{\!2}=(-1)^n\binom{2n}{n}$
For a graph $G$, why should one expect the ratio $\text{ex} (n;G)/ \binom n2$ to converge?
Find a closed form of the series $\sum_{n=0}^{\infty} n^2x^n$
What is the order of the sum of log x?
Is every function with the intermediate value property a derivative?
When is the derived category abelian?
Integers that satisfy $a^3= b^2 + 4$
Polynomial $P(a)=b,P(b)=c,P(c)=a$
Probability of 20 consecutive success in 100 runs.
Riemann integrable function
Percentage of primes among the natural numbers

If $L_i/K$ are Galois extensions of number fields, $i=1,\ldots,n$, and $L=L_1\cdots L_n$ is the compositum. Then it’s true that a prime $\mathfrak{p}$ of $K$ splits in $L$ if and only if it splits in all of $L_i$. Does this also hold if the $L_i$ are not Galois extensions of $K$?

The proof that I know regarding the compositum uses the fact that the $L_i/K$ are Galois, so is this true in the more general setting and how would one prove it?

- Estimate number of solutions in the Roth's theorem
- Given $h(\mathcal{O}_{\mathbb{Q}(\sqrt{d})}) = 1$, what is the longest possible run of inert primes in that ring?
- Computing class group of $\mathbb Q(\sqrt{6})$
- What is the minimum polynomial of $x = \sqrt{2}+\sqrt{3}+\sqrt{4}+\sqrt{6} = \cot (7.5^\circ)$?
- Multidimensional Hensel lifting
- Can the sum of the first $n$ squares be a cube?

- Sums of roots of unity
- Is there an efficient algorithm to compute a minimal polynomial for the root of a polynomial with algebraic coefficients?
- What is the Euclidean function for $\mathbb{Z}$?
- Relationship between Cyclotomic and Quadratic fields
- Convert from Nested Square Roots to Sum of Square Roots
- “Prime decomposition of $\infty$”
- Finding the ring of integers of $\mathbb Q$ with $\alpha^5=2\alpha+2$.
- The form $xy+5=a(x+y)$ and its solutions with $x,y$ prime
- Splitting of prime ideals in algebraic extensions
- $\mathbb{Q}(i)$ has no unramified extensions

This holds always. QiL posted a local solution, and explained that one direction is trivial. For the other direction I would argue as follows using basic facts about the decomposition groups. Let $E/K$ be a normal closure of $L/K$, and write $G=Gal(E/K)$, $G_i=Gal(E/L_i)\le G$ and $H=Gal(E/L)$. Let $\mathfrak{P}$ be any prime ideal of $E$ above $\mathfrak{p}$, and let

$$D=D(\mathfrak{P}/\mathfrak{p})

=\{\sigma\in G\mid \sigma(\mathfrak{P})=\mathfrak{P}\}\le G$$

be the decomposition group. It is known that if $M$ is any intermediate field, and $\mathfrak{p}_M=\mathfrak{P}\cap M$, then

$e(\mathfrak{p}_M\mid\mathfrak{p})=f(\mathfrak{p}_M\mid\mathfrak{p})=1$ if and only if

$M$ is contained in the decomposition field $Inv(D)$, or equivalently $D\le Gal(E/M)$.

By our assumption this is true, whenever $M$ is one of the fields $L_i$. Therefore $D\le G_i$

for all $i$. Thus also $D\le H=\cap_i G_i$. Applying the above result in the opposite direction tells us then that for the prime ideal $\mathfrak{p}'=\mathfrak{P}\cap L$ we have $e(\mathfrak{p}'\mid\mathfrak{p})=f(\mathfrak{p}'\mid\mathfrak{p})=1$. All the prime

ideals $\mathfrak{p}'$ of $L$ above $\mathfrak{p}$ are gotten in this way, so the claim follows.

With basic facts about decomposition groups in place this is more or less a tautology, so I don’t know, if this answer is useful 🙁

It is true in general. A trivial direction is if $\mathfrak p$ splits in $L/K$, then it splits in any sub-extension because the spliting means unramified and no residue extensions. In particular $\mathfrak p$ splits in all $L_i$’s.

Suppose now that $\mathfrak p$ splits in all $L_i$. Without lose of generalities, we can suppose $n=2$. As the problem is local at $\mathfrak p$, we can localize and suppose $K$ is a discrete valuation field (you can stick to number fields if you prefer). Denote by $O_K$ the valuation ring of $K$ and by $O_{L_i}$ the integral closure of $O_K$ in $L_i$. Let $\pi$ be a uniformizing element of $O_K$. By hypothesis $O_{L_i}/(\pi)$ is a direct sum of copies of $k$, the residue field of $K$.

Consider the tensor product $A=O_{L_1}\otimes O_{L_2}$ over $O_K$. Its generic fiber $A\otimes K$ is $L_1\otimes_K L_2$ and is reduced because $L_i/K$ is separable. And $A/\pi A=O_{L_1}/(\pi) \otimes_k O_{L_2}/(\pi)$ is a direct sum of copies of $k$.

I claim that $O_L$ is a quotient of $A$. This will imply that $O_L/(\pi)$ is a direct sum of copies of $k$ hence $\mathfrak p$ splits in $L$.

Proof of the claim. Consider the canonical map

$$f : A\otimes K=L_1\otimes L_2\to L, \quad x_1\otimes x_2\mapsto x_1x_2.$$

The image $f(A)$ is a subring of $L$, finite over $O_K$ because $A$ is finite over $O_K$. Hence $f(A)\subseteq O_L$. Moreover $f(A)/(\pi)$ is a quotient of $A/\pi A$, so it is a direct sum of copies of $k$. In particular $O_K$ is unramified in $f(A)$, so $f(A)$ is regular hence equal to $O_L$.

If I understand the question correctly the answer should be no.

Using magma I verified the following facts:

$(5)$ splits in the splitting field of $x^3-2$ over $\mathbb{Q}$ (it is the product of 3 distinct prime ideals) but it is inert in $\mathbb{Q}(\zeta_3)$. Since $split(x^3-2)=\mathbb{Q}(\sqrt[3]{2}) \mathbb{Q}(\zeta_3)$ where $\mathbb{Q}(\sqrt[3]{2})$ is not a Galois-extension this should yield a counterexample.

Edit: After thinking a bit about the question I realized you probably meant “splits completely”. So far I have not been able to construct a counterexample for this case

.

A simple way to see this is that if p splits completely in an extension then it splits completely in the normal closure of that extension. The result then follows easily.

- Counting two ways, $\sum \binom{n}{k} \binom{m}{n-k} = \binom{n+m}{n}$
- Why is it that a linear transformation can only preserve or reduce a vector space's dimension?
- On nonintersecting loxodromes
- Fixed point combinator (Y) and fixed point equation
- Find the value of $\int \left(\frac{3x^2-9x+1}{3x^3-3x+3}\right)^2dx$
- Abelianization of free group is the free abelian group
- Visualizing Lie groups.
- Is there an uncountable proper sub-field of $\mathbf{R}$?
- How do you prove this very different method for evaluating $\sum_{k=1}^nk^p$
- Are these two spaces homotopy equivalent?
- Confusion on how to solve this question about sequences.
- proof of l'Hôpital's rule
- Multiplicity of eigenvalues
- Does the frontier of an open set have measure zero (in $\mathbb{R}^n$)?
- $\text{Aut}(F)$ is isomorphic to the multiplicative group of all $n\times n$ matrices over $\mathbb Z$