The galois-theory tag has no wiki summary.

**1**

vote

**0**answers

177 views

### Decomposing anticyclotomic characters

Suppose $K/\mathbf{Q}$ is an imaginary quadratic field and $\chi$ is a finite-order character of $G_K=\mathrm{Gal}(\overline{K}/K)$ which is anticyclotomic, i.e. $\chi^{\sigma}:=\chi(\sigma g ...

**1**

vote

**1**answer

159 views

### Behaviour of Primes under Regular Coefficient Extensions

Let $K\hookrightarrow K'$ be a regular extension of fields, and $K[x_{1},\cdots,x_{n}]\hookrightarrow K'[x_{1},\cdots,x_{n}]$ the corresponding ring extension. Does every prime ideal of the first ring ...

**9**

votes

**2**answers

1k views

### Solvability in differential Galois theory

It is well known that the function $f(x) = e^{-x^2}$ has no elementary anti-derivative.
The proof I know goes as follows:
Let $F = \mathbb{C}(X)$. Let $F \subseteq E$ be the Picard-Vessiot extension ...

**6**

votes

**2**answers

534 views

### Polynomial with Galois Group $D_{2n}$

How does one construct a polynomial with Galois Group $D_{2n}$? A general method would be preferable or if that's impractical then an example of it being done for any n would be appreciated.
Thanks!

**17**

votes

**1**answer

1k views

### The Galois group of a random polynomial

Intuitively, the Galois group (of a splitting field over $\mathbb Q$ of) a polynomial $f\in\mathbb Q[X]$ taken at random is most probably the full permutation group on the roots of $f$. This intuition ...

**6**

votes

**3**answers

630 views

### Branch locus of the Galois closure of a Belyi morphism

A morphism of curves is said to be Galois if the corresponding extension of function fields is Galois.
Let $f:X\longrightarrow Y$ be a finite morphism of smooth projective connected curves over ...

**6**

votes

**0**answers

201 views

### Involution on sextic polynomials?

The strangeness of $Aut(S_{6})$ suggests the following question:
Let $a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}$ be the zeros of a 6th degree polynomial $P$ over a field $F$.
Let ...

**1**

vote

**1**answer

215 views

### Image of spliting of short exact sequence of algebraic fundamental groups

If we have a variety X , over a field k, and x is a geometric point of X, and let $\bar x $be a geometric point of $X_{k^s} := X \times_k k^s $above x then we have the following short exact sequence:
...

**3**

votes

**2**answers

328 views

### Rank of sum of Galois conjugates of a matrix

Given an invertible square matrix $M$ with entries from some number field $K$ which is Galois over $\mathbb{Q}$, sum the Galois conjugates of $M$ to form a new matrix $M' = \Sigma_{\sigma \in ...

**2**

votes

**1**answer

370 views

### Hurewicz theorem related to Galois group (or Tannakian categories)?

Is there a proof of the Hurewicz theorem $\pi_1(X)^{ab} = H_1(X, \mathbf Z)$ ($X$ a connected topological space) expressing $\pi_1(X)$ as the "Galois" group of $X$, i.e., group of deck transformations ...

**4**

votes

**2**answers

1k views

### Image of norm map for local field

Let $F$ be a finite extension of $Q_2$ (2-adic field) or $F_2((x))$ (function field). Let $E/F$ be a separable extension of degree $2$.
What is the image of the norm map $N_{E/F}$?
In particular - ...

**7**

votes

**3**answers

1k views

### Infinite simple Galois groups

Conjecturally, every finite group is the Galois group of some extension of the rationals.
This question made me wonder what is known about infinite
simple groups occurring as Galois groups.
What ...

**9**

votes

**2**answers

432 views

### Which polynomials arise as formulas for a conjugate

For any integer $r \geq 2$, et $V_r$ be the set of polynomials $Q \in {\mathbb Q}[X]$ of degree $r-1$ such that there is an algebraic number $\alpha$ of degree $r$ , such that
$Q(\alpha)$ is a ...

**7**

votes

**1**answer

352 views

### Is H^2(W_p,C^times) well-known?

Let $W_p$ be the Weil group of $\mathbf{Q}_p$. What is the Galois cohomology group $H^2(W_p,\mathbf{C}^{\times} )$ (with trivial action)? Is it zero, or something huge and complicated?
(This group ...

**7**

votes

**2**answers

2k views

### What are Galois Categories used for?

Galois categories are introduced (for the first time?) in SGA1, but here's an English introduction that's available online: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Lynn.pdf
It ...

**5**

votes

**2**answers

375 views

### What is an example of a regular realization of $C_5$ over $\mathbb{Q}(x)$?

It's known that all abelian groups are regularly realizable over $\mathbb{Q}(x)$, but it occurred to me that I don't even have an example of a cyclic regular extension of $\mathbb{Q}(x)$ handy.
So: ...

**13**

votes

**0**answers

457 views

### Noether-Deuring for injections and surjections?

Noether-Deuring theorem (not in the strongest form, but in the one I usually need):
Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over ...

**2**

votes

**0**answers

461 views

### Decomposition group vs Galois group of completed extension for height > 1 primes

Assume
Let $R$ be a Noetherian normal excellent domain, $F$ its field of fractions.
Let $S$ be a finite $R$-algebra, $L$ its field of fractions.
$L/F$ a (finite) Galois extension
$S$ normal in $L$
...

**5**

votes

**1**answer

299 views

### How many algebraic integers exist with degree $\leq k$ and bounds on the modulus of all Galois conjugates?

The precise question is the following:
Question: Can one reasonably bound the number of algebraic integers $\alpha$ of degree at most $k$ - that means there exists a monic integer polynomial $p$ ...

**4**

votes

**2**answers

895 views

### Cyclotomic extensions with split Galois group

$\newcommand{\Gal}{\mathrm{Gal}} \newcommand{\Q}{\mathbf Q}$
Consider the set of all Galois extensions $E/\Q(\zeta_n)$ of a given cyclotomic field $\Q(\zeta_n)$ such that
$$
\Gal(E/\Q) ...

**2**

votes

**0**answers

354 views

### What do you call an algebraic element with the property that the generated field extension is normal?

Let $L/K$ be a field extension. Let $\alpha \in L$ be algebraic over $K$. Is there an established terminology for the property of $\alpha$ that $K(\alpha)/K$ is a normal field extension? Would you ...

**3**

votes

**1**answer

237 views

### Are all solvable groups *regularly* realizable over Q(x)?

It is known for Hilbertian fields that all groups that are abelian, solvable, $A_n$ or $S_n$ are realizable over them. $\mathbb{Q}(x)$ is one such field, but it's not obvious that the extensions that ...

**2**

votes

**3**answers

2k views

### What (permutation) groups can occur as galois groups of irreducible polynomials of degree n

I think the answers for the first few degrees ($n$) are:
$n=2$, $S_2$
$n=3$, $S_3,A_3$
$n=4$, $S_4,A_4,D_4,\mathbb{Z}_4,K_4$ ($K_4$ is the Klein four group)
$n=5$, $S_5,A_5,D_5,\mathbb{Z}_5,Fr_5$ ...

**18**

votes

**2**answers

2k views

### How to solve a quadratic equation in characteristic 2 ?

What do I do if I have to solve the usual quadratic equation $X^2+bX+c=0$ where $b,c$ are in a field of characteristic 2? As pointed in the comments, it can be reduced to $X^2+X+c=0$ with $c\neq 0$.
...

**5**

votes

**1**answer

545 views

### Is it possible to recover the degree of a field extension from a list of elements and the ground field?

I'm interested to know if there is anything known about recovering the degree of a field extension, $E/k$, given $E=k(\alpha_1,\ldots, \alpha_n)$ (here I'm assuming that the extension is of finite ...

**20**

votes

**4**answers

1k views

### $A_5$-extension of number fields unramified everywhere

So I was having tea with a colleague immensely more talented than myself and we were discussing his teaching algebraic number theory. He told me that he had given a few examples of abelian and ...

**8**

votes

**1**answer

481 views

### When are the intermediate fields totally ordered?

The groups whose subgroups are totally ordered by inclusion are easy to classify; they are subgroups of $\mathbb{Z}/p^{\infty} = \text{colim } \mathbb{Z}/p^k$ for some prime $p$, and thus ...

**8**

votes

**3**answers

440 views

### Congruences mod primes in Galois extensions

I have the following situation: let $m,n$ be integers such that $m|n$ and let $\zeta_m$, $\zeta_n$ denote primitive $m$ and $n$th roots of unity. Then we have the inclusion of fields
...

**4**

votes

**5**answers

1k views

### Why is every quadratic subfield of a Galois extension of the rationals with the quaternions as Galois group real?

Suppose that L is a field extension of the rationals with Galois group the quaternions Q={1,-1,i,-i,j,-j,k,-k}. Furthermore assume that L contains a quadratic subfield K. I have learned from this link ...

**2**

votes

**1**answer

208 views

### Linear independence in the algebraic closure of $\mathbb{C}(z)$

Fix $N>0$. Let $b_i=(b_{i,1}, b_{i,2}, b_{i,3}, b_{i,4})$, $i=1,\ldots, m$, be distinct 4-tuples of integers with with all $0\leq b_{i,j}< N$. (The zero tuple is disallowed.)
Define ...

**1**

vote

**0**answers

295 views

### Splitting of prime ideals in non-Dedekind domains?

This is a follow-up to this question. So that you don't have to flick back and forwards I'll briefly summarize:
My original question was on how to prove that a polynomial $g(x)$ obtained from ...

**8**

votes

**2**answers

1k views

### When is sin(r \pi) expressible in radicals for r rational?

Perhaps this question will not be considered appropriate for MO - so be it. But hear me out before you dismiss it as completely elementary.
As the question suggests, I would like to know when ...

**11**

votes

**1**answer

1k views

### History of the Normal Basis Theorem

The Normal Basis Theorem: If $E/F$ is a finite Galois extension, then there exists $a \in E$ such that the orbit of $a$ under the action of $\mathrm{Gal}(E/F)$ is a basis for $E$ as a vector space ...

**11**

votes

**2**answers

444 views

### Realizing D_8 as a Galois group over C(x) with prescribed decomposition groups

Coming up with examples of $D_8$-covers of $\mathbb{C}(x)$ is easy. For example:
$Quot(\mathbb{C}(x)[y,z]/(y^2=x(x-7), z^4=(y+\sqrt{-6})^2(y-\sqrt{-6})^2(y+\sqrt{-10})(-y+\sqrt{-10})^3))$
defines a ...

**13**

votes

**2**answers

842 views

### Proof of the result that the Galois group of a specialization is a subgroup of the original group?

I have been using the following result:
Given a polynomial $f(x,t)$ of degree $n$ in $\mathbb{Q}[x,t]$, if a rational specialization of $t$ results in a separable polynomial $g(x)$ of the same ...

**28**

votes

**8**answers

8k views

### Is Galois theory necessary (in a basic graduate algebra course)?

By definition, a basic graduate algebra course in a U.S. (or similar) university with
a Ph.D. program in mathematics lasts part or all of an academic year and is taken
by first (sometimes second) ...

**3**

votes

**1**answer

697 views

### How do I visualize finite covers of curves over non-algebraically closed fields?

If $L$ is algebraically closed, fields of transcendence degree one over $L$ correspond to algebraic curves over $L$ up to birational equivalence, and finite extensions correspond to finite Galois ...

**0**

votes

**1**answer

934 views

### Normal subgroups of the Galois group

I am trying to teach myself Galois theory. Is it true that every for a field extension K->L, that every normal subgroup of Gal(L:K) is of the form Gal(L:M) for some intermediate field M, ie K->M->L?

**10**

votes

**5**answers

3k views

### Grothendieck's Galois Theory today

I have recently become aware of, and started to study in my free time (abundant in these summer months) Grothendieck's Galois Theory (GGT), as formulated in SGA 1 and later by Grothendieck's ...

**4**

votes

**2**answers

858 views

### Galois theory of endomorphism rings of irreducible representations

Let $k$ be a field which I don't suppose to be algebraically closed. Then, the endomorphism ring of any irreducible representation of a finite group over $k$ is a division ring.
What is known about ...

**12**

votes

**5**answers

3k views

### An advanced exposition of Galois theory

My knowledge of Galois theory is woefully inadequate. Thus, I'd be interested in an exposition that assumes little knowledge of Galois theory, but is advanced in other respects. For instance, it would ...

**5**

votes

**1**answer

657 views

### Symmetric polynomials theorem

Hello all, I would appreciate comments on the following question:
A main theorem of symmetric functions might be formulated: Let k be a field of char. 0. Then $k[x_1,...,x_n]^{S_n} = ...

**2**

votes

**2**answers

725 views

### algebraic numbers of degree 3 and 6, whose sum has degree 12

This question is related to Degree of sum of algebraic numbers. Forgive me if
this is a dumb question, but are there two algebraic numbers $a$ and $b$ of degree $3$ and $6$ respectively, such that the ...

**16**

votes

**1**answer

851 views

### Galois Group as a Sheaf

I've noticed that the Galois groups associated to Galois field extensions $L$ of a given field $K$ seem remarkably like a sheaf, with the field extensions taking the place of open set, and the Galois ...

**5**

votes

**2**answers

2k views

### Primitive element theorem without building field extensions

Is there are nice way to prove the primitive element theorem without using field extensions?
The primitive element theorem says that if $x$ and $y$ are algebraic over $F$ and $y$ is separable over ...

**2**

votes

**1**answer

417 views

### Probability of an extension being normal

Let $P$ be the probability that an elliptic curve with a rational point has an infinite number of rational points. From what I understand, the value of P is unknown.
This got me thinking about a ...

**8**

votes

**2**answers

847 views

### Why do generic polynomials work in reality?

I understand that a generic $G$-polynomial $f(t_1,...,t_n)[X]$ over field $k$ has Galois group $G$ over $k(t_1,...,t_n)$. And basically any $G$ extension of $k$ should be generated by a realization of ...

**6**

votes

**3**answers

1k views

### Computing only the order of Galois group (not the group itself).

My question is related to this one: Computing the Galois group of a polynomial.
I was wondering if there is a faster algorithm just to compute the order of the group rather than the group itself.
...

**11**

votes

**0**answers

862 views

### Galois theory timeline (II)

This question is a sequel. I structured the previous one around Emil Artin's classic treatment of Galois theory from the 1940s, though making clear some reservations of my own about whether Artin ...

**1**

vote

**1**answer

326 views

### Non-representability by a binary quadratic form

Let $k$ be an arbitrary field, $d\in k$, and $d$ is not a square in $k$.
Consider the binary quadratic form $f(x,y)=x^2-d y^2$
(it is the norm from $k(\sqrt{d})$ to $k$).
I am looking for a reference ...