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.
263 questions with no upvoted or accepted answers
1
vote
0
answers
297
views
Surjectivity of a norm map over $ \mathbb{Q} $
Suppose $ (L/L') $ is an galois extension , where both fields are extension of $Q$ of $\dim n $ and $\dim n^{'}$ respectively.Suppose we consider the norm map $ Nr_{(L/L')} :L \rightarrow L' $. ...
- 923
1
vote
0
answers
146
views
Simple proof of the equivalence between two definitions of étale
This question shouldn't be too hard to answer, but I'm looking for the most streamlined approach.
Let $K$ be a field and let $L$ be a finite dimensional field extension of $K$. I am interested in two ...
user30211
1
vote
0
answers
129
views
Galois extension of $ C_{k} $ field and irreducible polynomial over $ C_{k} $ field
A field is called a $ C_{k}$- field if every form i.e. every homogeneous polynomial of degree $ d $ in $ n > d^{k} $ indeterminates has a nontrivial zero. We know that any finite field is a $ C_{...
- 923
1
vote
0
answers
136
views
Solution of an equation in cyclotomic extension over $ \mathbb{Q} $ of degree $6$
Let us consider a primitive $7^{\text{th}}$ root of unity $\eta$. Then the minimal polynomial of $ \eta $ over $ \mathbb{Q} $ is $1 + \eta +.....+ \eta^{6}$. So the dimension of the $\mathbb{Q}$-...
- 923
1
vote
0
answers
64
views
Resolvent is minimal polynomial for universal splitting algebra
Given a degree $n$ monic $f\in A[x]$ write $\mathrm{Split}_Af$ for its universal splitting algebra, constructed by taking the quotient of $A[x_1,\dots ,x_n]$ by the Vieta formulas. This is the initial ...
- 10.5k
1
vote
0
answers
164
views
When is the extension $L(S)/L$ Galois and totally ramified?
Let $L$ be a finite extension of the $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ with uniformizer $\pi$. Let us consider the polynomial ring $L[x_1,x_2,\dotsc,x_l]$ in $l$-...
- 930
1
vote
0
answers
260
views
Effective Hilbert's Irreducibility Theorem and Irreducibility of $f(x)+1$, $f(x)\in\mathbb{Q}[x]$ reducible
Take a reducible polynomial $f(x)\in\mathbb{Q}[x]$. I am interested in the question: is $f(x)+1$ irreducible over $\mathbb{Q}$?
For $f (x) = (x −a_1) · · · (x −a_m)$ with distinct $a_1,\ldots, a_m\in \...
- 139
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(...
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
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
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
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
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(...
- 479
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
1
vote
0
answers
59
views
Given an abelian galois map of curves, what are the principal divisors on the source fixed by the galois group?
Let $f:X\rightarrow Y$ be an abelian galois map (not necessarily unramified) of nonsingular complete curves over algebraically closed $k$, where the order of the galois group $A$ is coprime to the ...
- 1,949
1
vote
0
answers
148
views
Lang's proof of the Shimura's exact sequence
Let $E$ be an elliptic curve having invariant $j$ and defined over $\mathbf C(j)$. Let $\sigma$ be an automorphism of $F_{\mathbf C}$, the field of all modular functions of all levels. Let $p$ be a ...
- 2,375
1
vote
0
answers
59
views
Weyl theorem for non specified primitive root of unity
Let $\omega=e^{2i \pi/p}$.
Weyl theorems give all representations of matrix algebra span by $A,B$ such that either
$AB=\omega BA, A^p=B^p=I$,
or
$(k,l)\mapsto A^kB^l$ is a irreducible ...
- 583
1
vote
0
answers
140
views
Nature of polynomials of the form $x^n-a$ over finite fields
I state the following theorem from Serge Lang's Book- Algebra(3rd edition).
Theorem: Let $k$ be a field and $n$ an integer $\geq$ 2. Let $a\in k, a\neq 0$. Assume that for all primes $p$ such that $...
- 428
1
vote
0
answers
527
views
Connection between Fourier analysis and Galois theory
Let $x\ \%\ m$ be the residue of $x$ modulo $m$, i.e.
$$x \equiv x\ \%\ m\pmod{m}$$
Let $\mu^n_m(x)$ denote multiplication by $n$ modulo $m$, i.e.
$$\mu^n_m(x) = nx\ \%\ m$$
Consider the Fourier ...
- 9,720
1
vote
0
answers
140
views
Does there exist an unramified $PSL_2(\mathbb{F}_p)$ extension of a quadratic field $K$?
Does there exist an unramified $PSL_2(\mathbb{F}_p)$ extension of a quadratic field $K$ for $p\geq 5$?
user130124
1
vote
0
answers
105
views
Local factors determine Weil representations - proof of the Artin representation case
This post can be seen as a continuation of this post I created on MathOverflow.
I want to understand the proof of the following Theorem from "Euler Factors determine Weil Representations" by Tim and ...
- 103
1
vote
0
answers
79
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 ...
- 3,738
1
vote
0
answers
95
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{...
- 1,283
1
vote
0
answers
128
views
Nielsen--Schreier for fields
Is it true that a subextension of a purely transcendental extension is itself purely transcendental?
In symbols, suppose we have field extensions $M/L/K$, with $M/K$ purely transcendental. Must $L/K$ ...
- 9,720
1
vote
0
answers
36
views
Quadratic suborders of an imprimitive quartic order
Let $Q$ be an irreducible quartic order; that is, $Q$ is a subring of the ring of integers $\mathcal{O}_K$ in a quartic extension $K$ over $\mathbb{Q}$ such that the fraction field of $Q$ is equal to $...
- 26.9k
1
vote
0
answers
131
views
A mixed Vandermonde-Wronskian matrix
I am trying to prove that a matrix of the following form is generically nonsingular:
$A= \begin{bmatrix}
1&1&1&1 \\
f_1 & f_2 & f_3 &f_4 \\
(f_1 -\frac{d}{dt}).f_1& (...
1
vote
0
answers
228
views
Minimal polynomial of degree 6
Let $F$ be a field of characteristic not equal to $2$.
Assume $L/F$ is a field extension of degree $6$ with no intermediate subfields.
We know by a result due to Joubert (1867), later improved by H. ...
- 11
1
vote
0
answers
81
views
Geometry of componentially locally strongly separable algebras
Janelidze's categorical Galois theory yields, for nice adjunctions, a good notion of covering morphism.
The category of finitely affine schemes admits such an adjunction into the category of ...
- 10.5k
1
vote
0
answers
199
views
Class number of the cyclotomic tower
Let ${\Bbb Q}(\zeta_{\infty})$ be the field obtained by adjoining all roots of unity. We define
Cl(${\Bbb Q}(\zeta_{\infty})$)$\colon= \underset{m > 1}{\varinjlim}~{\mathrm{Cl}}({\Bbb Z}[\zeta_m])...
- 781
1
vote
0
answers
111
views
magma version of FixedGroup(K, L) over a different base field
I have a sequence of field extensions $F\subseteq L\subseteq K$ and I need to compute the Galois group of K over L. If $F=\mathbb{Q}$ then FixedGroup(K, L) does exactly this, but I was wondering if ...
1
vote
0
answers
149
views
Existence of infinite or bad places that ramify in $K(p^{-1}E(K))/K$ where $p$ is a prime of good reduction
Let $E$ be an elliptic curve, $K$ a number field so that $\operatorname{rank}_{K}(E)\geq 1,$ $p$ a prime of $\mathbb{Q}$ at which $E$ reduces well.
We know (see for instance Silverman, The Arithmetic ...
- 1,805
1
vote
0
answers
98
views
Is $(pE(L))^{\operatorname{Gal}(L/K)}/pE(K)=0$ for almost all $p\geq 5$ if $rank(E)\geq 1$, where $L=K(E_{5^{\infty}7^{\infty}11^{\infty}...})$?
Let $K$ be a number field (possibly of infinite degree over $\mathbb{Q}$) and $E$ an elliptic curve without complex multiplication.
Let $L:= K(E_{5^{\infty}7^{\infty}11^{\infty}...})$ be the field ...
- 1,805
1
vote
0
answers
66
views
Finite extension of K(x) with extra structure: definable over field of invariants?
Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...
- 11
1
vote
0
answers
1k
views
Discriminant of a compositum of number fields, a bound?
Given two number fields $E$ and $F$, is there a bound on $|d_{EF}|$, the absolute value of the absolute discriminant of the compositum of fields $EF$, in terms of $d_E$, $d_F$, and the extension ...
- 647
1
vote
0
answers
1k
views
Reduction modulo p of Galois groups
I'm studying the relationship between the Galois group of a polynomial with integer coefficients and the group of his reduction modulo $p$.
More precisely, consider $\mathbb{K}$ a number field such ...
- 11
1
vote
0
answers
53
views
Degree of factor of resolvent
As always with my questions this is not at research level, but the assertion is made in a research paper, plus no one's been able (or willing) to answer it over at MSE. Here is the original question, ...
- 119
1
vote
0
answers
218
views
$f(x_1,x_2,x_3,\ldots,x_n)$ Maximum how many different results can have with all permutation of inputs?
$\alpha _n=e^{2 \pi i/n}$
$$f(x_1,x_2,x_3,\ldots,x_n)=(x_1+\alpha _n x_2+ \alpha _n ^2 x_3+\cdots+\alpha _n ^{n-1} x_n)^n$$
Maximum how many different results can have with all permutation of inputs?...
- 302
1
vote
0
answers
312
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 \sigma^{-...
- 13.1k
0
votes
0
answers
99
views
On the form of algebraic numbers belonging to a specific field extension
Let $m>1$ be an integer and set $\theta=10^{-1/m}$. For a $\gamma\in \mathbb{Q}(\theta)$, there exists $a_0,\ldots,a_{m-1}\in \mathbb{Q}$ such that
$$
\gamma=a_0+a_1\theta+\cdots+a_{m-1}\theta^{m-1}...
- 515
0
votes
0
answers
127
views
Irrational elements can always be moved
Let $x_1,x_2,x_3,\ldots,x_n$ be the roots of a polynomial $P_n(x)$. Let $F$ be the field $\mathbb{Q}[x_1,x_2,x_3,\ldots,x_n]$, i. e. all the possible combinations of rational numbers with $x$'s.
It's ...
- 125
0
votes
0
answers
93
views
Existence of maximal totally ramified subextension
Suppose $K/\mathbb Q_p$ is a finite extension, with ramification index $e$ and inertia index $f$. I want to ask whether there exists a subextension $L/\mathbb Q_p$ totally ramified of degree $e$?
- 775
0
votes
0
answers
33
views
determinantal ideal of sum of Galois conjugate matrices
Given $n$ matrices $A_i \in \mathbb{Z}^{m\times m}$. I am interested in the ideal $I_d(A)$ generated by the $d\times d$-minors of $A = \sum_{i=1}^n x_iA_i \in \mathbb{Z}[x_1, \dots , x_n]$.
The matrix ...
- 61
0
votes
0
answers
184
views
Degree 6 Galois extension over $\mathbb{Q} $
Let L be the splitting field of $ x^3- 2$ over $ \mathbb{Q}$. Then $ G=\operatorname{Gal}(L/K) \cong S_3$. Let $\sigma\in G$ such that the fixed field of $ \sigma$ is $\mathbb{Q}(2^{1/3})$. Let $x,y\...
- 923
0
votes
0
answers
190
views
Distinguishing between prime factors of cubic discriminant and polynomial discriminant
Let $f(x)\in\mathbb{Q}[x]$ be an irrreducible cubic with root $\alpha$. Let $K=\mathbb{Q}(\alpha)$. There may be primes dividing $\text{disc}(f)$ that don't divide $\operatorname{disc}(K)$, so an ...
0
votes
0
answers
81
views
Squares in division ring extensions $\ell/k$ with $[\ell:k] = 2$
Let $k$ and $\ell$ be division rings such that $\ell$ contains $k$, and $[\ell : k] = 2$. When do I know that there is an element $a \in k$ such that $x^2 = a$ has solutions in $\ell$, but not in $k$?
- 4,547
0
votes
0
answers
57
views
E=F(E^p) implies extension is algebraic
Let $F$ be a field of characteristic $p$ and $E/F$ be a finitely generated field extension such that $E=F(E^p)$. Then show that $E/F$ is algebraic.
I have proven it in case $E$ is singly generated ...
- 145
0
votes
0
answers
80
views
Projection map $\pi:\left(\mathcal{O}/n\mathcal{O}\right)^\times \to\left(\mathcal{O}/\gcd(n,m)\mathcal{O}\right)^{\times}$ of a CM elliptic curve
In this paper the author has mentioned in page $693$ under section $2.2$ that for an Elliptic curve $E/\mathbb{Q}$ with CM by an order $\mathcal{O}$ of an imaginary quadratic field $K$ there is a ...
- 309
0
votes
0
answers
120
views
Colimits in the category of suplattices
I want to compute coequalizers in the category $\mathcal{S}up$ of complete lattices and $\bigvee$-preserving maps. One way (I think?) is to use the dual equivalence
$$
\mathcal{Sup} \leftrightarrows \...
- 147
0
votes
0
answers
78
views
Local field such that the value group of $K^\text{perf}$ ( perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n) \Bbb{Z}$
Let $K$ be a local field of positive characteristic.
I'm looking for a $K$ which satisfies the following condition.
Value group of $K^\text{perf}$ (perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n)...
- 1,531