Galois theory, named after Évariste Galois, provides a connection between field theory and group theory. Using Galois theory, certain problems in field theory can be reduced to group theory, which is, in some sense, simpler and better understood.

**4**

votes

**1**answer

158 views

### Elliptic curves and $GL(2)$ Iwasawa theory

Let $E$ be a elliptic curve without complex multiplication over a number field $F$. Let $F_n=F[E_{p^n}]$ and $F_{\infty}=F[E_{p^\infty}]$. So by a well know theorem of Serre, the Galois group $Gal(F_\...

**4**

votes

**1**answer

77 views

### Correspondence Between First Galois Cohomology and Semilinear Actions Up to Isomorphism

I've been stuck for a while on Exercise 1.9 of Bjorn Poonen's "Rational Points on Varieties". We start with $L/K$ a finite Galois extension with Galois group $G$, some $r \in \mathbb{Z}_{\geq 0}$, and ...

**0**

votes

**0**answers

60 views

### Enumerating Bring radicals

This question here seems to ask only about finite collections of Bring radicals, what about infinite collections, is there a Turing machine, which would list all the necessary radicals one-by-one?

**2**

votes

**1**answer

160 views

### Local factors determine Weil representations - proof of the cyclic case

I already created this post on Math Stack Exchange but I was not so sure if this question fits better here. If it is not, I want to apologize in advance and feel free to delete my post.
I want to ...

**2**

votes

**0**answers

46 views

### Classes of curves with “determinant-like operation”

Consider a motivating example:
Let $E\in \mathbb{Q}[y][x]$ be of degree $n=2$ (in $x$) and separable when viewed as a member of $\mathbb{Q}[x,y]$. Therefore we can calculate it's roots in $\mathbb{Q}[...

**8**

votes

**0**answers

242 views

### Relationships among constructions of fundamental group for schemes

There seem to be several constructions of fundamental group for schemes and stacks: by Grothendieck, Deligne, Nori, Noohi, Esnault-Hai, Vakil-Wickelgren, perhaps others as well. I am trying to ...

**4**

votes

**1**answer

224 views

### Interpolation of families of local fields

Let $\Sigma$ be the set of all places of $\mathbf{Q}$. We’ll call, for any $v\in\Sigma$, a local field complete with respect to an absolute value lying over $v$ and of finite degree over $\mathbf{Q}_v$...

**11**

votes

**1**answer

294 views

### “Algebraization" of $p$-adic fields

Part 1: a single finite place. Let $K$ be a finite extension of $\mathbf{Q}_p$.
Does there exist a number field $F/\mathbf{Q}$ and a finite place $v$ lying over $p$, such that for the completion ...

**2**

votes

**1**answer

150 views

### Having a separable extension of degree $n$ implies having a Galois extension of degree $n$?

I would like an explanation for the fact stated in the title. To repeat:
Question: How does one prove that if a field has a separable extension of degree $n$, then it has a Galois extension of ...

**8**

votes

**1**answer

325 views

### Cyclic cubic extensions and Kummer theory

The Galois cohomology group $H^1(\mathbb{Q}, \mathbb{Z}/3\mathbb{Z})$ classifies cyclic cubic extensions $K/\mathbb{Q}$ (specifically: the non-trivial elements correspond to Galois cubic field ...

**5**

votes

**1**answer

112 views

### Image of the norm map for degree $3$ galois extension over $\mathbb{Q}$

I want to construct a cyclic division algebra of degree $3$ over some degree $3$ Galois extension $E$ of $\mathbb{Q}$. So the construction is as follows:
As a set $D=E\oplus uE \oplus u^2 E$ where $u$...

**8**

votes

**1**answer

202 views

### Are all real-closed subfields of $\overline{\mathbb{Q}}$ conjugate?

Let $\overline{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. The absolute galois group $G_\mathbb{Q}$ of $\mathbb{Q}$ acts on the set of real-closed subfields of $\overline{\mathbb{Q}}$.
...

**0**

votes

**0**answers

46 views

### The coefficients of an irreducible polynomial in cyclic extension of fields

Assume we have some base field $F$, whose characteristic is neither $2$ nor $3$. Moreover, assume there are two Galois field extensions, a cubic extension $K / E$ and quadratic extension $E / F$ such ...

**10**

votes

**0**answers

170 views

### Recognizing the Galois group from the field discriminant

Along the lines of the general question "How much does the discriminant of a number field reveal about the field?", I was wondering how often it happens that the discriminant of some number field ...

**2**

votes

**1**answer

264 views

### Shafarevich's theorem about solvable groups as Galois groups

I am seeking references to any proofs of Shafarevich's theorem about solvable groups being Galois groups.

**10**

votes

**1**answer

167 views

### Unique factorisation of prime geodesics?

In T. Sunada's 1985 paper ``Riemannian coverings and isospectral manifolds'', it is noted that for a compact Riemannian manifold $M$, prime (closed and non self-intersecting) geodesics behave like ...

**2**

votes

**1**answer

111 views

### Normal closure and separable elements

Let $K\subset E\subset\bar{K}$ be field extensions, $\bar{K}$ an algebraic closure of $K$. Denote $E_s$ the field of separable elements of $E$ over $K$, denote $\tilde{E}\subset\bar{K}$ the normal ...

**2**

votes

**0**answers

23 views

### Does the $G$-norm coincide with the ordinary norm for “quasi-$G$-Galois” extensions

Let $S$ be a commutative ring, let $G$ be a finite group acting on $S$ via automorphisms (not necessarily faithfully), and
let $R$ be a subring of $S$ consisting of elements fixed $G$.
The extension $...

**16**

votes

**1**answer

361 views

### Centraliser of an absolute Galois group

Let $K$ be a finite extension of $\mathbb{Q}_p$.
Is the centraliser of $\operatorname{Gal}(\overline{K}/K)$ in $\operatorname{Gal}(\overline{\mathbb{Q}_p} / \mathbb{Q}_p)$ trivial ?
If yes, how can I ...

**2**

votes

**1**answer

69 views

### Characters of the kernel of the norm map of an extension of local fields

Let $E$ be a quadratic extension of a local nonarchimedean field $F$ of characteristic zero (and odd residual characteristic). Let $\sigma$ be a generator of the Galois group $G = Gal(E/F)$. I'm ...

**28**

votes

**2**answers

4k views

### What is the dimension of the mathematical universe?

Forcing construction in set theory leads to a new understanding of the mathematical (multi)universe by providing a machinery through which one can construct new models of the universe from the ...

**5**

votes

**0**answers

99 views

### Sign preserving Galois automorphisms

I have an algebraic number $\alpha \in \mathbb{Q}(\zeta)$, where $\zeta^n = 1$ is a root of unity (not primitive) given as a linear combination of powers of $\zeta$, i.e, $\alpha = \sum_{i=1}^k a_i \...

**2**

votes

**0**answers

39 views

### Lie algebra of derivations for a transcendental field extension and intersection fields

Suppose that $L$ is a finite Galois extension of the field $K$.
If $L_1$ and $L_2$ are subfields of $L$ containing $K$ then $L_1\cap L_2=L^H$
where $H$ is the group generated by ${\rm Aut}_{L_1}(L)$ ...

**12**

votes

**0**answers

396 views

### Why does $E\otimes_KE\cong EG$ imply that Galois theory works?

This is a part of statement in the book I do not fully appreciate. Suppose $E/K$ is Galois extension and $G$ the galois group of $E/K$. $E[G]$ is the group ring formed by finite group $G$.
"It is ...

**6**

votes

**1**answer

137 views

### Is the intersection of ramification groups in upper numbering of a $p$-adic local field trivial?

Let $K$ be a $p$-adic local field, for example $\mathbb{Q}_p$. Let $G$ be the absolute Galois group of $K$, and let $G^v$($v\ge -1$) be the ramification groups in upper numbering, then is it true ...

**8**

votes

**0**answers

194 views

### Finding a cyclic cubic extension of a field

Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...

**1**

vote

**0**answers

59 views

### Galois groups of a family of equations

I investigated a family of polynomials given by for $n>1$:
$x^n+(x+1)^n+...+(x+n-1)^n=(x+n)^n$
And I found, with the help of Magma, that the Galois group is $S_n$ for $n$ up to a hundred. The ...

**7**

votes

**0**answers

83 views

### Inverse Galois problem for $2$-groups with an involution as complex conjugation

It is known that the inverse Galois problem for solvable groups was solved by Shafarevich. My question is the following: given $G$ a finite $2$-group and $s$ an element of order $2$ in $G$. Can we ...

**3**

votes

**1**answer

134 views

### Quadratic equation over a global field of characteristic 2

Let $F=\mathbb F_{2^n}(t)$, and let $f=x^2+ax+b\in F[x]$. Is there any necessary and sufficient condition for $f$, depending on its coefficients, to have a root in $F$? I'm not interested in finding ...

**5**

votes

**1**answer

140 views

### Is there a field with finitely many abelian extensions, that is neither separably closed nor real closed?

If $K$ has only finitely many Galois extensions, then $K$ must be either separably closed or real closed. Are there any other fields whose abelianizations are finite extensions (i.e. whose absolute ...

**10**

votes

**1**answer

538 views

### Reference request: Volume 2 of Abhyankar's lectures on algebra?

Abhyankar has a magnificent, if meandering (check them out if you want to see what I mean), set of lectures on algebra.
The description:
This book is a timely survey of much of the algebra ...

**0**

votes

**1**answer

69 views

### Field of constants of a Galois extension of function fields

Let $F$ be a finite Galois extension of the rational function field $\mathbb Q(x)$. Let $k$ be the field of constants of $F$, i.e., the algebraic closure of $\mathbb Q$ in $F$. Is $k$ necessarily a ...

**38**

votes

**2**answers

2k views

### Abel and Galois (and Arnold)

Question Is there a connection between Abel and Galois theories of polynomial equations?
Recall that for every polynomial $p(x)\in \mathbb{Q}[x]$ (say, without the free coefficient), Abel considered ...

**4**

votes

**0**answers

154 views

### Geometric fundamental group and algebraically closed residue field

my questions relates to the following talk of Tsuji:
https://www.youtube.com/watch?v=2brDj26phP0
At around 10:30 of the video, Tsuji is interrupted by a man stating that his construction does not ...

**2**

votes

**0**answers

141 views

### Vanishing sums of roots of unity

Lets say I have a multivariate polynomial $P(x_1, \ldots, x_n)$ of degree at most $d = d(n) = n^c$ for a fixed constant $c$. I know that the Kronecker map ($x_i \to x^{d^i}$) preserves zeroness/...

**6**

votes

**1**answer

400 views

### Interesting (combinatorial) actions of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$

I have read many times that it is crucial to understand the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) =: L$, in so far that some have stated (was it Richard Taylor ?) that ...

**1**

vote

**0**answers

73 views

### Abelian group extensions

Let $K$ be an imaginary quadratic field and $E$ be an elliptic curve with CM by $\mathcal{O}_K$. Is there a way to see that $K(j(E), h(E[\mathfrak{p}]))/K$ is an Abelian extension for some $\mathfrak{...

**8**

votes

**2**answers

267 views

### When is a bilinear form equivalent to a trace form?

Associated to a finite, separable field extension $L/K$, there is a natural nondegenerate bilinear form, the trace form, defined by $$\langle x,y \rangle := \mathrm{Tr}_{L/K}(xy)$$
Now, given a ...

**2**

votes

**1**answer

98 views

### Realization of the primitive action of a wreath product in a Galois group

Let $f$ be a polynomial over a field $K$ of degree $n$ such that $f(x^2)$ is separable. Assume that the Galois group $G$ of (a splitting field of ) $f(x^2)$ is maximal, that is to say, the wreath ...

**3**

votes

**0**answers

242 views

### Question about Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves

I am trying to understand an argument of Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves. I am stuck and I would appreciate any explanations.
Let $E$ be an elliptic curve over $K$, ...

**2**

votes

**0**answers

104 views

### Reference request: Regarding the image of inertia group being a subgroup of Aut($\widetilde{E}$)

Let $E$ be an elliptic curve over $\mathbb{Q}_p$ with potential good reduction. I was told that if $F$ is the smallest Galois extension over $\mathbb{Q}_p$ such that $E$ has good reduction then the ...

**3**

votes

**0**answers

94 views

### Interpretation or application of this analog of minimal polynomial

Recently I was thinking about images of number field elements under a polynomial with coefficients in a smaller field, and I came across the following construction. It did not have the properties I ...

**0**

votes

**1**answer

99 views

### Galois Transcendental Field Extension has characteristic Zero

Let consider a Galois transcendental field extension $T/K$, therefore for each subextension $L$ of $T/K$ we have $T^{\operatorname{Aut}(T/L)} = L$.
My question is how to prove that this conditions ...

**20**

votes

**4**answers

495 views

### Why do some uniform polyhedra have a “conjugate” partner?

While browsing through a list of uniform polynohedra, I noticed that the square of the circumradius $R_m$ of the small snub icosicosidodecahedron ($U_{32}$) with unit edge lengths is,
$$R_{32}^2 =\...

**5**

votes

**2**answers

315 views

### Why is $K_{\upsilon}|K$ separable for a global field $K$?

I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question.
Let $K$ be a global field and $\upsilon$ a prime of $K$. Then ...

**1**

vote

**1**answer

111 views

### Family of irreducible trinomials over finite fields [closed]

Is there any "famous" family of trinomials over finite fields?
For example over $F_2$ we have
$$
f(x)=x^{2\times 3^k}+x^k+1
$$

**8**

votes

**2**answers

251 views

### Proof of Witt's result about quaternion extensions

I'm searching for a proof of Witt's result that a biquadratic extension $K(\sqrt{a},\sqrt{b})/K$ extends to a Galois extension $L/K$ with quaternion group $Q_8$ iff the quadratic forms $<a,b,\frac{...

**2**

votes

**0**answers

155 views

### residue fields of smooth $\mathbf{Q}$-algebras

Let $A$ be a $\mathbf{Q}$-algebra. We say $A$ is "residually abelian", if there exists a maximal ideal $\mathfrak{m}$ of $A$ whose residue field $\kappa(\mathfrak{m})$ is a Kummer extension of an ...

**2**

votes

**2**answers

174 views

### Minimal polynomial of a trigonometric number

I am trying to calculate the minimal polynomials of $h_{1}=-\cos(\pi/n)-\sqrt{\cos(2\pi/n)}$ and $h_{2}=-\cos(\pi/n)+\sqrt{\cos(2\pi/n)}$ when $n$ is odd. I think (and numerical calculations suggest ...

**2**

votes

**0**answers

52 views

### Splitting fields and algebraic closure for generalized polynomials

I'm looking for a reference on splitting fields for 'generalized polynomials' over non-Archimedean fields with exponents in a non-Archimedean discretely ordered value class.
To be precise, let $\...