Use this tag for questions about fields and field theory in abstract algebra. A field is, roughly speaking, an algebraic structure in which addition, subtraction, multiplication, and division of elements are well-defined. Please use (galois-theory) instead for questions specifically about that ...

learn more… | top users | synonyms (1)

0
votes
0answers
47 views

separable degree and the radical exponent

Let $\alpha$ be algebraic over $F$, where $charF=p\neq0$ and let $d$ be the radical exponent of $\alpha$. (which means $\alpha$ has multiplicity $p^d$) I am trying to show the following expression; ...
3
votes
2answers
246 views

Galois Group for $x^5-1$

This question is an extension to the question in math.stackexchange.com/questions/759230/subfield-of-the-galois-group-of-x5-1 It seems the discussion in that topic is dead and I still have a major ...
1
vote
1answer
61 views

A question of algebraic geometry applied to field theory

I’ve come across this question in a coding theory course, and it has stumped me. Any hints and/or suggestions would be appreciated. Let $F$ be a field (for our purposes, assumed to be finite of ...
0
votes
3answers
41 views

Find values of $p$ for which in a field $\mathbb{Z}_p$, two equations have 1 solution.

Find values of $p$ for which in a field $\mathbb{Z}_p$, two equations, say $7x-y=1$ and $11x+7y=3$ have 1 solution. I can give some values of $p$ like the obvious $p = 7, 11$. But how do I ...
1
vote
2answers
69 views

Galois Group Calculation

Calculate the Galois Group $G$ of $K$ over $F$ when $F=\mathbb{Q}$ and $K=\mathbb{Q}\big(i,\sqrt2,\sqrt3 \big)$. My thoughts are as follows: By the Tower Lemma, we can see that ...
1
vote
0answers
112 views

Splitting Field of Irreducible Polynomial over a Finite Field

Suppose $f(x)$ is irreducible over $\mathbb{F}_p[X]$ and let $\alpha$ be a root of $f$ in some extension field. I want to prove the following claim. I have included thoughts below, but I am very ...
1
vote
1answer
53 views

Finding irreducible polynomials in a field.

I came across the following problem in Dummit and Foote which states: Find an irreducible polynomial for $e^{2\pi i/9}$ and $e^{2\pi i/10}$ over $\mathbb Q(e^{2\pi i/3})$ and $\mathbb Q$. So we ...
1
vote
1answer
47 views

Minimal polynomial of odd degree

I'm stuck on trying to prove this: Let $K\supset F$ and let $u$ be an algebraic element of $K$ with a minimal polynomial of odd degree. Prove that $F(u)=F(u^2)$. I know that in general, ...
0
votes
1answer
45 views

What are the roots of unity quadratic integers?

The article of Roots of unity in wikipedia implies that the following roots of unity are quadratic numbers: $$ \{\pm 1\}, \{\pm 1,\pm i\}, \{\pm 1,\pm \zeta,\pm \zeta^2\}. $$ where $\zeta=\exp(2\pi ...
3
votes
1answer
908 views

Online Finite Field Calculator

I need to find an online Finite Field calculator with the following operations: Inverse SqrRoot Mult Div I have found one a couple of days ago but lost the url, and cannot find it now. Any ...
6
votes
4answers
147 views

If a polynomial $g$ divides $f$ and $f'$, then $g^2$ divides $f$?

Here's a homework problem from Artin's Algebra that I'm having a lot of trouble with Let $f(x) \in F[x]$ (where $F$ is a field of characteristic $0$). If $g$ is an irreducible polynomial that is ...
3
votes
2answers
175 views

Primitive elements for $K=\Bbb{Q}(\sqrt{2},\sqrt{3})$

The key lemma for proving the primitive Element Theorem (for finite extension of a field $F$ with characteristic $0$) in Artin's Algebra (2nd edition) is the following: Suppose $char F=0$ and ...
1
vote
3answers
203 views

Show that any finite extension of $\mathbb{Q}$ is not algebraically closed.

EDIT: Entirely wrong question. I wanted to ask something else. How do I show that any finite extension of $\mathbb{Q}$ is not algebraically closed. In other words, the algebraic closure of ...
2
votes
3answers
139 views

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.$

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.$ Please help me. I'm absolutely clueless.
0
votes
1answer
12 views

Fields with Additive identity powers

Would it be possible to have a field (or field-like structure) with an additive identity $k$ where $k^a\neq k^b$ for $a\neq b$? I need this because I'm working with a field-like structure where if I ...
1
vote
1answer
256 views

Subfield of the Galois Group of $x^5 - 1$

Why is it that the subfield fixed by the subgroup of this Galois group is $\mathbb{Q}(\sqrt5)$. Can someone explain it without using the cyclotomic extension of $\mathbb{Q}$? Thank you edit: Using ...
0
votes
1answer
25 views

Separable and Splitting fields

Does a separable field imply splitting field? I am thinking yes. For $F < E$ If every $\alpha \in E$ is separable over $F$ then it must be that $E$ is a $S.F.$ over $F$? Also we have the ...
2
votes
4answers
791 views

How to show that $\mathbb Q(\sqrt 2)$ is not field isomorphic to $\mathbb Q(\sqrt 3).$

How to show that $\mathbb Q(\sqrt 2)$ is not field isomorphic to $\mathbb Q(\sqrt 3)?$ My text provides the hint as: Any isomorphism from $\mathbb Q(\sqrt 2)\to\mathbb Q(\sqrt 3)$ is identity when ...
0
votes
1answer
26 views

Express $a^5$ in terms of $c_0+c_1a+c_2a^2.$

Let $F=\mathbb Z_2,f(x)=x^3+x+1\in F[x].$ Suppose $a$ is a zero of $f(x)$ in some extension of $F.$ Then $F(a)\simeq F[x]/\langle f(x)\rangle$ and there is an isomorphism $$\phi:F[x]/\langle ...
0
votes
1answer
53 views

In algebraic extension, field homomorphism induces isomorphism.

I read this page's first answer. But I'm curious about why $\varphi$ induces injective map $S \to S$. Isn't it possible to make $\varphi(\alpha)= k$ such that $k$ is not root of $f(X)$?
6
votes
1answer
195 views

Equivalence of definitions for “normal extension” and how to lift isomorphisms to them

Briefly: I want to prove that these two definitions for "normal extension" are equivalent: "$K$ is a splitting field for a collection of polynomials in $F[x]$" vs. "Every irreducible polynomial in ...
1
vote
1answer
96 views

Automorphism that maps primitive roots of unity.

Let $ w_1,...,w_{ \phi(n)}$ be the primitive $n$th roots of unity of $ t^n -1 \in \mathbb Q[t]$. Show that for each $ 1 \le i \le \phi (n)$, there exists an $ \sigma\in Aut \mathbb Q(w_1)$ satisfies $ ...
0
votes
1answer
174 views

Field of algebraic numbers over $\mathbb{Q}$

Let $F$ be the field of algebraic numbers over $\mathbb{Q}$. I do remember that this means $F$ is a field extension of rationals over $\mathbb{Q}$. How do I show that the field extension of $F$ is ...
1
vote
1answer
262 views

How to find a primitive element of $\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})$ over $\mathbb{Q}$?

How to find a primitive element of $\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5})$ over $\mathbb{Q}$? I think that $[\mathbb{Q}(\sqrt{2}, \sqrt{3}, \sqrt{5}):\mathbb{Q}] = 8$, but not really sure how to ...
1
vote
1answer
49 views

Algebraic closure of a subfield of the field of fraction of a variety

I think that there is the following claim in Basic Algebraic geometry of Shafarevich. Let $X\to Y$ be a dominant morphism of varieties over an alebraically closed field $k$ of $char=0$. Let $\varphi: ...
6
votes
3answers
470 views

Why must a field with a cyclic group of units be finite?

Let $F$ be a field and $F^* \subseteq F$ be its group of units. If $F^*$ is cyclic show that $F$ is finite. I'm a bit stuck. I know that I can represent $F^* = \langle u \rangle$ for some $u \in F^*$ ...
0
votes
1answer
43 views

What exactly are the elements of $\mathbb{Z}_p[x]/\langle p(x) \rangle$?

It is wellknown that for a polynomial ring $\mathbb{Z}_p[x]$, $\mathbb{Z}_p[x]/\langle p(x) \rangle$ for prime $p$ is a field if and only if $p(x)$ is irreducible over the given polynomial ring, in ...
0
votes
1answer
92 views

Basis for $\mathbb{Q}[\sqrt{8}]$ over $\mathbb{Q}[\sqrt{2}]$

Provided that $x^2-8$ is the minimal polynomial for $\mathbb Q[\sqrt8]$ and $x^2-2$ is minimal for $\mathbb Q[\sqrt 2]$ we should have a basis with four elements. Thus far I know $1$ and $\sqrt 2$ ...
2
votes
1answer
87 views

Is $x^4+2$ irreducible over $\Bbb{Q}(i)$?

Let $f(x)=x^4+2$. Using the Eisenstein test to $f(x+2)$, one can show that $f$ is irreducible over ${\Bbb Q}$. Let $\beta$ be a complex root of $f$. Then the question in the title is equivalent to ...
1
vote
3answers
85 views

Dummit and Foote page 526

I'm having trouble with a line of example 2 on page 526. Consider the field $\mathbb{Q}(\sqrt{2},\sqrt{3})$. generated over $\mathbb{Q}$ by $\sqrt{2}$ and $\sqrt{3}$. Since $\sqrt{3}$ is of degree ...
1
vote
1answer
102 views

Dummit and Foote page 512 claim

Dummit and Foote Abstract Algebra page 512 Given any field F and any polynomial $p(x)\in F[x]$ one can ask a similar question: does there exist an extension K of F containing a solution of the ...
2
votes
3answers
91 views

Is is true that $\zeta$ has finite order?

Let $\zeta$ be a complex number on the unit circle $\{z\in \mathbb{C}: |z|=1\}$.Suppose that $[\mathbb{Q}(\zeta):\mathbb{Q}] < \infty$.Is it true that $\zeta ^n=1$ for some positive integer $n$?
3
votes
2answers
99 views

Is the algebraic subextension of a finitely generated field extension finitely generated?

This question is motivated by this other question (and its answer). Suppose we have a field $F$, possibly imperfect. Consider the finitely generated field extension $F(a_1,\ldots,a_n)$. Is it always ...
1
vote
1answer
37 views

Binomial formula over an arbitrary field

I'm working on a problem (namely, if $\alpha + \beta$ is algebraic over $F$ then $\alpha$ is algebraic over $F[\beta]$), and the binomial formula appeared. For the problem, I used the fact that, for ...
5
votes
1answer
85 views

Problem of Galois Extension

$\Bbb K$ is a non-Galois extension of $\Bbb Q$ and $[K:\Bbb Q]=4$. If $\Bbb F$ is the Galois closure of $\Bbb K$ then show that $Gal(\Bbb F/\Bbb Q)$ is either $S_4, A_4$ or $D_8$ with order 8. ...
2
votes
1answer
39 views

Is this function part of the Galois group?

Let $\Bbb K$ be a Galois extension of $\Bbb F_p$, where $p$ is prime. Let $\Phi$ be a function on $\Bbb K$. If $\Phi$ is an automorphism of $\Bbb F_p$ that permutes the roots of the minimal ...
3
votes
2answers
73 views

Galois Theory problem (primitive roots of unity)

If $e_1,e_2......,e_{p-1}$ denote primitive $p^{th}$ roots of unity. Here $p$ is prime. And set the sum of the $n^{th}$ powers of the $e_i$ as $p_n=e^n_1+e^n_2......+e^n_{p-1}$ Now I want to show that ...
2
votes
1answer
46 views

Uncountable, algebraically independent subset of $\mathbb{C}$?

Does such a subset exist? I am interested in algebraic independence over $\mathbb{Q}$. Could this be proven in an abstract way or would it be more appropriate to construct an explicit example?
0
votes
0answers
29 views

Equal fields and dimension

Let $K \subseteq L$ be fields. Show that K=L if and only if $dim_k L=1$ I know that I will have to show both directions of the implication. I'm very new to the topic of fields so I'm still ...
0
votes
1answer
32 views

countable set that contains 1 and pi and has polynomial with coefficients in set s.t. all real roots are in set

Deduce that there is a countable set X that contains the real numbers 1 and pi and has the further property that if P is any non-zero polynomial with coefficients in X, then all real roots of P belong ...
1
vote
5answers
144 views

How can one find a set of given cardinality and disjoint from a given set?

In Algebra by Serge Lang, the author asserts, to prove the existence of a field extension where an irreducible polynom has a root, that if you take one set $A$ and a cardinal $\mathcal{C}$, that you ...
5
votes
2answers
100 views

Is there always an intermediate field between non-prime field extension?

If we have $[E:F]=n$, where $n$ is not a prime number but is finite, can we like prime factorize $n=p_1p_2...p_r$, so that we have $[E:F]=[E:K_1][K_1:K_2]...[K_{r-1}:F]$ and each of the ...
3
votes
1answer
57 views

The Galois closure

If $\Bbb K$ is an extension of $\Bbb Q$ having degree 4, why is the Galois group corresponding to the Galois closure of $\Bbb K$ a subgroup of $S_4$?
1
vote
1answer
56 views

Proving the Galois Group of an extension is abelian

Let $E_{1}, E_{2}$ be subfields of $\mathbb{C}$. Suppose $E_{1}|\mathbb{Q}$ and $E_{2}|\mathbb{Q}$ are finite Galois extensions and $G(E_{1}:\mathbb{Q})\cong$ $\mathbb{Z}_{6}\cong$ ...
3
votes
1answer
71 views

Problem about Galois Extension.

$Gal(\Bbb K/\Bbb F)\cong S$. Where $\Bbb K$ is extension of $\Bbb F$. And $S= G_1\times G_2\times\cdots\times G_K$ is a solvable group. Where each $G_i$ are groups of prime power order and $o(S)= n.$ ...
0
votes
1answer
50 views

A question on solvable groups.

Let's suppose $S$ is a group and can be written as $S= G_1\times G_2\times\cdots\times G_K$; here each $G_i$ is a group of prime power order. And $o(S)= n.$ Is this $S$ solvable group? If yes how will ...
0
votes
2answers
51 views

How many elements does $\mathbb F = \mathbb Z_{7}[x]/I$ contain?

Let $p(x) \in \mathbb Z_{7}[x]$, given by $p(x) = x^{2}+3x+1$ and let $I = <p(x)>$ be the ideal in $\mathbb Z_{7}[x]$ constructed by $p(x)$. How many elements does $\mathbb F = \mathbb ...
1
vote
1answer
73 views

Galois field of order $p^n$

Can someone help me in establishing an image of how the group looks like. I am having a hard time visualizing it.
2
votes
0answers
24 views

Splitting Fields Proof

Let $K\subseteq L$ be fields and $ f \in K[X] \setminus K$. Prove that the following are equivalent. (a) $L$ is a splitting field for $f$ over $K$ (b) $f$ splits over $L$ and $L=K(a_1,\ldots,a_n)$ ...
2
votes
1answer
51 views

If an identity in the language of rings holds for all fields, does it necessarily hold for all commutative rings?

It is weirdly difficult to find new identities for ring theory (other than commutativity) that make it more like field theory. This motivates my: Question. If an identity in the language of rings ...