All Questions
Tagged with galois-theory gr.group-theory
73 questions
3
votes
0
answers
89
views
Which elements in $\mathrm{Aut}(\widehat{F_2})$ preserve the procyclic subgroup generated by the commutator $c=[a,b]$?
Let $F_2$ denote the free group over two generators $a,b$, and we denote $c=[a,b]$ as the commutator. It is well-known that any automorphism $\psi$ of $F_2$ preserves the conjugacy class of the ...
- 605
1
vote
0
answers
86
views
Is the Galois closure of a $p$-adic Lie group extension also a $p$-adic Lie group extension?
Let $p$ be a prime. Let $K$ be a number field and $L/K$ be an infinite extension which is not necessarily Galois. Suppose that the automorphism group $\text{Aut}(L/K)$ of $L/K$ is $p$-adic analytic, i....
- 667
3
votes
1
answer
296
views
Distinct characters with the same character values, outer automorphisms and Galois conjugation
Given an (irreducible complex) character of a finite group the following three construction all yield another irreducible character of the same degree:
multiplying by a degree 1 character
applying an ...
- 4,081
4
votes
1
answer
246
views
How do "Kummer closures" of fields look?
Let $F$ be a field and $A$ a finite abelian group. You can ask: does the regular representation $F[A]$ of $A$ split as a direct sum of 1-dimensional representations? This is equivalent to the ...
- 54.6k
2
votes
3
answers
345
views
A subgroup of index 2 for a solvable finite group transitively acting on a finite set of cardinality $2m$ where $m$ is odd
Let $G$ be a finite group acting transitively on the finite set $X=\{1,2,\dots, 2m\}$
of cardinality $2m\ge 6$ where $m$ is odd.
Question 1. Is it true that $G$ always has a subgroup $H$ of index 2
...
- 14.1k
3
votes
1
answer
379
views
How often does algebraic-conjugacy imply conjugacy?
Recall that two elements $h_1,h_2$ of a finite group $G$ are called conjugate when $h_2 = gh_1 g^{-1}$ for some $g \in G$, and algebraic-conjugate when $h_2 = gh_1^a g^{-1}$ for some $a \in (\mathbb{Z}...
- 54.6k
5
votes
3
answers
428
views
Generalizing Klein's order 7 formula $y\left(y^2+7\Big(\tfrac{1-\sqrt{-7}}{2}\Big)y+7\Big(\tfrac{1+\sqrt{-7}}{2}\Big)^3\right)^3 = j$ to order 13?
I. Level 7
In Klein's "On the Order-Seven Transformations of Elliptic Functions", he gave two elegant resolvents of degrees 8 and 7 in pages 306 and 313. Translated to more understandable ...
- 12.6k
5
votes
1
answer
513
views
Learning Inverse Galois Theory
Can someone give me a roadmap for learning Inverse Galois theory?
I am a PhD student in the representation theory of finite groups. I studied Galois theory when I was an undergraduate student. The ...
- 195
4
votes
1
answer
243
views
Existence of intermediate field extensions for tamely ramified p-adic extensions
Let $p$ be a prime, and let $K/\mathbb{Q}_p$ be a tamely ramified finite extension of degree $n$. Let $q$ be a prime factor of $n$ with $q\neq p$. Must there exist an intermediate extension $L$ (...
- 421
3
votes
1
answer
384
views
Using the Lehmer quintic to solve $11$-degree equations and higher?
(This is a natural continuation of a previous post.)
I. Quintic method
Given the Lehmer quintic,
$$x^5 + n^2x^4 - (2n^3 + 6n^2 + 10n + 10)x^3 + (n^4 + 5n^3 + 11n^2 + 15n + 5)x^2 + (n^3 + 4n^2 + 10n + ...
- 12.6k
7
votes
2
answers
439
views
A method to generate solvable equations of degrees $p = 7, 13, 19, 31, 37,\dots$ using only cubics
I've always wondered if the DeMoivre method to generate an algebraic number $x_p$,
$$x_p = u_1^{1/p}+u_2^{1/p}$$
of degree $p$ using only quadratic roots $u_i$ could be generalized using cubic roots $...
- 12.6k
3
votes
1
answer
250
views
On the refined minimal ramification problem for $p$-groups
Let $p$ be a prime. The minimal ramification problem is to ask whether or not every finite $p$-group $G$ can be realized as the Galois group of a tamely ramified extension of $\mathbb{Q}$ with exactly ...
- 667
2
votes
2
answers
381
views
On V. Arnold's trinities regarding PSL(2,5), PSL(2,7), and PSL(2,11)?
Given the Ramanujan theta function,
$$f(a,b) = \sum_{n=-\infty}^\infty a^{n(n+1)/2} \; b^{n(n-1)/2}$$
Let $q = e^{2\pi i \tau}$ and assume $\tau = \sqrt{-d}.$ Then the following functions for levels $...
- 12.6k
0
votes
1
answer
243
views
Ramifications in Galois closures of number fields
Let $K/\mathbb{Q}$ be a finite Galois extension, and $L/K$ an infinite Galois extension such that the Galois group $ \operatorname{Gal}(L/K) $ is isomorphic to a closed subgroup of $ \operatorname{GL}...
- 667
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
6
votes
0
answers
375
views
How to construct this non-geometric mod $p$ Galois representation?
Let $ K $ be a totally real cubic field. I am concerned with the following kind of Inverse Galois Problem:
Is there a prime $ p>5 $ and a continuous representation $ \bar{\rho}:G_{K}\to {\rm
GL}_{...
- 863
-2
votes
1
answer
504
views
In Galois theory, why solvable groups must have their quotient groups be Abelian? [closed]
The definition of solvable groups can be regarded as two constraints, one is that there must be a sequence of normal subgroups, and the other is that the quotient groups between these sequences are ...
- 1
4
votes
0
answers
245
views
Dessins d'enfants and the absolute Galois group
If I am not mistaken, Alexander Grothendieck introduced dessins d'enfants as they are known today, in order to better understand the absolute Galois group $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}...
- 4,547
3
votes
0
answers
158
views
What is the meaning of local inertia conjugation property?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030., we have:
Abstract. Let $\widehat{G T}^{1}$ ...
- 119
7
votes
2
answers
430
views
Do surface groups embed into PSL_2 over a real quadratic integer ring?
$\DeclareMathOperator\PSL{PSL}$ Let $ \mathbb{Z} $ be the ring of integers and $ \mathbb{R} $ the field of real numbers. Let $ \Sigma_g $ be a surface of genus $ g \geq 2 $. Let $ \pi_1(\Sigma_g) $ be ...
- 4,081
0
votes
0
answers
301
views
Inverse Galois problem on simple groups
Im trying to find a way to connect a possible solution of the inverse Galois problem on simple groups to a more general solution on any finite group.
I've tryied to mess with the embedding problem for ...
10
votes
2
answers
932
views
On the Galois group of the compositions of polynomials
We reprint an old math SE question here (see https://math.stackexchange.com/questions/1241224/composition-of-polynomials-and-galois-theory):
"
Let $f(x)$ be a polynomial of degree $n$ over $\...
- 1,755
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
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 ...
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 ...
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 ...
- 1,329
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 ...
- 231
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/\...
- 91
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} | \...
- 428
2
votes
1
answer
846
views
Why Triangle of Mahonian numbers T(n,k) forms the rank of the vector space?
I am looking for an explanation of why Triangle of Mahonian numbers T(n,k) form the rank of the vector space $H^k(GL_n/B)$?
With respect to the property of Kendall-Mann numbers where the statement ...
13
votes
1
answer
460
views
Is $\text{PSL}_2(\mathbb{F}_{p^m})$ known to be a Galois group over $\mathbb{Q}$ for $m>1$?
Let $\mathbb{F}$ be a finite field of characteristic $p$, is it known that $\text{PSL}_2(\mathbb{F})$ can be realized as a Galois extension of $\mathbb{Q}$ for any/all cases when $\mathbb{F}$ is not $\...
user130124
9
votes
1
answer
519
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$...
- 265
4
votes
1
answer
735
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.
- 101
42
votes
2
answers
4k
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 ...
user6976
7
votes
1
answer
603
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 ...
- 4,547
17
votes
1
answer
448
views
The possible degrees of $\mathbb{Q}(a,b)$ in terms of the degrees of $a$ and $b$
Given two positive integers $n,m$, which positive integers $d$ appear as the degree of $\mathbb{Q}(a,b)$ for two algebraic numbers $a$ and $b$ of degrees $n$ resp. $m$?
Two necessary conditions are $\...
- 5,482
2
votes
1
answer
917
views
How to prove that $M^G=\mathbb{F}_p[x_1\cdot v, x_1^{p\cdot(p-1)}+ v^{p-1}]$?
Let $G=Sl_2(\mathbb{F}_p)$ and $M= \mathbb{F}_p[x_1,x_2]$, where $p$ is a prime.
$M$ is a $G$-module with $(A\cdot x_1, A\cdot x_2)=(x_1,x_2)\cdot A, (\forall) A \in Sl_2(\mathbb{F}_p)$.
I have to ...
- 163
5
votes
1
answer
1k
views
On progress towards inverse Galois problem over rationals
I have heard that Progress towards the Inverse Galois problem over $\mathbb{Q}$
is very well documented for sporadic groups ($M_{23}$ is the only case open) and for $PSL_n(q)$.
From where I can read ...
- 591
1
vote
2
answers
1k
views
Is the absolute Galois group the same as the automorphism group? [closed]
Is the absolute Galois group $\mathrm{Gal}(\overline{\mathbf{Q}}|\mathbf{Q})$ the same as the group $\mathrm{Aut}_{\mathbf{Q}}(\overline{\mathbf{Q}})$ the automorphism group in the category of $\...
- 1,613
13
votes
4
answers
2k
views
Which groups are Galois over some p-adic field?
Suppose I have some finite $p$-group $G$, or a little extension of it.
How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...
- 11.3k
3
votes
1
answer
410
views
What do we know about these subgroups of $S_n$?
For each positive integer $n$, write $S_n$ for the symmetric on $n$-letters. Suppose that $m | n$ is a proper divisor of $n$, and write $n = km$. Consider the element
$$\displaystyle u(m,n) = \...
- 26.9k
5
votes
1
answer
314
views
abelian and nonabelian parts of Aut($\widehat{F_2}$)
Let $F$ be the free profinite group on two generators. Let $\text{IA}(F) := \ker\left(\text{Aut}(F)\rightarrow GL_2(\widehat{\mathbb{Z}})\right)$, the group of "IA automorphisms" of $F$. (I'm also ...
- 10.7k
6
votes
2
answers
622
views
Inverse Galois problem for simple Lie type groups
Progress towards the Inverse Galois problem over $\mathbb{Q}$ is very well documented for sporadic groups ($M_{23}$ is the only case open) and for $PSL_n(q)$ (a lot of cases known, but wide open in ...
- 17.6k
10
votes
2
answers
723
views
Does the Galois group of a Pisot polynomial contain the alternating group?
Let $n \in \mathbb{N}$, and let $p(X) \in \mathbb{Z}[X]$ be a monic polynomial of degree $n$. Suppose that exactly one complex root of $p$ is of modulus $> 1$, and that the remaining $n-1$ roots of ...
- 11.3k
4
votes
2
answers
1k
views
Unsolvability of a Quintic and its link with "Simplicity" of $A_{5}$
This is a re-post from MSE (because I did not get the kind of answer I wanted even after offering a bounty).
At the outset I must mention that I don't have a fairly working knowledge of Galois Theory ...
- 2,249
0
votes
1
answer
205
views
Find all possible rational pairs of a parametric sextic and all cases where it is reducible for either parameter
Find all possible rational solutions pairs $(z,a)$ of the equation
$a^6 + a^4 (-18368 + 9184 z - 2912 z^2) + a^2 (61702144 - 61702144 z + 36814848 z^2 - 10694656 z^3 + 1748992 z^4) - z^2 (...
- 441
7
votes
4
answers
1k
views
Consequences of the Inverse Galois Problem
Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false?
We know a lot of things that would be true if the Riemann Hypothesis holds. ...
7
votes
2
answers
1k
views
Galois groups and prescribed ramification
What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...
- 11.3k
15
votes
1
answer
761
views
Permutation Groups Containing non-commuting $p$-cycles
I noticed that the following is true, and that there is a reasonably elementary proof of it (in particular, the classification of finite simple groups is not needed). Let $G$ be a finite permutation ...
- 44.4k
14
votes
0
answers
1k
views
Is there an infinite field of characteristic 2 whose multiplicative group is torsion free and (direct-sum) indecomposable?
Let $F$ be a infinite field of characteristic 2 whose multiplicative group $F^*$ is torsion free. I would like to conclude that $F^*$ is decomposable or find an example where $F^*$ is indecomposable.
...
- 575