Questions tagged [galois-theory]
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.
850 questions
4
votes
1
answer
636
views
perfect fields in positive characteristic
Let $k$ be an infinite perfect field in positive characteristic $p$, i.e. every element of $k$ is a $p$th power. I am interested in properties of finite fields that can be extended to $k$. For example:...
- 168
3
votes
2
answers
558
views
Dedekind Zeta functions of Biquadratic fields
Let $F/ \mathbb{Q}$ be a biquadratic field of Galois group $C_2 \times C_2$. Then I know that the Dedekind Zeta function of $F$ can be factored into $L$-functions as; $$\zeta_F(s) = \zeta(s) L(s, \...
- 50.6k
0
votes
0
answers
286
views
Is $\operatorname{Aut}(\mathcal{M})$ a fundamental group in Grothendieck's sense?
This question is a follow-up to Are there infinitely many L-rigs? and to Is an automorphic form of $\operatorname{GL}_{n}(\mathbb{A}_{\mathbb{Q}})$ determined by its L-function?.
I copy paste a deepl ...
- 12.9k
2
votes
0
answers
221
views
Field whose absolute Galois group is $\mathbb{Z}_p$
Let $L$ be a perfect field. Assume there is an algebraic closure $L\subset \overline{L}$ and a prime $p$ such that $\mathrm{Gal}(\overline{L}/L)\cong \mathbb{Z}_p$ as topological groups.
Is there a ...
- 63.9k
3
votes
1
answer
270
views
Connecting different ways of constructing cubic extensions of $\mathbb{Q}$
There are at least two ways to construct cyclic cubic extensions of $\mathbb{Q}$ as explained below. (A third one is given in the answer to an earlier question).
Given $A, B, C$ integers with $A\neq ...
- 13.1k
0
votes
1
answer
1k
views
Are absolute Galois groups condensed?
Let $k^{s}$ be a separable closure of a field $k$. Is $Gal(k^s/k)$ a condensed group in the sense of condensed mathematics? If condensed, is it always solid?
- 21.3k
9
votes
1
answer
488
views
What is the indecomposable decomposition of holomorphic differentials of an Artin-Schreier curve C as a Z/p-representation?
I am attempting to decompose the holomorphic differentials of an Artin-Schreier-Witt curve as a $\mathbb{Z}/p^n$-representation. This is done in Theorem 1 of Madan-Valentini Automorphisms and ...
- 3,539
2
votes
0
answers
135
views
Permutation group with a nice lattice of block systems
Let $X$ be a finite set and $G$ be a transitive subgroup of the symmetric group on $X.$ Recall that a (complete) block system for this action is a partition of $X = B_1 \cup \cdots \cup B_k$ into ...
- 396
9
votes
1
answer
306
views
Origin and context of adjunctions inducing equivalences between full subcategories
The following is well-known.
Theorem. Let $F\dashv U$ be a pair of adjoint functors
$$F\colon \mathcal C\to \mathcal D, \qquad U\colon \mathcal D\to\mathcal C$$
with unit $(\eta_A\colon A\to U(F(A)))_{...
- 35.5k
4
votes
0
answers
238
views
Motivic Galois correspondence
Is there a Galois correspondence in motivic Galois theory ? If so, is there a mathematical work on this correspondence that i can find on the net ?
Thanks in advance for your help.
- 16.9k
10
votes
2
answers
530
views
Representing finite sums of rational powers of 2
Let $X \subseteq \mathbb{R}$. Let $A$ and $B$ be finite subsets of $X$. The statement $$\sum_{a \in A} 2^a = \sum_{b \in B}2^b \iff A = B $$ is true if $X = \mathbb{N}$ or $X = \mathbb{Z}$; this ...
- 355
4
votes
0
answers
91
views
Classifying twists for a general moduli problem
Suppose $\mathfrak X$ is a (Deligne-Mumford/Artin/...) stack and denote by $|\mathfrak X(k)|$ the set of isomorphism classes of it's $k$-valued point. Can we say something in general about the fibers ...
- 7,746
1
vote
1
answer
101
views
When is a infinite transcendence-degree rigid fields fixed by a finite extension?
A field is rigid if it has no nontrivial automorphisms. Let $F$ be a rigid field which has infinite transcendence degree over $\mathbb{Q}$, and let $E$ be a finite extension of $F$. Then my question ...
CommunityBot
- 1
26
votes
4
answers
914
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 =\...
- 13.6k
1
vote
1
answer
337
views
Upper bound for discriminant of Galois closure
In Lang's Algebraic Number Theory book he uses a certain bound on the discriminant of the Galois closure of a number field $K$ without proof stating that it is an easy exercise. Let $\tilde{K}$ be the ...
- 148k
3
votes
0
answers
242
views
Finitely generated subgroups of the absolute Galois group
Consider the absolute Galois group $\operatorname{Gal}(\overline{\mathbb{Q}} / \mathbb{Q})$. It seems to me that, in general, providing an "explicit" description of the elements of this ...
7
votes
0
answers
391
views
Do algebraic completion/topological completion of fields always terminate? If so, are they unique?
Take the field $\mathbb{Q}$, If we complete it topologically with respect to the Euclidean norm, we get $\mathbb{R}$, then if we complete it algebraically, we get $\mathbb{C}$.
On the other hand, the ...
- 171
1
vote
3
answers
1k
views
What are the main open problems in Group Theory and Galois Theory? [closed]
I’m really interested in doing a PhD and the subjects I enjoyed the most were Group Theory and Galois Theory.
What are some open problems in these areas that would be suitable for a PhD? Is Galois ...
- 12.9k
7
votes
0
answers
252
views
Possible Galois groups of residue fields of ramification points of a Galois branched cover of curves
Here's the version of the question I'm particularly interested in (though I'm also interested in other variants described near the end).
Let $K$ be the function field of a smooth projective variety ...
- 10.7k
2
votes
1
answer
259
views
Galois group acts by the $i$-th power of the Teichmuller character on $H$
In the second paragraph of Soulé - Perfect forms and the Vandiver conjecture, it is written that:
For any natural integer $i \le p − 2$, let $C^{(i)}$ be the subgroup of $C$, where the Galois group of ...
- 12.9k
48
votes
2
answers
6k
views
Grothendieck says: points are not mere points, but carry Galois group actions
Apologies in advance if this question is too elementary for MO. I didn't find an explanation of these ideas in any algebraic geometry books (I don't know French).
The following is an excerpt from ...
CommunityBot
- 1
8
votes
3
answers
2k
views
Counter example of a radical extension that is not Galois/normal over $\mathbb{Q}(\omega)$?
Most proofs of Galois theorem stating that "an equation is solvable in radicals if and only if its Galois group is solvable," show the left to right direction by induction on the height of ...
- 2,051
6
votes
1
answer
518
views
What is the Galois group of one ultrapower over another ultrapower?
Let $F$ be a field, let $E$ be a field extension of $F$, and let $U$ be an ultrafilter. Then my question is, what is the relationship between the Galois groups $Gal(\Pi_U E/\Pi_U F)$ and $Gal(E/F)$?
...
- 28.2k
5
votes
0
answers
148
views
Finite groups arising as Galois groups of maximal unramified extension of number fields
I was wondering if it is known for which number fields the maximal unramified (non-abelian) extension is of finite degree or do we know the finite groups that arise as the Galois groups of these ...
- 51
1
vote
0
answers
83
views
What is known about the algebraic completion of a monoid?
It is the monoid obtained by adjoining all solutions of polynomial equations. I'll demonstrate how to adjoin a single solution to a polynomial equation to a monoid:
Let $W$ be a monoid and let $p(x)=q(...
- 12.9k
3
votes
0
answers
166
views
Can you define the absolute Galois groupoid in von Neumann–Bernays–Gödel set theory?
One difference between the absolute Galois groupoid of a field and the fundamental groupoid of a topological space is that for the former the set of objects you want to range over is not actually a ...
- 31
1
vote
0
answers
158
views
Is this an explicit construction of a Hurwitz space with Galois group Z/p, p distinct branch points, and inertia group Z/(p-1)?
I am desperately confused and would like a sanity check that the following moduli space/stack is a Hurwitz space/stack. I would also appreciate any references on the topic of the explicit construction ...
- 3,539
7
votes
1
answer
382
views
Inverse Galois problem for non-Galois extensions
The inverse Galois problem asks whether every finite group appears as the Galois group of a Galois extension of the rational numbers.
Is anything known about the anologous problem, where the ...
- 2,051
3
votes
0
answers
365
views
Galois theory of periods of algebraic varieties PhD project
I finished my MMath at Exeter in July of this year and I would like to undertake a PhD at the interface of algebraic geometry, number theory and Galois theory. More specifically, I recently came ...
- 31
4
votes
0
answers
124
views
Linear relation between polynomial roots
Consider an irreducible polynomial $P\in\mathbb{Q}[x]$ of degree $n$ whose second leading coefficient is $0$ and $\alpha_1,\dots,\alpha_n$ its $n$ distincts roots. I am interested on the problem of ...
- 63.9k
2
votes
3
answers
368
views
Minimal polynomial in $\mathbb Z[x]$ of seventh degree with given roots
I am looking for a seventh degree polynomial with integer coefficients, which has the following roots.
$$x_1=2\left(\cos\frac{2\pi}{43}+\cos\frac{12\pi}{43}+\cos\frac{14\pi}{43}\right),$$
$$x_2=2\left(...
- 2,784
2
votes
1
answer
216
views
Galois extensions of ring spectra and subextensions
In Galois extensions of structured ring spectra, Rognes introduces the notion of a faithful $G$-Galois extension of ring spectra. Let me recall what this means:
We have a commutative ring spectrum $R$ ...
- 15.9k
6
votes
0
answers
335
views
Galois groups associated to matrices
When $A\in M_n(\mathbb{Q})$, we consider the pencil $A-xA^T$. Then $p_A(x)=\det(A-xA^T)$ is a self-reciprocal polynomial. $p_A$ can only be irreducible if $n=2p$ is even.
Question: For every $p$, does ...
- 3,741
3
votes
1
answer
243
views
Field of definition/moduli through the monodromy
Let $Y$ be a smooth projective curve defined over a number field $K$, and let $B$ be a subset of $Y(K)$. It is known that the isomorphism class of a branched cover $f:X(\Bbb{C})\rightarrow Y(\Bbb{C})$ ...
- 3,599
3
votes
0
answers
325
views
Infinite separable extensions
Let $L/K$ be an infinite algebraic separable extension of fields. One assumes that the fields are embedded in an algebraic closure $\Omega$. Consider an element $\alpha$ of $\Omega$ separable over $L$....
- 3,998
1
vote
1
answer
210
views
Reference book for Galois extension [closed]
I need a reference for field extension and Galois extension (like an introduction) please.
Thank you.
- 1,175
6
votes
1
answer
378
views
Enumeration of field generators of a finite field over $\mathbb{F}_{q}$, which are $m^{th}$ powers in the same field
Consider the finite field extension $\mathbb{F}_{{q}^{d}}$ over $\mathbb{F}_{q}$, where $q=p^a$ for some prime $p$. We assume $d\geq 2$. Let,
$$ S=\{ \alpha \in \mathbb{F}_{q^d}\hspace{0.1 cm} | \...
- 12.9k
1
vote
0
answers
112
views
Doubt regarding invariance of discrete absolute value under automorphism
I have been reviewing some basic algebraic number theory and $p$-adic analysis, and the following thought crossed my mind: if $F/ \mathbb Q$ be a finite Galois extension, and $\eta$ be a $\mathbb Q$-...
- 739
1
vote
1
answer
488
views
Polynomials for the alternating group $A_n$
It is my understanding that the polynomial $f_n(x)=x^n-1$ has the Galois Group $(\mathbb{Z}/n\mathbb{Z})^*$, group of units of order $\phi(n)$. In some sense, these are the "simplest" ...
- 63.9k
1
vote
0
answers
252
views
Concerning the Galois resolvent
Let $K$ be an algebraic number field, $f(x) = 0$ a separable algebraic equation over $K$ of degree $n \ge 2$, i.e. having only simple roots $x_1, \dotsc, x_n$, and $L \mathrel{:=} K[x_1, \dots, x_n]$ ...
- 1,020
3
votes
0
answers
123
views
Jacobson-style Galois theory on perfect closure
Promoted from stack.exchange since I received no response:
Jacobson developed a 'Galois' correspondence for purely inseperable extensions of exponent 1 (only consisting of pth roots) $K/k$, where he ...
- 295
6
votes
0
answers
179
views
Characteristic polynomials of Cartan matrices of Lie algebras
Let $L$ be a simple Lie algebra over $\mathbb{C}$ with Cartan matrix $C_L$ (as in https://de.wikipedia.org/wiki/Cartan-Matrix )
Question 1: Is is true that the characteristic polynomial $f$ of $C_L$ ...
- 26.5k
5
votes
1
answer
406
views
Does the étale topos determine the Hodge numbers?
Does the small étale topos of a smooth proper variety over a perfect field of positive characteristic determine its Hodge numbers? We consider it as a Grothendieck topos over the étale topos of the ...
CommunityBot
- 1
1
vote
0
answers
217
views
Is semi-simplicity of Galois representations local?
Let $\rho:G_{\mathbb{Q}}\rightarrow \text{Gl}(V)$ be a finite dimensional $\ell$-adic Galois representation. Then for each prime, by pre-composing $\rho$ with the natural inclusion $G_{\mathbb{Q}_p}\...
- 4,418
1
vote
0
answers
187
views
Do roots of polynomial with coefficients in a CM field lie in a CM field?
This is something that I have been thinking about for a while now, not sure if it is standard (or even true at all) or not:
Let $K/ \mathbb Q$ be a CM number field, that is, it is closed under complex ...
- 739
3
votes
0
answers
324
views
Kummer theory if $\ell = p$
Background. Let $k$ be a field and let $\ell$ be an integer which is divisible in $k$. Then one has a short exact sequence of abelian étale sheaves
$$ 0 \to \mu_\ell \to \mathbb{G}_m \xrightarrow{(\,\...
- 317
9
votes
1
answer
410
views
Galois embedding question for dihedral groups
Let $D_n$ be the dihedral group of order $2n$. Then all the quotients of $D_n$ are dihedral as well, and of the form $D_k$ with $k \mid n$. So for a field $K/\mathbb{Q}$ with $\operatorname{Gal}(K/\...
- 13k
1
vote
0
answers
91
views
Why does norm map the $\sigma$-conjugacy classes to the conjugacy classes?
Let $E/F$ be a cyclic extension of order $\ell$ (not assumed prime) of fields of characteristic $0$, and $\Sigma$ its Galois group; we denote by $\sigma$ a generator of $\Sigma$. We denote by $G(E), G(...
- 14.2k
6
votes
1
answer
652
views
When is $-1$ in the image of a field norm?
Let $p >0$ be an odd prime and let $\mathbb{K} = \mathbb{Q}(\zeta) \subseteq \mathbb{C}$ with $\zeta$ a primitive $p$th root of unity. There is a unique subfield $\mathbb{Q} \subseteq \mathbb{F} \...
- 37k
1
vote
0
answers
174
views
Galoisian perspective on local system tamely ramified along a smooth divisor
This question is about (1.7.8) and (1.7.11) in Deligne’s Weil II paper.
Let $X$ be a regular scheme and $D\subset X$ a smooth principal divisor cut out by the function $t$. Let $\mathcal F$ be a ...
- 1,217