1
$\begingroup$

Let $K\subset \mathbb{C}$ be a subfield, and $q$ a prime number. Suppose, for all field extension $L/K$ with finite degree, $q|[L:K] $. Then, for all finite extension $L$, there exists $r\in \mathbb{N} \cup \{0\}$ s.t., $[L:K]=q^r$.

If there exists $L$ with $[L:K]=nq^r,\;(q\not \mid n)$, its Galois closure is finite extension. So, I can prove by contradiction when Galois group is abelian, since structure theorem of finite abelian group. But I can't prove general case.

$\endgroup$
4
  • $\begingroup$ What is the difference between $\Bbb N$ and $\Bbb N\cup\{0\}$ ? $\endgroup$
    – Bernard
    Commented May 26, 2018 at 13:22
  • 1
    $\begingroup$ $0 \not \in \mathbb{N}$ Of course,if $[L:K]=1$, $K=L$. $\endgroup$
    – J.smith
    Commented May 26, 2018 at 13:28
  • $\begingroup$ But $\Bbb N$ has a zero element! See Peano's axioms. $\endgroup$
    – Bernard
    Commented May 26, 2018 at 13:58
  • 1
    $\begingroup$ It depends on definition. And, $0\not \in \mathbb{N}$ according to original Peano's paper.archive.org/details/arithmeticespri00peangoog $\endgroup$
    – J.smith
    Commented May 26, 2018 at 14:10

1 Answer 1

1
$\begingroup$

If there exists $L$ with $[L:K] = nq^r$, then its Galois closure $L'$ is a finite extension and $[L':K] = n'q^{r'}$ for some $n'$ and $r'$ with $q \nmid n'$ (and of course, $n| n'$ and $r' \geq 0$). The Galois group $Gal(L' : K)$ is of order $n'q^{r'}$.

By Sylow's theorems, $Gal(L':K)$ has a subgroup of order $q^{r'}$. This subgroup corresponds to an intermediate field $E$ (with $L' \supset E \supset K$) such that $[L' : E] = q^{r'}$. But then, $[E : K] = n'$, contradicting the assumption that $q | [E : K]$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .