Intereting Posts

Prove that $(ma, mb) = |m|(a, b)$
Is a pathwise-continuous function continuous?
Does the sum $\sum_{n=1}^{\infty}\frac{\tan n}{n^2}$ converge?
Very tight prime bounds
Spectral Measures: Spectral Spaces (II)
Cesàro operator is bounded for $1<p<\infty$
Do polynomials in two variables always factor in linear terms?
How would I undo a gradient function?
Representations of Direct Sum of Lie Algebras
Find the infinite sum $\sum_{n=1}^{\infty}\frac{1}{2^n-1}$
To show that function is constant
Let $V$ be a $K$-vector space, $f: V \rightarrow V$ a linear map. Under some condition, show that $v, f(v),…,f^n(v)$ are linearly independent.
Simple integral help
Number of positive, negative eigenvalues and the number of sign changes in the determinants of the upper left submatrices of a symmetric matrix.
Example of a simple module which does not occur in the regular module?

I want to prove the following:

If $F$ contains all $n$-roots of unity and $\operatorname{char}F$ not divides $n$ then $K:=F(\sqrt[n]{a_1},\sqrt[n]{a_2},\ldots,\sqrt[n]{a_m})/F$ is a Galois abelian extension.

**Hint:** Prove that $G:=Gal(K/F)\cong \left<a_1 F^{\times n},\ldots,a_m F^{\times n}\right>\leq F^\times/ F^{\times n}$, where $ F^{\times n}=\{x^n: x\in F^\times\}$.

- How to prove that G is a cyclic group
- Cogroup structures on the profinite completion of the integers
- What are Free Objects?
- Definition of gcd in Euclidean domain dependent on valuation?
- $\phi \times \theta$ is faithful iff $(|Z(H)| ,|Z(K)|)=1$ for faithful characters $\phi \in Irr(H)$ and $\theta \in Irr(K)$ .
- Abstract algebra book recommendations for beginners.

**Attempt:**

I show that $K/F$ is galois, $F^{\times n}$ subgroup, but I tried (and I can’t) to prove hint for $m=1$ considering the map $\psi\colon \left<a F^{\times n}\right>\to G=F(\sqrt[n]{a})/F$ given by $a^kF^{\times n}\to\sigma_k$ where $\sigma_k$ is defined by $\sigma_k(\sqrt[n]{a})=\zeta_n^{mk}\sqrt[n]{a}$ where $m$ is the order of $aF^{\times n}$. I proved that $\psi$ is an homomorphism but I don’t know how to prove that such $\sigma_k$ is an element of $G$, I tried using the basic theorems of radical extensions. I am almost sure that such a map is the desired isomorphism since I proved with a lot of examples.

- Find all ring homomorphisms from $\Bbb Q$ to $\Bbb R$
- Galois extension of $\mathbb{Q}$ with Galois group $\mathbb{Z}/4\mathbb{Z}$ that contains $\mathbb{Q}(\sqrt{3})$?
- $G$ is a nonabelian finite group, then $|Z(G)|\leq \frac{1}{4}|G|$
- $Aut_\mathbb{Q}(\overline{\mathbb{Q}})$ is uncountable
- Can non-units be multiplied together to form units?
- There is no “operad of fields”
- Does $S = R \cap K$ of a field extension $K \subseteq L = Q(R)$ satisfy $Q(S) = K$?
- If $$ is finite, then $ = $ iff $G = HK$ (Hungerford Proposition 4.8, Proof)
- Verifying that the ideal $(x^3-y^2)$ is prime
- Constructing an explicit isomorphism between finite extensions of finite fields

**Definition.** Let $L$ be a field and let $\alpha$ be an element of

a field extending $L$. The *radical degree* of $\alpha$ over $L$

is the smallest $p\geq 1$ such that $\alpha^p\in L$ (or $+\infty$ if

no such $p$ exists).

Then we have:

**Lemma.** If the radical degree $d$ of $\alpha$ is finite and not divisible

by the characteristic of $L$, and if $L$ contains all

$d$-roots of unity, then the minimal polynomial of

$\alpha$ over $L$ is exactly $X^d-{\alpha}^d$. In particular, the

radical degree coincides with the usual degree.

**Proof of lemma.** The minimal polynomial $M$ of

$\alpha$ over $L$ divides $X^d-{\alpha}^d$, so it is the form

$M=\displaystyle\prod_{k\in I}(X-\zeta^k\alpha)$ where $\zeta$ is

a primitive $d$-th root of unity and $I$ is a subset of

$\lbrace 1,2, \ldots ,d \rbrace$. Expanding, we see that

$$

M=X^{|I|}+\sum_{j=0}^{|I|-1}Q_k(\zeta)\alpha^{|I|-j}X^j

$$

where the $Q_k$ are polynomials with integer coefficients. Now the

coefficient $Q_k(\zeta)\alpha^{|I|-j}$ can be in $L$ only

if it is zero or if $|I|-j=d$. There is at least one non-zero coefficient

besides the leading one, and this can happen only when $|I|=d$ and $j=0$, which

concludes the proof.

Note that $\lbrace p\in {\mathbb Z} \mid \alpha^p \in L\rbrace$

is a subgroup of $\mathbb Z$, so it can only be $d{\mathbb Z}$. It follows that :

**Corollary.** The lemma still holds if the hypothesis on $\alpha$ is weakened

to $\alpha^n\in L$ for some $n>0$ not a multiple of the characteristic of $L$.

Now we can iterate the corollary: if we denote by $d_k (1\leq k\leq m) $ the radical degree of $a_k^{\frac{1}{n}}$ over $F_k=F(a_1^{\frac{1}{n}}, \ldots ,a_{k-1}^{\frac{1}{n}})$,

then by the corollary $d_k$ is in fact the degree of $a_k^{\frac{1}{n}}$ over $F_k$.

We have $[K:F]=[F_{m+1}:F_1]=\displaystyle\prod_{j=1}^{m}[F_{j+1}:F_j]=d_1d_2\ldots d_m$.

So the Galois group $G={\sf Gal}(K/F)$ contains exactly $d_1d_2\ldots d_m$ elements. Let

$H=\frac{\mathbb Z}{d_1\mathbb Z} \times \ldots

\times \frac{\mathbb Z}{d_m\mathbb Z}$, and let $\zeta$ is a fixed primitive $n$-th root of unity. Let $h=(h_1,h_2,\ldots ,h_m)\in H$.

The minimal polynomial of $\alpha_1$ over $F_0=F$ is exactly $X^{d_1}-\alpha_1^{d_1}$, so

there is a unique $i_1\in {\sf Gal}(F_1/F)$ satisfying $i_1(\alpha_1)=\zeta^{\frac{nh_1}{d_1}}\alpha_1$.

The minimal polynomial of $\alpha_2$ over $F_1$ is exactly $X^{d_2}-\alpha_2^{d_2}$, so

there is a unique $i_2\in {\sf Gal}(F_2/F)$ extending $i_1$ and satisfying $i_2(\alpha_2)=\zeta^{\frac{nh_2}{d_2}}\alpha_2$.

Iterating this process, we see eventually that there is a unique

$\sigma\in {\sf Gal}(F_k/F)$ such that $\sigma(\alpha_k)=\zeta^{\frac{nh_k}{d_k}}\alpha_k$ for every $k$ between

$1$ and $m$. This defines an injective map $H \to G$. It will be bijective

because $|G|=|H|=d_1d_2\ldots d_m$, and it is very easy to check that it is

a homomorphism.

So now it remains to construct an isomorphism between $H$ and

$W=\langle a_1F^{\times n},a_2F^{\times n},\ldots ,a_mF^{\times m}\rangle$. It is easy to check that the map

$$

H \to W, \ (i_1,i_2,\ldots, i_m) \mapsto \langle a_1^{i_1}a_2^{i_2} \ldots a_m^{i_m}\rangle

$$

is well defined and does the job.

- A concise guide to basic probability
- Accurate identities related to $\sum\limits_{n=0}^{\infty}\frac{(2n)!}{(n!)^3}x^n$ and $\sum\limits_{n=0}^{\infty}\frac{(2n)!}{(n!)^4}x^n$
- Why isn't the Ito integral just the Riemann-Stieltjes integral?
- An element of a group has the same order as its inverse
- Two Representations of the Prime Counting Function
- $S^2 \times S^2$ is diffeomophic to $G_2(\mathbb{R}^4)$
- Is zero a prime number?
- Integral $\int_1^\infty\frac{\operatorname{arccot}\left(1+\frac{2\pi}{\operatorname{arcoth}x-\operatorname{arccsc}x}\right)}{\sqrt{x^2-1}}\mathrm dx$
- A curious theorem by Peano
- $G\times H\cong G$ with $H$ non-trivial
- Asymptotic analysis of the integral $\int_0^1 \exp\{n (t+\log t) + \sqrt{n} wt\}\,dt$
- Parity through Series expansion
- De Rham Cohomology of the tangent bundle of a manifold
- Question about the cardinality of a space
- Limit of a sequence of determinants.