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
3answers
2k 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 ...
8
votes
2answers
512 views

How to transform a general higher degree five or higher equation to normal form?

This is a continuation of How to solve fifth-degree equations by elliptic functions? How to transform a general higher degree five or higher equation to normal form? For xeample, a quintic equation ...
8
votes
3answers
528 views

Show that $\pi \notin Q(\pi^3)$

As the title says. I think a proof by contradiction is the most natural thing. Suppose $\pi \in Q(\pi^3)$. Then \begin{equation} \pi = ...
8
votes
3answers
258 views

Can you construct a field over every set $M$?

I know there are finite fields like $\mathbb F_2$, $\mathbb F_4$ or the $\mathbb Z/n\mathbb Z$ for prime $n$ with modulo operations. For other special $n$, I've seen fields $\mathbb F_n$ with $n$ ...
8
votes
2answers
2k 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 ...
8
votes
3answers
704 views

$F[x]/(x^2)\cong F[x]/(x^2 - 1)$ if and only if F has characteristic 2

Artin's Algebra, Chapter 10 problem 5.16 states: Let $F$ be a field. Prove that the rings $F[x]/(x^2)$ and $F[x]/(x^2-1)$ are isomorphic if and only if $F$ has characteristic 2. As a pedantic ...
8
votes
5answers
287 views

Does there exist a field $K$ such that $\mathbb R \subsetneq K \subsetneq \mathbb C$?

I'm thinking of unions of $\mathbb R$ with some subset of $\mathbb C$ but am not sure how to approach this without ending up with all of $\mathbb C$. Doe anyone have any suggestions?
8
votes
4answers
267 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 ...
8
votes
1answer
3k views

How to prove that the Frobenius homomorphism is surjective?

$R$ is a domain with characteristic $p$ ($p$ is prime).There is a homomorphism $f : R \to R$, $f(a)=a^p$. $f$ is called the Frobenius homomorphism. And I have known this. When $R$ which is mentioned ...
8
votes
2answers
904 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
581 views

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

Is $\mathbb Q(\pi,i\pi):\mathbb Q$ a simple extension?
8
votes
5answers
94 views

Is $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ the same as $\mathbb{Q}(\sqrt{2},\sqrt{3})$?

Is $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ the same as $\mathbb{Q}(\sqrt{2},\sqrt{3})$? I mean, $\mathbb{Q}[\sqrt{2},\sqrt{3}]$ can be viewed as: $\mathbb{Q}[\sqrt{2}][\sqrt{3}]$, as polynomials of ...
8
votes
2answers
427 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
531 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
337 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
294 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
352 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
122 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
196 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
550 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
124 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
123 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
156 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
2answers
243 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
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
106 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
1answer
387 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
525 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
264 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
201 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
360 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 ...
8
votes
2answers
187 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
120 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
160 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
445 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
52 views

Every subring of a field is a domain. Is this reciprocal?

I'm reading my notes on ring theory, and we proved on class that every subring of a field is a domain. Proof: Let $S \subseteq K$ be a subring of $K$, with $K$ a field. Let $x,y \in S$. If $xy=0$, ...
8
votes
1answer
148 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
199 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
67 views

Irreducibility of $x^{2n}+x^n+1$

I want to know for what $n$, $$x^{2n}+x^n+1$$ is irreducible modulo 2. I think for $n=3^k$ but have no idea how to prove it.
8
votes
1answer
201 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
103 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
230 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
71 views

$A$ regular, $k'/k$ transcendental. How to prove that $A \otimes_k k'$ is regular?

Let $k$ be a field and $k'$ a purely transcendental extension of $k$. Let now $A$ be an integral finitely generated $k$-algebra. How to prove that if $A$ is regular then $A \otimes_k k'$ is also ...