Questions tagged [field-theory]

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. Use (classical-mechanics), (electromagnetism), (general gravity) or (quantum-field-theory) for physical fields.

Filter by
Sorted by
Tagged with
127
votes
3answers
15k 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 elementary ...
40
votes
4answers
4k 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 ...
72
votes
7answers
15k views

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

Let $p$ be a prime. 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 ...
33
votes
3answers
9k 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 ...
67
votes
5answers
32k 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})...
26
votes
3answers
7k 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 ...
63
votes
3answers
6k 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 ...
43
votes
6answers
16k views

Is an automorphism of the field of real numbers the identity map?

Is an automorphism of the field of real numbers $\mathbb{R}$ the identity map? If yes, how can we prove it? Remark An automorphism of $\mathbb{R}$ may not be continuous.
36
votes
2answers
8k 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 ...
22
votes
6answers
14k 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 spaces, ...
89
votes
6answers
11k 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 ...
59
votes
1answer
7k 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?
11
votes
3answers
11k 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 $...
14
votes
1answer
3k 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$?
38
votes
4answers
12k 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 + \...
32
votes
3answers
4k 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}[...
19
votes
4answers
3k 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 F^...
14
votes
4answers
9k 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 ...
8
votes
3answers
783 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$?
19
votes
2answers
5k views

A freshman's dream

If $p$ is prime, then $(x+y)^p=x^p+y^p$ holds in any field of characteristic $p$. However all the proofs I have seen use induction and some relatively nasty algebra despite how fundamental this fact ...
20
votes
2answers
4k 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 example, a quintic equation ...
87
votes
3answers
30k 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 ...
48
votes
2answers
5k 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 ...
18
votes
1answer
5k views

Galois Group of $\sqrt{2+\sqrt{2}}$ over $\mathbb{Q}$

So I want to show that $\mathbb{Q}(\sqrt{2+\sqrt{2}})$ is Galois over $\mathbb{Q}$ and determine its Galois group. My thoughts are as follows: Define $\alpha := \sqrt{2+\sqrt{2}}$. Then it is ...
9
votes
1answer
473 views

Why is this isomorphism $M \otimes_K L \stackrel{\simeq}{\longrightarrow} M^{[L:K]}$ an isomorphism of $M$ - algebras?

Suppose that $L/K$ is a finite separable extension of fields and let $M$ denote the Galois closure of $L$. Let $\textrm{Hom}_K(L,M)$ denote the set of all $K$ - algebra homomorphisms from $L$ to $M$. ...
113
votes
2answers
22k views

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

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
40
votes
6answers
8k 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. ...
24
votes
3answers
2k views

Intermediate ring between a field and an 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 ...
12
votes
4answers
2k 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
3answers
2k 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)$?
6
votes
3answers
3k 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 ...
16
votes
1answer
6k 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 |...
29
votes
10answers
5k 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 $$\...
14
votes
2answers
6k views

Constructing a Galois extension field with Galois group $S_n$

Given a field $F$, can you necessarily construct a field extension $E \supset F$ such that $\operatorname{Gal}(E/F) = S_n\,$?
27
votes
4answers
3k 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
7answers
647 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 ...
2
votes
1answer
140 views

A sufficient and necessary condition for $\mathbb{C}(f(x),g(x))=\mathbb{C}(x)$?

Let $f=f(x),g=g(x) \in \mathbb{C}[x]$. Is there a sufficient and necessary condition for $\mathbb{C}(f(x),g(x))=\mathbb{C}(x)$? This paper is perhaps relevant, although it deals with polynomials ...
17
votes
2answers
4k 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 $...
13
votes
2answers
3k views

Characteristic of a field is $0$ or prime [closed]

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?
19
votes
2answers
522 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}+ ...
9
votes
1answer
1k 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 ...
19
votes
1answer
9k views

How to prove that the Frobenius endomorphism 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 endomorphism. And I have known this. When $R$ which is ...
11
votes
2answers
2k views

Is there an explicit embedding from the various fields of p-adic numbers $\mathbb{Q}_p$ into $\mathbb{C}$?

For any field of p-adic numbers $\mathbb{Q}_p$, one can construct the field $\mathbb{C}_p$, the metric completion of one of its algebraic completions. By the axiom of choice, we can prove this to be ...
16
votes
3answers
5k views

Proving that a polynomial is not solvable by radicals.

I'm trying to prove that the following polynomial is not solvable by radicals: $$p(x) = x^5 - 4x + 2 $$ First, by Eisenstein is irreducible. (It is not difficult to see that this polynomial has ...
8
votes
1answer
6k 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. ...
7
votes
1answer
3k views

A finite field extension that is not simple

Let $F=\mathbb{F}_p(X,Y)$ be the field of rational functions in variables $X,Y$ over the finite field of $p$ elements. Let $K=\mathbb{F}_p(X^p,Y^p)$ be a subfield. Note that for any $f\in F$, $f^p\in ...
14
votes
3answers
4k 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 ...
13
votes
2answers
3k views

Quadratic extensions in characteristic $2$

I recently saw in class that the degree $2$ extensions of a field of characteristic $\neq 2$ are given by square roots of non-squares in the base field. I wonder what happens in the case of ...
1
vote
1answer
325 views

Galois Group of $(x^2-p_1)\cdots(x^2-p_n)$

For distinct prime numbers $p_1,...,p_n$, what is the Galois group of $(x^2-p_1)\cdots(x^2-p_n)$ over $\mathbb{Q}$? This problem appears to be quite common, however my understanding of Galois ...
7
votes
1answer
466 views

Show the two fields are not isomorphic

Let $p,q,r$ be prime integers with $q\neq r$. Let $\sqrt[p]q$ denote any root of $x^p-q$ and $\sqrt[p]r$ denote any root of $x^p-r$. Please show that $\mathbb{Q}(\sqrt[p]q)\neq\mathbb{Q}(\sqrt[p]r)$. ...