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)

66
votes
2answers
7k views

The square roots of different primes are linearly independent over the field of rationals

I need to find a way of proving that the square roots of a finite set of different primes are linearly independent over the field of rationals. I've tried to solve the problem using ...
30
votes
7answers
6k views

How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$?

How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$? Right now I'm able to prove that it has no roots and that it is separable, but I have not a clue as to ...
30
votes
5answers
9k views

Is $\mathbf{Q}(\sqrt{2}, \sqrt{3}) = \mathbf{Q}(\sqrt{2}+\sqrt{3})$?

Is $\mathbf{Q}(\sqrt{2}, \sqrt{3}) = \mathbf{Q}(\sqrt{2}+\sqrt{3})$ ? $$\mathbf{Q}(\sqrt{2},\sqrt{3})=\{a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6} \mid a,b,c,d\in\mathbf{Q}\}$$ ...
17
votes
2answers
1k views

Proving that $\left(\mathbb Q[\sqrt p_1,\dots,\sqrt p_n]:\mathbb Q\right)=2^n$ for distinct primes $p_i$.

I have read the following theorem. If $p_1,p_2,\dots,p_n$ are distinct prime numbers, then$$\left(\mathbb Q\left[\sqrt p_1,\dots,\sqrt p_n\right]:\mathbb Q\right)=2^n.$$ I have tried to prove a ...
11
votes
3answers
2k views

Proof that an integral domain that is a finite-dimensional $F$-vector space is in fact a field

I'm reading Galois Theory by Steven H. Weintraub (second edition), and finding that I'm at least somewhat short on the prerequisites. However the following proof looks wrong to me - am I ...
35
votes
2answers
2k views

How to solve fifth-degree equations by elliptic functions?

From F. Klein's books, It seems that one can find the roots of a quintic equation $$z^5+az^4+bz^3+cz^2+dz+e=0$$ (where $a,b,c,d,e\in\Bbb C$) by elliptic functions. How to get that?
31
votes
2answers
2k views

Polynomials irreducible over $\mathbb{Q}$ but reducible over $\mathbb{F}_p$ for every prime $p$

Let $f(x) \in \mathbb{Z}[x]$. If we reduce the coefficents of $f(x)$ modulo $p$, where $p$ is prime, we get a polynomial $f^*(x) \in \mathbb{F}_p[x]$. Then if $f^*(x)$ is irreducible and has the same ...
10
votes
2answers
3k 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 ...
46
votes
6answers
4k views

Continuity of the roots of a polynomial in terms of its coefficients

It's commonly stated that the roots of a polynomial are a continuous function of the coefficients. How is this statement formalized? I would assume it's by restricting to polynomials of a fixed ...
5
votes
3answers
4k views

How many irreducible polynomials of degree $n$ exist over $\mathbb{F}_p$?

I know that for every $n\in\mathbb{N}$, $n\ge 1$, there exists $p(x)\in\mathbb{F}_p[x]$ s.t. $\deg p(x)=n$ and $p(x)$ is irreducible over $\mathbb{F}_p$. I am interested in counting how many such ...
9
votes
3answers
5k views

Is $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$?

In this post we saw isomorphism of vector spaces over $\mathbb{Q}$. Just came across this question: Is $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$? In know these as $\mathbb{Q}$-Vector ...
62
votes
2answers
8k views

Example of infinite field of characteristic $p\neq 0$

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
13
votes
4answers
845 views

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

Let $F$ be a field and $F^\times$ be its group of units. If $F^\times$ is cyclic show that $F$ is finite. I'm a bit stuck. I know that I can represent $F^\times = \langle u \rangle$ for some $u ...
6
votes
3answers
3k views

Subfields of finite fields

We know that if a finite field $F$ has characteristic $p$ (prime), then $F$ has cardinality $p^r$ where $r = [F:\mathbb{F}_p]$. I'm now trying to say something about the possible cardinalities of ...
25
votes
10answers
4k views

Proving $\sqrt 3$ is irrational.

There is a very simple proof by means of divisibility that $\sqrt 2$ is irrational. I have to prove that $\sqrt 3$ is irrational too, as a homework. I have done it as follows, ad absurdum: Suppose ...
4
votes
7answers
477 views

What's the rationale for requiring that a field be a $\boldsymbol{non}$-$\boldsymbol{trivial}$ ring?

The title pretty much says it all. Of course, one answer (IMO unsatisfactory) to such questions goes something like "a definition is a definition, period." In my experience, mathematical definitions ...
29
votes
1answer
3k views

Is there a purely algebraic proof of the Fundamental Theorem of Algebra?

Among the many techniques available at our disposal to prove FTA, is there any purely algebraic proof of the theorem? That seems reasonably unexpected, because somehow or the other we are depending ...
17
votes
2answers
2k views

How to prove that $\mathbb{Q}[\sqrt{p_1}, \sqrt{p_2}, \ldots,\sqrt{p_n} ] = \mathbb{Q}[\sqrt{p_1}+ \sqrt{p_2}+\cdots + \sqrt{p_n}]$, for $p_i$ prime?

This is Exercise 18.14 from Algebra, Isaacs. $p_{1}\ ,\ p_{2}\ ,\ ... p_{n}$ are different prime numbers. How to show that $$\mathbb{Q}[\sqrt{p_{1}}, \sqrt{p_{2}}, \ldots, \sqrt{p_{n}} ] = ...
22
votes
4answers
4k views

How to prove that the sum and product of two algebraic numbers is algebraic?

Suppose $E/F$ is a field extension and $\alpha, \beta \in E$ are algebraic over $F$. Then it is not too hard to see that when $\alpha$ is nonzero, $1/\alpha$ is also algebraic. If $a_0 + a_1\alpha + ...
12
votes
2answers
850 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 ...
6
votes
3answers
1k views

Field with natural numbers

To make sure that we are talking about the same, I would like to post the relevant definitions I know first. Definitions: A pair $(G, +)$ where $G$ is a set and $+: G \times G \rightarrow G$ is ...
8
votes
2answers
2k views

Constructing a Galois extension field with Galois group $S_n$

Constructing a Galois extension field $E$ with $Gal(E/F)= S_n$ How do I construct one?
23
votes
4answers
2k views

Algebraic closure for $\mathbb{Q}$ or $\mathbb{F}_p$ without Choice?

I know the usual proof of the existence of an algebraic closure for any field using Zorn's Lemma. The answer to this previous question makes it clear that in general, some nonconstructive axiom (not ...
4
votes
1answer
1k views

Characteristic of a field is $0$ or prime

I'm trying to prove that the characteristic of any field $F$ is either $0$ or a prime number, but I have no idea what to do. Help?
11
votes
3answers
2k views

Irreducibility of a polynomial if it has no root (Capelli) [duplicate]

Let $F$ be a field of arbitrary characteristic, $a\in F$, and $p$ a prime number. Show that $$f(X)=X^p-a$$ is irreducible in $F[X]$ if it has no root in $F$. This answer to a related question ...
2
votes
3answers
1k views

Equal simple field extensions?

I have a question about simple field extensions. For a field $F$, if $[F(a):F]$ is odd, then why is $F(a)=F(a^2)$?
8
votes
2answers
257 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
3k 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 ...
6
votes
1answer
1k views

Splitting field of $x^{n}-1$ over $\mathbb{Q}$

From I.N.Herstein's Topics in Algebra. Chap 5 Sec 5.3 Page 227 Problem 8 Problem 8: If $n>1$ prove that the splitting field of $x^{n}-1$ over the field of rational numbers is of degree $\Phi(n)$ ...
3
votes
3answers
1k views

Finding a basis for $\Bbb{Q}(\sqrt{2}+\sqrt{3})$ over $\Bbb{Q}$.

I have to find a basis for $\Bbb{Q}(\sqrt{2}+\sqrt{3})$ over $\Bbb{Q}$. I determined that $\sqrt{2}+\sqrt{3}$ satisfies the equation $(x^2-5)^2-24$ in $\Bbb{Q}$. Hence, the basis should be ...
40
votes
3answers
11k views

How to find the Galois group of a polynomial?

I've been learning about Galois theory recently on my own, and I've been trying to solve tests from my university. Even though I understand all the theorems, I seem to be having some trouble with the ...
30
votes
4answers
2k views

Fermat's Last Theorem and Kummer's Objection

In 1847 Lamé had announced that he had proven Fermat's Last Theorem. This "proof" was based on the unique factorization in $\mathbb{Z}[e^{2\pi i/p}]$. However, Kummer, proved that when $p=23$ we do ...
15
votes
2answers
2k views

Basis of primitive nth Roots in a Cyclotomic Extension?

While reading one of Keith Conrad's great blurbs, Linear Independence of Characters, there is a footnote at the bottom of page 2 saying In general, the primitive $n$th roots of unity in the $n$th ...
12
votes
3answers
2k views

How to solve polynomial equations in a field and/or in a ring?

I'm studying for my exam, and I stuck on solving polynomials in a field and/or in a ring. Let me give you some examples: (1) Solve equation $x^2+4x+3=0$ in field $\mathbb{Z}_5$, $\mathbb{Z}_8$ and in ...
11
votes
2answers
2k 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 ...
17
votes
2answers
367 views

Sum of irrational numbers, a basic algebra problem

Let $x_1,\dots,x_n$ be positive rational numbers. If $\sqrt[l_1]{x_1},\dots,\sqrt[l_n]{x_n}$ are all irrational numbers (where $l_1,l_2,\dotsc,l_n\in\Bbb N^*$), does it follow that $$\sqrt[l_1]{x_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 ...
10
votes
2answers
426 views

Necessarily a field between a field and its algebraic extension

This is an exercise in some textbooks. Let $E$ be an algebraic extension of $F$. Suppose $R$ is ring that contains $F$ and is contained in $E$. Prove that $R$ is a field. The trouble is really with ...
8
votes
1answer
579 views

Irreducible cyclotomic polynomial

I want to know if there is a way to decide if a cyclotomic polynomial is irreducible over a field $\mathbb{F}_q$?
6
votes
1answer
2k views

Prove $f=x^p-a$ either irreducible or has a root. (arbitrary characteristic) (without using the field norm) [duplicate]

Let $K$ be an arbitrary field, $p$ a prime and $a\in K$. Show $f=x^p-a$ is either irreducible in $K[x]$ or has a root in $K$. My strategy was to split this up into a case for each ...
6
votes
2answers
550 views

degree of a field extension

Let $\alpha$ be a root of $x^3+3x-1$ and $\beta$ be a root of $x^3-x+2$. What is the degree of $\mathbb{Q}(\alpha^2+\beta)$ over $\mathbb{Q}$? My guess is 9, because i found a monic polynomial of ...
6
votes
2answers
567 views

Is $\mathbf{Q}(\sqrt{2},\sqrt{3}) = \mathbf{Q}(\sqrt{6})$?

Is $\mathbf{Q}(\sqrt{2},\sqrt{3}) = \mathbf{Q}(\sqrt{6})$? If $\mathbf{Q}(\sqrt{2},\sqrt{3})=\{a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6}\mid a,b,c,d\in\mathbf{Q}\}$ and $\mathbf{Q}(\sqrt{6})= \{a+b\sqrt{6} | ...
4
votes
2answers
1k views

isomorphism of Dedekind complete ordered fields

In the last chapter of Spivak's Calculus, there is a proof that complete ordered fields are unique up to isomorphism. I find the first steps in it somewhat suspicious. Specifically, I believe he is ...
10
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 ...
3
votes
2answers
433 views

Is the size of the Galois group always $n$ factorial?

I am studying field theory, and I just started the chapter on Galois theory. Since a Galois extension is the splitting field of some polynomial $p(x)$ and this polynomial have exactly $n$ roots in ...
23
votes
3answers
566 views

On the meaning of being algebraically closed

The definition of algebraic number is that $\alpha$ is an algebraic number if there is a nonzero polynomial $p(x)$ in $\mathbb{Q}[x]$ such that $p(\alpha)=0$. By algebraic closure, every nonconstant ...
9
votes
3answers
748 views

Showing a homomorphism of a field algebraic over $\mathbb{Q}$ to itself is an isomorphism.

Suppose $F$ is algebraic over $\mathbb{Q}$ and $\varphi : F\to F$ is a homomorphism. Prove $\varphi$ is an isomorphism. Showing injectivity follows from the fact that the only ideals in a field ...
2
votes
1answer
91 views

The exponential extension of $\mathbb{Q}$ is a proper subset of $\mathbb{C}$?

This question come from a recent post Exponential extension of $\mathbb{Q}$. An exponential field is a field $\mathbb{K}$ where it's well defined a function $E:\mathbb{K} \rightarrow \mathbb{K}$ ...
2
votes
2answers
1k views

Necessary and Sufficient Condition for a sub-field

Is there any necessary and sufficient condition to determine whether a subset $H$ of a given field $K$ is a subfield? In some paper I have found something like that: $H$ is a field if for all $a, ...
9
votes
3answers
2k views

How to show that a finite commutative ring without zero divisors is a field?

$R$ is finite commutative ring without zero divisors which has at least two elements. How to show that $R$ is field? I'm just starting with abstract algebra and I'd really appreciate if someone ...