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
vote
1answer
24 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
0
votes
1answer
10 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
58 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
24 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
15 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)$?
3
votes
0answers
42 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
40 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
0answers
14 views

Field Extension of Rational Functions

Let $L = F(x)$ be the field of rational functions over a field F. Let $u \in L \backslash F$. Let $K = F(u)$. If u can be written as $\frac{f}{g}$ where $gcd(f,g) = 1$, then prove $[L:K]$ = max {deg ...
0
votes
1answer
57 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
36 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
22 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: ...
3
votes
2answers
54 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
30 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 ...
-1
votes
0answers
113 views

Construction of the field of real numbers within $ZF$ [duplicate]

I am interested in a problem whether the field of real numbers can be constructed within $ZF$. I will state the problem more precisely as follows. Definition 1 An ordered field $K$ is called ...
0
votes
1answer
50 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
77 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
50 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 ...
0
votes
0answers
21 views

About irreducibility over Fields of non-zero characteristic. [closed]

Question-1: Let $F$ be an imperfect field with characteristic $p$. Then $(x^{p^n}) - a$ is irreducible for $a$ in $F^p$ and $n=0,1,2,\ldots$ Question-2: Let $f(x)$ be irreducible in $F[x]$, $F$ of ...
1
vote
1answer
53 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
71 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
59 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
20 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
58 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. ...
1
vote
1answer
27 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
51 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
37 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
25 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
21 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
111 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
62 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
33 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
31 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
58 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
39 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
0answers
14 views

Field Extensions Identities

I'm working on proving some identities but I need some help clarifying the notation and what exactly each statement is saying. Prove the following identities. (a) $K(A) = QF (K[A])$ (b) $R[A_1 ...
0
votes
2answers
28 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 ...
2
votes
1answer
31 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.
1
vote
0answers
12 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
37 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 ...
1
vote
3answers
43 views

An irreducible polynomial cannot share a root with a polynomial without dividing it

There is a lemma of Galois stating, "An irreducible equation can have no common root with a rational equation without dividing it". His definitions are a little bit imprecise, but I think he means: ...
0
votes
1answer
37 views

Let $\mathbb F = \mathbb Z_{3}[x]/\langle x^{2}+1 \rangle$ Show that $\phi : G \to \mathbb F\backslash\{0\}$ defined by …

Let $G = \left\{ \begin{bmatrix} \alpha & \beta \\ 2\beta & \alpha \end{bmatrix} \;\Bigg| \; \alpha,\beta \in \mathbb Z_{3} (\alpha,\beta) \neq (0,0) \right\}$ Let $\mathbb F = \mathbb ...
1
vote
1answer
35 views

$x^4-3x^2+4$ irreducible over over $\mathbb{Q}$

I need to prove irreducibility of $x^4-3x^2+4$ over $\mathbb{Q}$. It can't have any linear factor since it doesn't have any root in $\mathbb{Q}$ because any $\alpha \in \mathbb{Q}$ is a root only ...
2
votes
1answer
35 views

Order Of The Intersection of Two Subfields.

Last question haha, Let $E$ and $F$ be subfields of $GF(p^n)$. If $|E| = p^r$ and $|F| = p^s$, what is the order of $E\cap F$? I read a corollary that "A finite field of order $p^n$ contains a ...
2
votes
3answers
32 views

Showing an element in a Finite Field can be written as a power.

I had a question that I'm stuck with: Show that every element in $GF(p^n)$ can be written in the form of $a^p$ for some unique $a\in GF(p^n)$. So this field is the splitting field for the polynomial ...
5
votes
1answer
31 views

Generators of $\mathbb{F}_9/\mathbb{F}_3$ that do not generate $\mathbb{F}_9^{\times}$

Find a generator of the extension $\mathbb{F}_9/\mathbb{F}_3$ that does not generate the multiplicative group $\mathbb{F}_9^{\times}$. how many such elements exist? what are their minimal ...
0
votes
1answer
39 views

find the number of solutions of the equation $a_1x_1+a_2x_2+…+a_nx_n=0$ in a linear space over Galois field

Linear space $\Bbb F_p^n$ contains $p^n$ vectors $( x_1, x_2, ..., x_n)$ with length $n$ over finite $\Bbb F_p$ Galois field comprised from $p$ elements. How many solutions in $\Bbb F_p^n$ has the ...
0
votes
3answers
81 views

showing $Q[\sqrt 2] = Q(\sqrt 2)$

The question came in my exam. $Q[\sqrt 2] = \{ a + b \sqrt2 \;| a,b \in Q\}$ and $Q(\sqrt 2)$ is minimal subfield of it's extension containing $Q$ and $\sqrt 2$. (In my book) It calls $F(a)$ ...
4
votes
1answer
41 views

Multiplicative order in field extension

Let $F/K$ be some field extension (both are finite fields) and $u$ be some element in $F$. I want to know if $u^{|K|} = u$ implies $u \in K$. And why?
0
votes
1answer
34 views

Proving that a function has no repeated roots

Let $\mathbb{Q} \subset F$ be a field extension. Prove that if $f(x) \in F[x]$ is irreducible, then it has no repeated roots in any field extension of F. as a hint we were given that a repeated root ...
0
votes
0answers
38 views

Notational Clarification - Abstract Algebra

I'm going through a paper on homomorphic encryption by Smart and Vercauteren entitled "Fully Homomorphic SIMD operations" and had a question about some notation used in the paper. In section 2 of the ...