Let $G=\{\sigma_1=1, \sigma_2, \dots,\sigma_n\}$ be a subgroup of automorphisms of a field $K$ and let $F$ be the fixed field. Then $[K:F]=|G|$ Why is this always true? I thought this would be true only if $K$ was the Galois extension of $F$ and $G$ was $\text{Aut}(K/F)$

How can I prove that the field of Laurent series over $\mathbb{C}$ is quasi-finite, which means that it has a unique extension of degree $n$ for all $n \geqslant 1$ ? The article http://en.wikipedia.org/wiki/Quasi-finite_field says that the extension of degree $n$ is $\mathbb{C}((T^{1/n}))$. I think that I understand why it is an extension of degree […]

I was trying to apply the Extended Euclidean Algorithm for Galois Field. Among the many resources available, I found the methodology outlined in this document easy to grasp. The above works fine when applied to numbers. Now, for $\textit{GF}(2^3)$, if I take the polynomial $x^2$ and the irreducible polynomial $P(x) = x^3 + x + […]

I’m trying to find the Galois group of $$f(x)= x^6 – 3x^3 + 2$$ over $\mathbb{Q}$. Now I can factorise this as $$f(x) = (x-1)(x^2 + x + 1)(x^3 – 2)$$ I can see the splitting field must be $\mathbb{Q}(\omega, \sqrt[3]{2})$ (where $\omega$ is a 3rd root of unity) which has degree $6$ and so […]

Let $f(x) = x^6 + ax^4 + bx^2 + c$ with a,b,c ∈ $\mathbb{Q}$ be an irreducible polynomial in $\mathbb{Q}$[x]. Let K be the splitting field of f(x) over $\mathbb{Q}$ and let G = Gal[K:$\mathbb{Q}$]. Then prove that |G| ≤ 48. My attempt: I have that [$\mathbb{Q}$(α) : $\mathbb{Q}$] = 6. I claim that one […]

Let $K/F$ be a Galois extension with $G=\text{Gal}(K/F)$. $\mathcal{I}=\lbrace E\text{ }|\text{ }E/F \text{ is Galois and }[E:F]<\infty\rbrace$ $\mathcal{N}=\lbrace N\text{ }|\text{ } N=\text{Gal}(K/E) \text{ for some } E\in\mathcal{I}\rbrace$ The Krull topology over $G$ is defined as follows. The set $B=\lbrace \sigma_iN_i\text{ }|\text{ }\sigma_i\in G \text{ and }N_i\in\mathcal{N}\rbrace$ is the base for the Krull topology. I am […]

Hi all I was given the following question in my field theory class which I am stuck on: I am given $ K/F $ a finite extension of fields. I am asked to show the existence of an $ K \subset L $ such that L/F is a normal extension and if we have $ […]

According to this question I want to extend the question from there. Lets consider again the galois extension $\mathbb Q(\zeta)/\mathbb Q$ where $\zeta$ is a primitive root of the $7^{th}$ cyclotomic polynomial. I want to determine the minimal polynomial of $\zeta+\zeta^{-1}$ and $\zeta+\zeta^{2}+\zeta^{-3}$. I know that one of the minimal polynomial has degree 2 and […]

There was an exercise labeled difficile (English: difficult) in the material without solution: Suppose $d\in\mathbb Z\backslash\{0,1\}$ without square factors, and $n$ is the smallest natural number $n$ such that $\sqrt d\in\mathbb Q(\zeta_n)$, where $\zeta_n=\exp(2i\pi/n)$. Show that $n=\lvert d\rvert$ if $d\equiv1\pmod4$ and $n=4\lvert d\rvert$ if $d\not\equiv1\pmod4$. It’s easier to show that $\sqrt d\in\mathbb Q(\zeta_n)$, although I […]

Let $K$ be a finite field with $q$ elements. Show that if $U$ is the subgroup of $Aut(K(x)/K)$ which consists of all mappings $\sigma$ of the form $(\sigma \theta)(x) = \theta(ax+b)$ with $a \neq 0$ then $F(U) = K((x^q -x)^{q-1})$. I am not getting any clue to solve the problem. Help Needed. Here $F(U)$ is […]

Intereting Posts

formula that can be used to integrate powers of log-sin
Stuck in integration problem
Does the square of uniform distribution have density function?
Suppose $n$ is an even positive integer and $H$ is a subgroup of $\mathbb Z/n \mathbb Z$. Prove that either every element of $H$ is…
Is it possible to alternate the law of mathematics?
A basis for the dual space of $V$
Countably compact paracompact space is compact
Information about Problem. Let $a_1,\cdots,a_n\in\mathbb{Z}$ with $\gcd(a_1,\cdots,a_n)=1$. Then there exists a $n\times n$ matrix $A$ …
How to find all the coset leaders? (follow-up to a previous question)
Gromov-Hausdorff distance and the “set of all sets”
Finding $x^4 + y^4 + z^4$ using geometric series
Existence of sequences converging to $\sup S$ and $\inf S$
factorization of the cyclotomic $\Phi_n(x)$ over $\Bbb F_p$
Differential of transposed matrices
self similar solution for porous medium equation 2