1) Let $p$ prime and $n\geq 1$ an integer. Show that there is a finite field of order $p^n$ in an algebraic closure $\mathbb F_p^{alg}$ and that all finite field is isomorphic to exactly one field $\mathbb F_{p^n}$ 2) Let $\mathbb F_q$ a finite field and $n\geq 1$ an integer. Let $\mathbb F_q^{alg}$ an algebraic […]

Let $F$ be a field of characteristic $p$ and let $f (x) = x^p- a \in F[x]$. Show that $f (x)$ is irreducible over $F$ or $f (x)$ splits in $F$. If I assume that $f(x)$ doesn’t split, then $f(x)$ cannot be written as a product of linear factors. But I can’t find any way […]

Find the splitting field of $x^3-1$ over $\mathbb{Q}$. My try: Factoring this to the most I can (in $\mathbb{Q}$), we get that $(x-1)(x^2+x+1)$ So $x=1$ is a root of $f(x)$. $x^2+x+1$ has no roots in $\mathbb{Q}$ so I conclude it is irreducible (since we have a low degree of $2$) Can I conclude that the […]

I am trying to explicitly compute the Galois group of $x^4-2$ over $\mathbb{Q}$. I found that the resolvent polynomial is reducible and the order of the Galois group is $8$ using the splitting field $K=\mathbb{Q}(2^{1/4}, i)$. Hence I need to find 8 automorphisms. Thus do I just map elements of the same order to each […]

I am trying to find the Galois group of $x^{4}+7$ over $\mathbb{Q}$ and all of the intermediate extensions between $\mathbb{Q}$ and the splitting field of this polynomial. I have found that the splitting field is $\mathbb{Q}(i, \sqrt[4]{7}\sqrt{2})=\mathbb{Q}(i,\sqrt[4]{28})$. Edit: (Justifying the splitting field stated above) The roots of the polynomial are $\sqrt[4]{7}\big(\pm \frac{\sqrt{2}}{2}\pm i\frac{\sqrt{2}}{2}\big)$ so the […]

From a previous question, we have that $\sqrt[3]{3} \notin \mathbb{Q}(\sqrt[4]{3})$, and I am assuming that we would need to use this to justify the answer to the question. Would it be right to use some idea of a splitting field here? Or is it something to do with $\mathbb{Q}(\sqrt[3]{3}, \sqrt[4]{3})$ not containing a primitive 3rd […]

I’d like to know how to prove algebraic numbers form a field, i.e., if $a,b$ are algebraic numbers, prove that $ab$ and $a+b$ are also algebraic numbers by finding specific polynomials that satisfy $ab$ and $a+b$. I know there is a way to do this using Kronecker Symbol, but not sure exactly how to do […]

This statement is suggested as a correction to this question: If $K$ is the splitting field of the polynomial $P(x)=x^n-a$ over $\mathbb{Q}$, prove that $K$ contains all the $n$th roots of unity. How to prove it?

The polynomial $f(x) = x^3 -3x + 1$ is irreducible, and I’m trying to find the splitting field of the polynomial. We’ve been given the hint by our lecturer to allow an arbitrary $\alpha$ to be a root and then to check that $\alpha$ is a root, then $2-\alpha^2$ is also root. I’ve done this […]

This question already has an answer here: Galois Group of $\sqrt{2+\sqrt{2}}$ over $\mathbb{Q}$ 1 answer

Intereting Posts

probabilistically what can we say about the next throw of a coin after n throws
Legendre symbol $(-21/p)$
Can a cubic equation have three complex roots?
Better Proofs Than Rudin's For The Inverse And Implicit Function Theorems
A continued fraction involving prime numbers
Example of a an endomorphism which is not a right divisor of zero and not onto
General McNugget problem
Solve functional equation $(x+y)(f(x)-f(y))=f(x^2)-f(y^2)$
Line integral over ellipse in first quadrant
Why are polynomials defined to be “formal”?
What is wrong with this proof that there are no odd perfect numbers?
Explanation of Lagrange Interpolating Polynomial
simple tools to extract Re,Im,Abs… of any complex function
The Image of T = Column Space of A
Does Convergence in probability implies convergence of the mean?