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 topic....

learn more… | top users | synonyms (1)

72
votes
3answers
8k 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 ...
32
votes
5answers
11k 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}\}$$ $$\mathbf{Q}(\sqrt{2}+\sqrt{3}...
17
votes
3answers
2k 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
3k 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 ...
33
votes
6answers
7k 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 how ...
59
votes
6answers
5k 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 ...
39
votes
2answers
3k 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?
21
votes
2answers
2k views

Wild automorphisms of the complex numbers

I read about so called "wild" automorphisms of the field of complex numbers (i.e. not the identity nor the complex conjugation). I suppose they must be rather weird and I wonder whether someone could ...
14
votes
3answers
3k views

Irreducible polynomial which is reducible 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 $x^4+1=(x+1)^4\bmod 2$. Also $\bmod 3$ we have that $0,1,2$ are not ...
35
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 ...
11
votes
3answers
6k 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 ...
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 $...
13
votes
4answers
1k 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 \in ...
15
votes
2answers
1k 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
4k 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 ...
23
votes
4answers
5k 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 + \...
7
votes
3answers
530 views

Intersection of two subfields of the Rational Function Field in characteristic 0

Let $K=F(x)$ be the rational function field over a field $F$ of characteristic $0$, let $L_1=F(x^2)$, and $L_2=F(x^2+x)$. How to show that $L_1\cap L_2 = F$?
4
votes
7answers
502 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 ...
68
votes
2answers
10k views

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

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
18
votes
3answers
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}} ] = \mathbb{Q}[...
32
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 ...
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 ...
9
votes
2answers
3k 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?
26
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 $$\...
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 ...
7
votes
1answer
3k 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 characteristic. ...
9
votes
2answers
266 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 ...
48
votes
3answers
13k 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 ...
11
votes
1answer
2k views

Every finite group is isomorphic to some Galois group for some finite normal extension of some field.

Every finite group is isomorphic to some Galois group for some finite normal extension of some field. I'm trying to write a proof, but I know this is incorrect. Can anyone point me in the write ...
12
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 ...
8
votes
1answer
662 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$?
7
votes
1answer
581 views

Galois Groups of Finite Extensions of Fixed Fields

I am trying to prove the following proposition: Let $L$ be an algebraically closed field, $g \in Aut(L)$ and $K=\{x \in L \; | \; g(x)=x\}$. Show that every finite extensions $E/K$ is a cyclic ...
3
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
1answer
243 views

Finiteness of the Algebraic Closure

Let $\mathbb R$ be the field of real numbers. Its algebraic closure, the field $\mathbb C$, is a finite extension of $\mathbb R$, which has degree 2. Are there other examples of fields (not ...
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)$ ...
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?
3
votes
3answers
2k 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 $1,(\...
28
votes
6answers
2k views

Is $\{0\}$ a field?

Consider the set $F$ consisting of the single element $I$. Define addition and multiplication such that $I+I=I$ and $I \times I=I$ . This ring satisfies the field axioms: Closure under addition. ...
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 ...
7
votes
1answer
3k views

the degree of a splitting field of a polynomial

Let $f(x)\in F[x]$ be a polynomial of degree $n$. Let $K$ be a splitting field of $f(x)$ over $F$. Then [K:F] must divides $n!$. I only know that $[K:F] \le n!$, but how can I show that $[K:F]$ ...
18
votes
2answers
398 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}+ ...
12
votes
1answer
4k 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 ...
11
votes
3answers
3k 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 ...
8
votes
4answers
647 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 \...
4
votes
1answer
176 views

Intermediate fields between $\mathbb{Z}_2 (\sqrt{x},\sqrt{y})$ and $\mathbb{Z}_2 (x,y)$

Let $K=\mathbb{Z}_2 (x,y)$, where $x,y$ are independent, and $L$ be a splitting field extension of $(X^2 - x) (X^2 - y)$, then $[L:K] = 4$ and $L = K(\sqrt{x},\sqrt{y})$ where $\sqrt{x},\sqrt{y}$ are ...
23
votes
3answers
578 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
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 |...
8
votes
1answer
437 views

Generating Elements of Galois Group

I am trying to prove the following: Let $K=\mathbb{Q}(\sqrt{p_1},\ldots,\sqrt{p_n})$. Show that $K/\mathbb{Q}$ is Galois with Galois group $(\mathbb{Z}/2\mathbb{Z})^n$. I have attached my proof ...
1
vote
2answers
8k views

Galois Field GF(4)

Question: Why is the table of GF(4) look like the one below? I know it has to do with the fact that 4 is composite Let GF(4) = {0,1,B,D} Addition: $$ \begin{array}{c|cccc} + & 0& 1& ...
10
votes
2answers
956 views

How does $\cos(2\pi/257)$ look like in real radicals?

We know $\cos(2\pi/p)$ for p a Fermat prime can be expressed in real radicals. The case $p=17$ is a root of an 8th deg eqn, but can be also given as a sequence of nested radicals, $$\begin{aligned} 4\...