The galois-groups tag has no usage guidance.

**4**

votes

**1**answer

251 views

### Question on Inverse Galois Theory

Let $G$ be a finite group, $n=|G|$. Let $\rho:G\rightarrow GL(n,\mathbb{C})$ be the regular representation. Let $G \le H \le S_n$ be another group.
Then we have
$\mathbb{Q}[x_1,\cdots,x_n]^H \le ...

**1**

vote

**2**answers

141 views

### Generic polynomial for alternating group ${A}_{4}$ is not correct

I was validating the percentage of cases where the generic two parameter polynomial for Galois group ${A}_{4}$ is valid. We have
\begin{equation*}
{f}^{{A}_{4}} \left({x, \alpha, \beta}\right) = ...

**4**

votes

**0**answers

72 views

### Explicit extensions for Heisenberg groups

Let $G$ be the $p$-adic Heisenberg group $\begin{pmatrix} 1&\mathbb Z_p&\mathbb Z_p\\&1&\mathbb Z_p\\&&1\end{pmatrix}$. Is it possible to write an explicit extension $K/k$, ...

**1**

vote

**0**answers

181 views

### Rational conjugation of elements of a finite group

Let $G$ be a finite group. Two elements $x$ and $y$ of $G$ are said to be rationally conjugate, written $x \sim_{r} y$, if and only if $\langle x\rangle$ and $\langle y\rangle$ are conjugate subgroups ...

**3**

votes

**0**answers

73 views

### Finding a divisor on a curve in a given linear equivalence class made with points over a “small” field

Suppose I have a curve $C$ defined over $\mathbb Q$ and a line bundle $\mathcal L$ on it,
also defined over $\mathbb Q$. I am interested in trying to find a (non-effective) divisor $D=\sum_i a_ip_i$ ...

**5**

votes

**1**answer

288 views

### Open subgroups of the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$

Let $G$ be the etale fundamental group of $P^1_\mathbb Q\setminus\{0,\infty\}$. Then $G$ is isomorphic to a semidirect product of $\widehat {\mathbb Z}(1)$ by $ Gal_\mathbb Q$.
Is it true that ...

**7**

votes

**2**answers

448 views

### Hodge structure versus Weight structure

This is a naive question.
One is told that, somehow, Hodge theory for varieties over complex numbers, is an analog of weight theory for varities over finite fields. In weight theory, one considers ...

**4**

votes

**1**answer

332 views

### Does there exist an order in a number field of deg>1 with a map to F_p for all p?

This question is motivated by a computational issue. Suppose $R$ is a product of orders in numberfields such that there is no ring homomorphism $R \to \mathbb Z$, then can one write an algorithm that ...

**0**

votes

**1**answer

426 views

### Does this isomorphism between Galois groups hold for transcendental extensions?

Suppose $L/K$ and $M/K$ are algebraic extensions of a field $K$, such that $L\cap M=K$, and $L/K$ is a normal extension. It is well-known that, with these conditions, we have:
$$\text{Gal}(L/K)\cong ...

**3**

votes

**1**answer

870 views

### Maximal tamely ramified extension of $\mathbf Q_p$

Is there an explicit description of the maximal tamely ramified extension of $\mathbf Q_p$?
Thank you.

**5**

votes

**3**answers

1k views

### Solving z^n=a+ib using only radicals of positive real numbers

Let $a+bi\in\mathbf{C}$ be a complex number with $a,b\in\mathbf{R}$. Then
it is easy to find exact solutions of $z^2=a+ib$. For example let $z=u+iv$. Then
$$
u^2+v^2=z\overline{z}=\sqrt{a^2+b^2}
$$
...

**3**

votes

**2**answers

401 views

### Is the absolute Galois group of the field of Laurent series in positive characteristic finitely generated?

If $K$ is an algebraically closed field of characteristic $p>0$, then $K((t))$, the field of Laurent series with coefficients in $K$, has infinitely many Galois extensions of degree $p$. Indeed, ...

**1**

vote

**0**answers

220 views

### Automorphism groups of fields

Hi there,
is there a classification/characterization of fields K for which the automorphism group Aut(K) has the property that |Aut(K)| < |K| (e.g. finite fields, the rationals and reals) ?
What ...

**4**

votes

**2**answers

348 views

### Subject to some conditions, is it possible to conclude a subfield of an abelian extension generated by a unit is a cyclic extension

My research is mostly in the area of modular categories. In the course of my research I came across a constraining set of number theoretic conditions that I'd like to exploit. It has been pointed out ...

**1**

vote

**1**answer

871 views

### What does Gal(Q_p/Q) mean? [closed]

What does
$\mathrm{Gal}(\overline{\mathbb{Q}}_{p}/\mathbb{Q})$ mean? ($p$ is a prime number.)
If it is defined as $\mathrm{Aut}(\overline{\mathbb{Q}}_{p}/\mathbb{Q})$, then does it have any property ...

**8**

votes

**1**answer

812 views

### Extensions obtained adding torsion points of an elliptic curve

When adding to the rational the $p$-torsion points $E[p]$ of an elliptic curve we obtain an extension containing the $p$-th roots of the unity, and whose Galois group can be embedded in $GL(2, ...

**6**

votes

**2**answers

589 views

### Polynomial with Galois Group $D_{2n}$

How does one construct a polynomial with Galois Group $D_{2n}$? A general method would be preferable or if that's impractical then an example of it being done for any n would be appreciated.
Thanks!

**25**

votes

**3**answers

2k views

### Galois Groups of a family of polynomials

I've stumbled across the family of polynomials
$ f_p(x) = x^{p-1} + 2 x^{p-2} + \cdots + (p-1) x + p $,
where $p$ is an odd prime. It's not too hard to show that $f_p(x)$ is irreducible over ...

**3**

votes

**1**answer

790 views

### Fundamental characters of level 1,2, etc.

I'm trying to understand the concept (definition) of the fundamental characters of level 1,2, etc. as Serre defined those in his Inventiones'72 paper and how they are related to Serre's conjecture. ...