# Tagged Questions

15 views

### The existence of Pisot numbers in any real number field

Wikipedia claims that, given a real algebraic number field $K$ of degree $n$, there is an algebraic integer $r \in K$ of degree $n$ such that $r>1$, but every conjugate of $r$ has modulus $<1$. ...
21 views

### Embed local Galois groups in global Galois group

Let $k$ be a global field, $p$ be a rational prime and let $S$ be a set of primes of $k$ with density $\delta(S) = 1$. Let $\mathfrak{p} \in S$ be a prime and denote by $k_\mathfrak{p}$ the completion ...
43 views

### What is the proof Shafarevich gave that solvable groups are realizable over $\mathbb{Q}$?

I want to study it and present in front of my faculty as my seminar. I can't find the proof online anywhere. One proof I found was constructive and was for global fields. I want it over $\mathbb{Q}$ ...
44 views

### Interpretation of $S$-ideal class group

I have a problem understanding the interpretation of the ideal class group in the case of restricted ramifiction. Let $k$ be a number field and $S$ a set of primes of $k$. Then $k_S$ denotes the ...
31 views

### Make Galois extension large enough to let Galois group act trivially on module

Let $K|k$ be a finite Galois extension of number fields, inside a given "maximal" (infinite) Galois extension $k_S$ of $k$. Let $G = Gal(k_S | K)$ denote the Galois group and let $A$ be a ...
70 views

### A problem in Galois Theory

While reading algebraic number theory, I came across the following statement: Let $K$ be a galois extension over $\mathbb{Q}$ and $H$ be the Hilbert class field (maximal unramified abelian extension) ...
67 views

58 views

### Abelian extensions with squarefree discriminant

Is it true that for all $2 \leq n \in \mathbb N$ we can find an abelian extension of the rationals with squarefree discriminant and degree n? Are there even infinitely many? Some even degrees may be ...
173 views

### Galois representations and normal bases

I am not very familiar with the theory of Galois representations, but I do know a bit about both Galois theory and representation theory. Recently I learned about the notion of a normal basis for a ...
129 views

### Usage of algebraic geometry in understanding the total Galois group of the rational

A professor of mine remarked in class that: "The tools via which we understand the total Galois group of the rationals comes from algebraic geometry". Could anyone shed some light on this remark, or ...
97 views

### Galois group of CM fields

I am looking for examples of CM fields whose Galois group is not abelian. By a CM field $K$ I mean a totally imaginary quadratic extension of a totally real field $K_0$. If the extension is not Galois ...
70 views

### A sum of products symmetric in the images under all the embeddings

Let $\mathbb{Q}\subset K\subset \mathbb{C}$ where $K$ is a finite extension of $\mathbb{Q}$. Let $\sigma_1, \dots, \sigma_n$ be all the embeddings $K\rightarrow \mathbb{C}$. Is it true that elements ...
259 views

### How to prove summation, multiplication, subtraction of two roots of $1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0$ aren't rationals?

Assume $a$, $b$ are distinct roots of the following equation: $$1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0,$$ where $p$ is a prime number and $p \gt 2$. How to prove that $ab$, $a+b$, $a-b$ are not ...
189 views

### Doesn't Abhyankar's lemma contradict faithful flat descent (no, but I'm confused)

Let $O_K$ be a dvr with fraction field $K$. Let $L/K$ be a tamely ramified finite Galois extension. Then, Abhyankar's Lemma implies that there exists a finite Galois extension $K^\prime/K$ such that ...
153 views

### Trace and Norm of a separable extension.

If $L | K$ is a separable extension and $\sigma : L \rightarrow \bar K$ varies over the different $K$-embeddings of $L$ into an algebraic closure $\bar K$ of $K$, then how to prove that ...
100 views

### Isomorphism of Galois groups induces an isomorphism on decomposition groups?

This is a follow up question to this. Say we have Galois extensions $L ,M$ of $\Bbb{Q}$ with $L \cap M = \Bbb{Q}$ and consider the composite $K = LM$. I want to prove that \begin{array}{cccccc} f : ...
124 views

### Do we have such a direct product decomposition of Galois groups?

Let $L = \Bbb{Q}(\zeta_m)$ where we write $m = p^k n$ with $(p,n) = 1$. Let $p$ be a prime of $\Bbb{Z}$ and $P$ any prime of $\mathcal{O}_L$ lying over $p$. Notation: We write $I = I(P|p)$ to denote ...
103 views

### Galois groups of maximal unramified extensions

I have been workin throught Cassels-Frohlich Algebraic number theory. Im looking at local fields and their cohomology, in particular the Brauer group. On page 133 of casses-frohlich they make the ...
165 views

### Where is the calculation hiding in this proof about how $p$ splits in $\mathbb{Q}(\zeta_n)$?

I just worked through a proof in Daniel Marcus' book Number Fields that if $p\nmid n$, the inertial degree of any prime ideal of $\mathbb{Q}(\zeta_n)$ lying over $p$ is equal to the order of $p$ in ...
94 views

### Minimal polynomial of the form $\zeta_p+\frac{1}{\zeta_p}+\zeta_q+\frac{1}{\zeta_q }$?

We can calculate the minimal polynomial of $2cos(\frac{2\pi}{7})=\zeta_7+\frac{1}{\zeta_7}$ over Q as x^3+x^-2x-1 and simlary for $2cos(\frac{2\pi}{5})=\zeta_5+\frac{1}{\zeta_5 }$. Now my question ...
121 views

### A prime in a separable extension splits completly iff it does so in the galois closure.

I just did the following exercise out of Neukirch's Algebraic Number Theory: "A prime ideal p of K is totally split in the separable extension L|K iff it is totally split in the Galois closure N|K of ...
94 views

### Technical question on integral ring extensions

Let $A$ be an integral domain, integrally closed in its field of quotients $K$ and let $L$ be a finite Galois extension of $K$ with group $G$. Let $B$ be the integral closure of $A$ in $L$. Let $p$ be ...
### Common factors of the ideals $(x - \zeta_p^k)$, $x \in \mathbb Z$, in $\mathbb Z[\zeta_p]$
I'm trying to understand a proof of the following Lemma (regarding Catalan's conjecture): Lemma: Let $x\in \mathbb{Z}$, $2<q\not=p>2$ prime, ...
Let $p_1,\ldots,p_k$ be $k$ distinct primes (in $\mathbb{N}$) and $n>1$. Is it true that $[\mathbb{Q}(\sqrt[n]{p_1},\ldots,\sqrt[n]{p_k}):\mathbb{Q}]=n^k$? (all the roots are in $\mathbb{R}^+$) ...