Intereting Posts

Dimension of a splitting field of a cubic polynomial over $\mathbb{Q}$
Proving that the estimate of a mean is a least squares estimator?
What is this pattern called?
How to solve integral in Mathematica?
How to find ${\large\int}_0^1\frac{\ln^3(1+x)\ln x}x\mathrm dx$
Homology with twisted coefficients of the circle
Where to go after calculus?
How to geometrically show that there are $4$ $S_3$ subgroups in $S_4$?
Proving two lines trisects a line
Evaluating $\int^1_0 \frac{\log(1+x)\log(1-x) \log(x)}{x}\, \mathrm dx$
Closed-forms for several tough integrals
Integrating $\int_0^{\pi/2} \cos^a(x) \cos(bx) \ dx$
If M is a non-orientable closed connected 3 manifold prove H1(M) is an infinite group.
Clarifying on how if p,q is logically equivalent to p only if q
How can I calculate a $4\times 4$ rotation matrix to match a 4d direction vector?

im trying to show that the galois group of $x^5+sx^3+t$ over $\mathbb{Q(s,t)}$ is $S_5$. By just looking at the discriminant, it has to be $S_5$ or $F_{20}$.

I know i could distinguish between those 2 using the weber sextic resolvent, but this is a degree 6 polynomial with 2 parameters and i have no idea how to show that there is no root in $\mathbb{Q(s,t)}$. Is there another way to see this more easily?

Something else i would like to know is:

I think it s true under some conditions that if u specialize s,t in a polynomial as above the galois group can only become smaller. Does anyone know if this is a basic fact or needs more work?

Thx in advance

- Does $$ divide $\phi(n)$?
- $\mathbb{Q}(\sqrt{1-\sqrt{2}})$ is Galois over $\mathbb{Q}$
- Are there irreducible polynomials that are partially solvable by radicals?
- Is $\mathbb{R}$ a finite field extension?
- Inverse Limits in Galois Theory
- Natural density of solvable quintics

- Let $H$ be a normal subgroup of index $n$ in a group $G$. Show that for all $g \in G, g^n \in H$
- Prove elements generate a free group
- Minimum size of the generating set of a direct product of symmetric groups
- Unreachable rubik cube positions.
- Show that if $ab$ has finite order $n$, then $ba$ also has order $n$. - Fraleigh p. 47 6.46.
- Group of positive rationals under multiplication not isomorphic to group of rationals
- Can any finite group be realized as the automorphism group of a directed acyclic graph?
- $G$ group, $H \trianglelefteq G$, $\vert H \vert$ prime, then $H \leq Z(G)$
- Is there any uncountably infinite set that does not generate the reals?
- Number of permutations for a cycle-type

I can only answer your second question.

What you’re looking at geometrically is the finite cover of degree 5:

$$f : \text{Spec }\mathbb{Q}[s,t][x]/(x^5+sx^3+t)\rightarrow \text{Spec }\mathbb{Q}[s,t]$$

Away from the ramification locus (this is basically the values of $(s,t)$ which make the polynomial $x^5+sx^3+t$ have multiple roots) in $\text{Spec }\mathbb{Q}[s,t]$, the map is unramified, though not galois. The galois group you’re referring to is also called the “monodromy group” (this is geometric language). Let $U\subset\text{Spec }\mathbb{Q}[s,t]$, and let $X := f^{-1}(U)$. By the theory of the fundamental group, the cover $X\rightarrow U$ corresponds to a homomorphism

$$\pi_1(U)\longrightarrow S_5$$

The image of this map is called the monodromy group (for you, the galois group).

Specializing to a particular value of $s,t$ corresponds to pulling back the cover $X\rightarrow U$ via a map $p : \text{Spec }\mathbb{Q}\rightarrow U$. The pulled-back cover corresponds to the homomorphism

$$\pi_1(\text{Spec }\mathbb{Q})\stackrel{p_*}{\longrightarrow}\pi_1(U)\longrightarrow S_5$$

The galois group (monodromy group) of the specialization is then just the image of the above homomorphism, which can obviously cannot be larger than the image of the original homomorphism $\pi_1(U)\longrightarrow S_5$.

Therefore, if you can find a single value of $s,t$ for which the galois group is all of $S_5$, then you can conclude that the galois group of the unspecified polynomial is also $S_5$.

- Show that if $f'$ is strictly increasing, then $\frac{f(x)}{x}$ is increasing over $(0,\infty)$
- $W_n=\int_0^{\pi/2}\sin^n(x)\,dx$ Find a relation between $W_{n+2}$ and $W_n$
- Odd/Even Permutations
- Is $\mathbb{R}$ a finite field extension?
- Looking for an identity for characteristic polynomial of a matrix to the power of n
- 3 Utilities | 3 Houses puzzle?
- Complex Numbers…
- Restrictions on universal specification (in first-order logic)?
- Proving replacement theorem?
- In a metric space, why must $d(x,x) = 0$?
- Uniqueness for antipodal points of maximum distance on closed convex surface
- Ring with maximal ideal not containing a specific expression
- Orthogonality and linear independence
- Continuous functions on a compact set
- isomorphisms induced on $H_*$