Skip to main content
added 17 characters in body
Source Link
KConrad
  • 50.6k
  • 9
  • 196
  • 277

If $L/K$ is a Galois extension, then any prime $\mathfrak{p}$ of $K$ splits into a product $\beta_1^e\cdots\beta_g^e$${\mathfrak P}_1^e\cdots {\mathfrak P}_g^e$ of primes in $L$, and the exponents on the primes are equal since the Galois group acts transitively on the primes dividing $\mathfrak{p}$.

Question: Is the converse true? Namely, if $L/K$ is an extension such that every prime of $K$ has a single associated exponent in this manner, then is $L/K$ necessarily Galois?

I believe the answer is yes but I was wondering in particular if there was an easy way to see this.

If $L/K$ is a Galois extension, then any prime $\mathfrak{p}$ of $K$ splits into a product $\beta_1^e\cdots\beta_g^e$ of primes in $L$, and the exponents on the primes are equal since the Galois group acts transitively on the primes dividing $\mathfrak{p}$.

Question: Is the converse true? Namely, if $L/K$ is an extension such that every prime of $K$ has a single associated exponent in this manner, then is $L/K$ necessarily Galois?

I believe the answer is yes but I was wondering in particular if there was an easy way to see this.

If $L/K$ is a Galois extension, then any prime $\mathfrak{p}$ of $K$ splits into a product ${\mathfrak P}_1^e\cdots {\mathfrak P}_g^e$ of primes in $L$, and the exponents on the primes are equal since the Galois group acts transitively on the primes dividing $\mathfrak{p}$.

Question: Is the converse true? Namely, if $L/K$ is an extension such that every prime of $K$ has a single associated exponent in this manner, then is $L/K$ necessarily Galois?

I believe the answer is yes but I was wondering in particular if there was an easy way to see this.

Source Link
Jon Cohen
  • 1.3k
  • 10
  • 16

Proof of a Simple Converse in Algebraic Number Theory

If $L/K$ is a Galois extension, then any prime $\mathfrak{p}$ of $K$ splits into a product $\beta_1^e\cdots\beta_g^e$ of primes in $L$, and the exponents on the primes are equal since the Galois group acts transitively on the primes dividing $\mathfrak{p}$.

Question: Is the converse true? Namely, if $L/K$ is an extension such that every prime of $K$ has a single associated exponent in this manner, then is $L/K$ necessarily Galois?

I believe the answer is yes but I was wondering in particular if there was an easy way to see this.