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

8
votes
2answers
84 views

Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?

I have convinced myself in a computation-heavy, ad-hoc way that a quadratic extension $K$ of $\mathbb{Q}$ occurs as the unique quadratic subfield of a $\mathbb{Z}/4$-extension of $\mathbb{Q}$ if and ...
8
votes
1answer
132 views

Question about the Galois extension of a given field extension

Let $K=\mathbb{Q}(\omega)$ be given, where $\omega^3=1$. I want to know: (1) Whether there is a Galois extension $L/\mathbb{Q}$ containing $K$ such that $\mathrm{Gal}(L/\mathbb{Q})\cong\mathbb{Z}_4$? ...
8
votes
1answer
884 views

Splitting field of a separable polynomial is separable

Probably a stupid question, but.. Why is the splitting field of a separable polynomial necessarily separable? Thanks. Follow up question Show that if $F$ is a splitting field over $K$ for $P \in ...
8
votes
2answers
166 views

Dimension of an algebraic closure as a vector space over its base field.

Let $k$ be an infinite field and $\bar{k}$ its algebraic closure. The Artin-Schreier Theorem tells us (among other things) that $[\bar{k}:k]=1,2,\infty$. There's a natural interpretation of ...
8
votes
1answer
163 views

Intermediate field, normal closure and Galois group

Let $K/F$ be Galois with $G=Gal(K/F)$ and let $L$ be an intermediate field. Let $N\subseteq K$ be the normal closure of $L/F$. If $H=Gal(K/L)$ show that $Gal(K/N)=\cap_{\sigma\in G}\sigma ...
8
votes
1answer
94 views

Help understanding fields.

Hi guys I have a test this tuesday and I am given practice questions to do , and I have trouble understanding fields. Like I know by definition what they are, but applying them is kind of confusing. ...
8
votes
2answers
262 views

The Noether-Deuring Theorem

I have to solve the following exercise taken from the book "Introduction to Representation Theory" by P. Etingof, O. Golberg, S. Hensel, T. Liu, A. Schwendner, D. Vaintrob, E. Yudovina and S. ...
8
votes
1answer
187 views

Generator of the multiplicative groups of units in $\mathbb{Z_5[x]}/(x^{2}+3x+3)$

I would like to find a generator of the multiplicative groups of units in $\mathbb{Z_5[x]}/(x^{2}+3x+3)$. This is a field since $x^{2}+3x+3$ is irreducible, so every coset with $bx+a\not=0$ as a ...
8
votes
1answer
191 views

Question about a property certain algebraic extensions $E/K$ (not necessarily separable) have.

A few days ago I found this question here on math.stackexchange, which gave a sufficient criterion for a separable, algebraic extension $E/K$ to be an algebraic closure of $K$. However it was claimed ...
8
votes
1answer
203 views

When does $\|z^2\|=\|z\|^2$

Let $k \in \mathbb{Z}$ and consider the field extension $K := \mathbb{Q}[\sqrt{k}]$. Define a norm on $K$ given by $\|p+q\sqrt{k}\| := \sqrt{p^2+q^2}$. For any $z \in K$, I was interested to know when ...
8
votes
1answer
156 views

Automorphisms of composite fields of finite extensions

If $\phi:\mathbb{Q}(a_1\ldots,a_n)\rightarrow\mathbb{Q}(b_1,\ldots,b_n)$ is an isomorphism of finite extensions of $\mathbb{Q}$ such that $\phi(a_i)=b_i$, can one extend $\phi$ to an automorphism ...
8
votes
1answer
463 views

A proof of Artin's linear independence of characters

I came up with a proof of Artin's linear independence of characters in field theory. The usual proof uses a clever trick devised by Artin. Since I'm not as clever as him, I prefer a proof which ...
8
votes
1answer
647 views

Roots of unity and field extensions

Can we always break an arbitrary field extension $L/K$ into an extension $F/K$ in which the only roots of unity of $F$ are those in $K$, followed by an extension $L/F$ which is of the form ...
8
votes
0answers
126 views

Relationship between intersection and compositum of fields

This issue came up in a number theory lecture today. Let $K$ be a number field and let $L/K$ be an abelian (finite Galois) extension. Then there exists a primitive $m$th root of unity $\zeta_m$ so ...
7
votes
6answers
358 views

Are all finite fields isomorphic to $\mathbb{F}_p$?

I've recently started taking some algebra courses and I was wondering whether or not every finite field is isomorphic to $\mathbb{F}_p$, where $p$ is prime.
7
votes
2answers
234 views

In field ($F, +, \cdot$) , how can I prove $x^2 =1\implies x=1,-1$

I'm a really confused about fields. I know that it means $x$ is the reciprocal element of itself, and I can easily show that $1^2=1$ (not as trivial for $(-1)^2$ though), but I'm not sure how it ...
7
votes
5answers
1k views

Infinite Degree Algebraic Field Extensions

In I. Martin Isaacs Algebra: A Graduate Course, Isaacs uses the field of algebraic numbers $$\mathbb{A}=\{\alpha \in \mathbb{C} \; | \; \alpha \; \text{algebraic over} \; \mathbb{Q}\}$$ as an example ...
7
votes
4answers
419 views

Proving that these two fields $\mathbb Z_{11}[x]/〈 x^2+1〉$ and $\mathbb Z_{11}[x]/〈 x^2+x+4〉$ are isomorphic with $121$ elements each.

I have been stuck in this problem for some time now. Prove that $x^2+2$ and $x^2+x+4$ are irreducible over $\mathbb{Z}_{11}$. Also, prove further $\mathbb Z_{11}[x]/\langle x^2+1\rangle$ and ...
7
votes
2answers
1k views

Two finite fields with the same number of elements are isomorphic

Fraleigh(7ed) Theorem33.12. Let $p$ be a prime and let $n\in\mathbb{Z}^+$. If $E$ and $E'$ are fields of order $p^n$, then $E \simeq E'$. Proof in the text: Both $E$ and $E'$ have ...
7
votes
4answers
242 views

Can we turn $\mathbb{R}^n$ into a field by changing the multiplication?

Of course $\mathbb{R}$ is a field with usual addition and multiplication. When we move up a dimension into $\mathbb{R}^2$, however, there is not a clear way to multiply two vectors together to get ...
7
votes
2answers
804 views

Tensor product and compositum of fields

Let E/k, F/k be two arbitrary field extensions of k. My question is: Is there a field extension M/k s.t. E/k, F/k are subextensions of M/k? Alternatively, can we talk about compositum fields without ...
7
votes
2answers
392 views

Show that an algebraically closed field must be infinite.

Show that an algebraically closed field must be infinite. Answer If F is a finite field with elements $a_1, ... , a_n$ the polynomial $f(X)=1 + \prod_{i=1}^n (X - a_i)$ has no root in F, so F ...
7
votes
3answers
965 views

If $A$ an integral domain contains a field $K$ and $A$ over $K$ is a finite-dimensional vector space, then $A$ is a field. [duplicate]

Possible Duplicate: Proof that an integral domain that is a finite-dimensional $F$-vector space is in fact a field I need to prove this result, but the only starting point I think of is to ...
7
votes
2answers
375 views

Can two different roots of an irreducible polynomial generate the same extension?

Let $K$ be a field and $f(x)$ be an irreducible polynomial over $K$. Suppose, $f(x)$ has degree at least $2$. Is it possible that if $a,b$ are two roots of $f(x)$ with $a\neq b$, then $K(a)=K(b)$. ...
7
votes
3answers
274 views

Do maximal proper subfields of the real numbers exist?

To clarify the problem, consider the field ${\Bbb R}$ as a field extension of ${\Bbb Q}$ using some sort of Hamel basis. Does there exist a field $F\subsetneq{\Bbb R}$ such that $F(\sqrt{2})={\Bbb R}$ ...
7
votes
2answers
1k views

Why does an irreducible polynomial split into irreducible factors of equal degree over a Galois extension?

I've been struggling to prove this fact over the past day or so. Suppose $f(x)\in F[X]$ is irreducible over a field $F$ with $\deg(f)=n$, and let $L$ be the splitting field of $f(x)$ over $F$ with ...
7
votes
2answers
186 views

Explicit Galois theory computation in cyclotomic field

Let $p$ be an odd prime. Let $\zeta=e^{\frac{\pi i}{4 p}}$, thus $\zeta$ is a primitive $8p$-th root of unity. There is a unique $\mathbb Q$-automorphism $\tau$ of the number field ${\mathbb ...
7
votes
1answer
283 views

For field extensions $F\subsetneq K \subset F(x)$, $x$ is algebraic over $K$

Let $x$ be an element not algebraic over $F$, and $K \subset F(x)$ a subfield that differs from $F$. Why is $x$ algebraic over $K$? Thanks a lot!
7
votes
2answers
2k views

reducible polynomial modulo every prime

how to show that $x^4+1$ is irreducible in $\mathbb Z[x]$ but it is reducible modulo every prime $p$. For example i know that $\mod 2 $, $x^4+1=(x+1)^4$ . Also $\mod 3$,we have that $0,1,2$ are not ...
7
votes
2answers
429 views

Elementary proof of $\mathbb{Q}(\zeta_n)\cap \mathbb{Q}(\zeta_m)=\mathbb{Q}$ when $\gcd(n,m)=1$.

In an answer to another question I used the fact that $\mathbb{Q}(\zeta_m)\subseteq \mathbb{Q}(\zeta_n)$ if and only if $m$ divides $n$ (here $\zeta_n$ stands for a primitive $n$th root of unity, ...
7
votes
2answers
747 views

A question regarding normal field extensions and Galois groups

The following is possibly true but I can't find a corresponding theorem: If $E/F$ is the splitting field of some polynomial in $F$ and $F \subset K \subset E$ then: $Gal(E/K)$ normal subgroup of ...
7
votes
1answer
79 views

Short method to prove irreduicibility of $x^7+21x^5+35x^2+34x-8$ over $\Bbb Q$?

I am given a task to prove that polynomial $f=x^7+21x^5+35x^2+34x-8$ is irreducible over $\Bbb Q$? In my algebra course we learnt reduction and Eisenstein criterion. Eisenstein doesn't seem to work ...
7
votes
1answer
115 views

Infinite $p$-extension contains $\mathbb{Z}_p$-extension

Does the Galois group of every infinite $p$-extension $K$ of a number field $k$ contain a (closed) subgroup such that the quotient group is isomorphic to $\mathbb{Z}_p$? My feeling is "yes", but I'm ...
7
votes
1answer
104 views

Extension degree of residue field.

Let $k$ be a field, and $A$ be a finitely generated $k$-algebra with $\text{dim}(A)\leq 1$. Then for any maximal ideal $\mathfrak{m}$ of $A$, does this inequality $[A/\mathfrak{m}:k]<\infty$ hold? ...
7
votes
2answers
391 views

Derivations in a ring. What applications do they have outside algebra?

INTRODUCTION Let $R$ be any ring, possibly without unity. We call a function $d:R\longrightarrow R$ a derivation on $R$ if it satisfies the following conditions. $(1)$ It is an endomorphism of the ...
7
votes
1answer
205 views

Field Extensions

Let $L/K$ a finite extension and $f(x)\in K[x]$ a non-linear irreducible polynomial. Prove that if $\mathrm{gcd}\left( \mathrm{deg}(f) , \left[ L:K \right] \right)=1$ then $f(x)$ has no roots in ...
7
votes
3answers
160 views

Proving that $X^6-15X^4-6X^3+75X^2-90X-116$ is irreducible over $\mathbb Q$

When asked to find the minimal polynomial of $\sqrt[3]{3}+\sqrt[2]{5}$ over $ \mathbb Q$, I easily found out that $X^6-15X^4-6X^3+75X^2-90X-116$ has $\sqrt[3]{3}+\sqrt[2]{5}$ as a root. It's very ...
7
votes
1answer
114 views

A first order theory whose finite models are exactly the $\Bbb F_p$

Is there a first order theory $T$ in the language of rings such that its finite models are exactly the fields $\Bbb F_p$ with $p$ prime (but no $\Bbb F_q$ with $q$ a proper prime power is a model of ...
7
votes
2answers
117 views

Equivalent definition of algebraically closed

In Hungerford's Algebra text, it is stated that a field $K$ is algebraically closed iff there exists a subfield $F$ such that $K$ is algebraic over $F$ and all polynomials in $F[x]$ split in $K[x]$. ...
7
votes
1answer
135 views

prove that the field extension is cyclic

Let's define the sequence $x_0=0$ and $ x_{i+1} = \sqrt{x_i+2}$ taking always the positive root. Prove that the field extension $\Bbb Q \subset \Bbb Q(x_i) $ is cyclic with degree $2^i$ Well.. at ...
7
votes
1answer
1k views

Existence of irreducible polynomials over finite field

Let $F$ be a finite field. How do we prove that for each $n \in \mathbb{N}$ there is an irreducible polynomial of degree $n$? One can assume that $F = \mathbb{F}_{p^m}$ where $p$ is prime. If $n \ge ...
7
votes
2answers
292 views

Is a completion of an algebraically closed field with respect to a norm also algebraically closed?

Assume we have an algebraically closed field $F$ with a norm (where $F$ is considered as a vector space over itself), so that $F$ is not complete as a normed space. Let $\overline F$ be its completion ...
7
votes
2answers
131 views

If $E/F$ is algebraic and every $f\in F[X]$ has a root in $E$, why is $E$ algebraically closed?

Suppose $E/F$ is an algebraic extension, where every polynomial over $F$ has a root in $E$. It's not clear to me why $E$ is actually algebraically closed. I attempted the following, but I don't think ...
7
votes
3answers
169 views

Every element is radical in a field extension.

Let $L/K$ be an algebraic field extension. Suppose for each $x\in L$, there exists an integer $n>0$ such that $x^n\in K$, where $n$ may depend on $x$. If the characteristic of $K$ is zero, does it ...
7
votes
2answers
128 views

Showing $\mathbb{Q}(2^{1/3}+2^{1/5})=\mathbb{Q}(2^{1/3},2^{1/5})$

In order to prove $[\mathbb{Q}(2^{1/3}+2^{1/5}):\mathbb{Q}]=15$, I want to show $\mathbb{Q}(2^{1/3}+2^{1/5})=\mathbb{Q}(2^{1/3},2^{1/5})$. Any suggestions?
7
votes
1answer
193 views

How to show that $(\mathbb{Q}(\sqrt{2}))^{\times} \cong (\mathbb{Q}(\sqrt{3}))^{\times}$

How to show that $$(\mathbb{Q}(\sqrt{2}))^{\times} \cong (\mathbb{Q}(\sqrt{3}))^{\times}$$ where $(\mathbb{Q}(\sqrt{2}))^{\times}$ is multiplicative group of $\mathbb{Q}(\sqrt{2})$. Mapping ...
7
votes
2answers
254 views

Splitting field of $x^{13}+1$ over $\mathbb{Q}$

I want to know how to calculate the degree of the field extension $[K:Q]$ where $K$ is the splitting field of $x^{13}+1$ over $\mathbb{Q}$. I'm new to this area and this is not really covered in my ...
7
votes
1answer
237 views

Algebraic Extensions and Separability

I have been wrestling with the following problem for the past few hours, but I have made no progress whatsoever, namely: Let $K/k$ be an algebraic extension with characteristic $p>0$ and let ...
7
votes
2answers
167 views

Application of the Artin-Schreier Theorem

This is exercise $6.29$ out of Lang's book: Let $K$ be a cyclic extension of a field $F$, with Galois group $G$ generated by $\sigma$. Assume that the characteristic is $p$, and that ...
7
votes
1answer
361 views

An exercise on cyclic extensions of Hungerford's book, Algebra.

I'm trying to show the following exercise of the book, it is in the section of cyclic extensions and says the following: Let $\overline{\mathbb Q}$ be a fixed algebraic closure of $\mathbb Q$, let ...