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)

8
votes
2answers
880 views

How can one express $\sqrt{2+\sqrt{2}}$ without using the square root of a square root?

I was trying to review some analysis, and came across problem 3 from page 78 of Walter Rudin's Principles of Mathematical Analysis. As part of the problem, I wanted to try to write ...
8
votes
3answers
573 views

$\mathbb{Q}(\pi, i\pi)$ over $\mathbb{Q}$

Is $\mathbb Q(\pi,i\pi):\mathbb Q$ a simple extension?
8
votes
2answers
421 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)$. ...
8
votes
2answers
521 views

Is $\sqrt{2}\in\mathbb{Q}(\sqrt[8]{3})$ or not?

My hunch is that $\sqrt{2}\not\in\mathbb{Q}(\sqrt[8]{3})$. For practice, I want to compute the splitting field and its degree of $x^8-3$ over $\mathbb{Q}$. I know the roots are ...
8
votes
1answer
1k views

Why is it called a 'ring', why is it called a 'field'?

The definitions of 'ring' and 'field' are pretty straightforward. For a ring (e.g. integers): addition is commutative $( 1 + 2 = 2 + 1 )$ addition and multiplication are associative $(2 +(2+2)) = ...
8
votes
3answers
275 views

Polynomial irreducible - maximal ideal

I have a couple of ideals which I wonder if I correctly classify as maximal/prime ideal. $I_1 = \langle 2x^2 + 9x -3\rangle$, $I_2 = \langle x - 1\rangle$ $\mathbf 1)$ Is $I_1$ a maximal ideal in ...
8
votes
2answers
289 views

Good undergraduate level book on Cyclotomic fields

I have Lang's 2 volume set on "Cyclotomic fields", and Washington's "Introduction to Cyclotomic Fields", but I feel I need something more elementary. Maybe I need to read some more on algebraic number ...
8
votes
1answer
349 views

Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?

I'm reading a paper about Hamilton's discovery of quaternions and it explains why he failed in his 'theory of triplets' where he tried to make a vector with $3$ dimensions, as an analogy to the ...
8
votes
1answer
117 views

Short method to prove the irreducibility 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 ...
8
votes
2answers
189 views

Non-algebraically closed field in which every polynomial of degree $<n$ has a root

My problem is to build, for every prime $p$, a field of characteristic $p$ in which every polynomial of degree $\leq n$ ($n$ a fixed natural number) has a root, but such that the field is not ...
8
votes
4answers
528 views

Unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ if $p \equiv 1$ $(4)$, and $\mathbb{Q}(\sqrt{-p})$ if $p \equiv 3$ $(4)$

I want to prove the assertion: The unique quadratic subfield of $\mathbb{Q}(\zeta_p)$ is $\mathbb{Q}(\sqrt{p})$ when $p \equiv 1 \pmod{4}$, respectively $\mathbb{Q}(\sqrt{-p})$ when $p \equiv 3 ...
8
votes
1answer
206 views

Is $\mathbb{Q}_p(\zeta_p)$ the same as $\mathbb{Q}_p(p^{\frac{1}{p-1}})$?

It seems so. $\mathbb{Q}_p(\zeta_p)$ is a $p-1^{th}$ extension of $\mathbb{Q}_p$ which doesn't extend the residue field; and so is $\mathbb{Q}_p(p^{\frac{1}{p-1}})$. However I can't see how to express ...
8
votes
2answers
120 views

Can we make $\mathbb{Z}$ into a field?

This is probably an elementary question about fields, but I think it is a little tricky. Can we make the integers $\mathbb{Z}$ into a field? Let me be more precise. Is it possible to make ...
8
votes
1answer
120 views

Algebraic closure of $(\mathbb{Z}/p\mathbb{Z})(T)$

Is there a concrete description of the algebraic closure of $(\mathbb{Z}/p\mathbb{Z})(T)$?
8
votes
2answers
1k views

Problem in Jacobson's Basic Algebra (Vol. I)

It is section $4.4$, exercise number $5$. It says the following: Let $F$ be a field of characteristic $p$. Show that $f(x)=x^p-x-a$ has no multiple roots and that $f(x)$ is irreducible in $F[x]$ if ...
8
votes
2answers
2k views

Degree of $\sqrt{2}+\sqrt[3]{5}$ over $\mathbb{Q}(\sqrt{2})$ and $\mathbb{Q}(\sqrt[3]{5})$

I'm self-studying field extensions. I ran over an exercise which I can't completely solve. (I haven't yet started studying Galois theory, and I think this exercise isn't meant to be solved using it, ...
8
votes
2answers
152 views

The angle $168^\circ$ is constructible

Prove that the angle $\theta=168^\circ$ is constructible using a straightedge and a compass. It is enough to show that the number $\cos\theta$ is constructible, and WolframAlpha gave ...
8
votes
1answer
105 views

Does $f=g_1^{n_1}\cdots g_k^{n_k}$ imply $Gal(f)=Gal(g_1)\times\cdots\times Gal(g_k)$?

Let $f\in \mathbb{Z}[x]$ and $f=g_1^{n_1}\cdots g_k^{n_k}$ where $g_1,\cdots, g_k$ are distinct irreducible polynomials over $\mathbb{Q}$. Whether does it hold $Gal(f)=Gal(g_1)\times\cdots\times ...
8
votes
2answers
206 views

On irreducible factors of $x^{2^n}+x+1$ in $\mathbb Z_2[x]$

Prove that each irreducible factor of $f(x)=x^{2^n}+x+1$ in $\mathbb Z_2[x]$ has degree $k$, where $k\mid 2n$. Edit. I know I should somehow relate the question to an extension of $\mathbb Z_2$ of ...
8
votes
1answer
386 views

Cyclotomic extensions of $\Bbb Q$

Let $n>4$, and $(h,n) = 1$. How to show that $[\mathbb{Q}(\tan 2 \pi h/n):\mathbb{Q}]= \phi(n)$ or $\phi(n)/2$ or $\phi(n)/4$ respectively if $\gcd(n,8)<4$ or $\gcd(n,8)=4$ or ...
8
votes
1answer
2k 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 ...
8
votes
1answer
514 views

Why $E$ is the algebraic closure of $K$?

Let $E/K$ be a separable, algebraic extension such that every noncostant polynomial in $K[x]$ has a root in $E$, then $E$ is an algebraic closure of $K$. Could you help me to solve this exercise? ...
8
votes
2answers
262 views

If $a,b\in\mathbb{Z}$, and if $a+b\sqrt{2}$ has a root in $\mathbb{Q}(\sqrt{2})$, then the root is actually in $\mathbb{Z}[\sqrt{2}]$

I'm working my way though a classical geometry book by Hartshorne right now, but this problem popped up in a section I'm reading. It is Problem 13.10 from Hartshorne's Geometry: Euclid and Beyond if ...
8
votes
1answer
197 views

Is there a proper subfield $K\subset \mathbb R$ such that $[\mathbb R:K]$ is finite?

Is there a proper subfield $K\subset \mathbb R$ such that $[\mathbb R:K]$ is finite? Here $[\mathbb R:K]$ means the dimension of $\mathbb R$ as a $K$-vector space. What I have tried: If we can find ...
8
votes
1answer
212 views

Can we always find a primitive element that is a square?

Let $L/\mathbb Q$ be a galois extension. The Primitive element theorem says, that there is an element $\alpha \in L$, so that $L=\mathbb Q(\alpha)$. Can I always find an element $\beta \in L$, so ...
8
votes
2answers
177 views

Intermediate field between $F$ and $F(x)$

Suppose that $F$ is a field and that $u \in F(x):= \{PQ^{-1}:P,Q \in F[x], Q\neq 0 \}$, so that $F \subseteq F(u) \subseteq F(x)$. Is there a general method for determining $[F(x):F(u)]$? For my ...
8
votes
2answers
182 views

How many solutions of the equation $x^2-y^2=1$ are there with $x,y\in\mathbb F_{p^n}$?

Let $p>2$ be an odd prime. Let $\mathbb F_{p^n}$ be the field with $p^n$ elements. How many solutions of the equation $x^2-y^2=1$ are there with $x,y\in\mathbb F_{p^n}$? My work: Char $F=p$. ...
8
votes
1answer
95 views

A field which is not algebraically closed but has no extensions of a fixed degree(s)?

Consider the field $k$ obtained as the union of all finite towers of degree $2$ extensions over the rationals. Then $k$ has no degree $2$ extensions, yet $k$ admits extensions of every other finite ...
8
votes
2answers
118 views

Order of invertible matrices

I recently came across an interesting problem in Artin which says: If $A \in GL_2(\mathbb{Z})$ is of finite order then it has order $1,2,3,4,6$. I was looking for a generalization of this problem. ...
8
votes
1answer
156 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
425 views

Can a field be isomorphic to its subfield?

Let $K$ be a field and $K(X)$ be the field of its rational functions. Now let $\phi \in K(X)$ be a rational function such that $K(\phi) \neq K(X)$. Now, since $\phi$ is transcendental over $K$, ...
8
votes
1answer
147 views

Proving $f = x^8+x^7+x^3+x+1$ to be irreducible over $\mathbf{F}_2$.

I am taking all the irreducible polynomials over $\mathbf{F}_2$ of degree 1 to 4 inclusive and using the long division to determine whether the given $f$ is divisible by anyone of them and it is not ...
8
votes
2answers
194 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
187 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
100 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
1answer
221 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
216 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
183 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
620 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
722 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
191 views

What is the overall idea of Galois theory?

I am a third year undergraduate, doing a course on Field and Galois theory. Now, while I seem to understand most of the concepts locally, I do not seem to get the 'Whole picture' of what is happening ...
8
votes
0answers
252 views

On a Proof in Galois Theory

We have the following lemma (used in the proof of Abel's Theorem): If $\text{Char}(F)=0$, $E/F$ is a radical extension, and $K/E$ is the Galois closure of $E/F$, then $K/F$ is also a radical ...
8
votes
0answers
397 views

Proof that a finite separable extension has only finite many intermediate fields

Let $E/F$ be finite separable extension. Is there any proof of the fact that there are only finitely many intermediate fields without using primitive element theorem or fundamental theorem of Galois ...
8
votes
0answers
678 views

Patrick Morandi- Field and Galois Theory- Section 4- Exercise 11

Let $K$ be the rational function field $k (x)$ over a perfect field $k$ of characteristic $p > 0$. Let $F = k(u)$ for some $u$ in $K$, and write $u = \frac {f(x)}{g(x)}$ with $f$ and $g$ ...
7
votes
6answers
646 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
4answers
764 views

Show $x^6 + 1.5x^5 + 3x - 4.5$ is irreducible in $\mathbb Q[x]$.

Show $p(x) = x^6 + 1.5x^5 + 3x - 4.5$ is irreducible in $\mathbb Q[x]$. By Gauss' Lemma, a primitive polynomial in $\mathbb Z[x]$ is irreducible in $\mathbb Q[x]$ if and only if it is irreducible in ...
7
votes
2answers
253 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
4answers
477 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

Why are fields with characteristic 2 so pathological?

For example, over fields with characteristic 2, there exist nonzero symmetric nilpotent matrices, and nonzero matrices could be simultaneously symmetric and anti-symmetric. I wonder why characteristic ...
7
votes
2answers
1k 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 ...