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)

45
votes
2answers
5k 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 ...
10
votes
2answers
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 ...
19
votes
5answers
4k 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 ...
21
votes
5answers
6k 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}\}$$ ...
15
votes
1answer
987 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 ...
3
votes
3answers
2k 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
2answers
2k 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 ...
6
votes
3answers
4k 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 ...
25
votes
2answers
1k 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 ...
44
votes
2answers
5k views

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

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
5
votes
3answers
319 views

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

Let $F$ be a field and $F^* \subseteq F$ be its group of units. If $F^*$ is cyclic show that $F$ is finite. I'm a bit stuck. I know that I can represent $F^* = \langle u \rangle$ for some $u \in F^*$ ...
20
votes
2answers
1k 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?
39
votes
5answers
3k 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 ...
3
votes
1answer
756 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?
17
votes
4answers
3k 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 + ...
5
votes
2answers
389 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 ...
5
votes
3answers
745 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 ...
14
votes
2answers
1k 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}} ] = ...
25
votes
1answer
2k 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 ...
5
votes
2answers
1k 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?
9
votes
3answers
1k views

Irreducibility of polynomial if 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
2answers
186 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 ...
3
votes
7answers
359 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 ...
5
votes
2answers
2k 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 ...
2
votes
3answers
579 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 ...
21
votes
10answers
3k 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 ...
15
votes
2answers
1k 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 ...
9
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 ...
6
votes
2answers
357 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 ...
23
votes
3answers
527 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 ...
8
votes
3answers
1k 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 ...
3
votes
2answers
392 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 ...
9
votes
3answers
1k 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 ...
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)$ ...
5
votes
5answers
428 views

Showing that $\mathbb{Q}[\sqrt{2}, \sqrt{3}]$ contains multiplicative inverses

Why must $\mathbb{Q}[\sqrt{2}, \sqrt{3}]$ -- the set of all polynomials in $\sqrt{2}$ and $\sqrt{3}$ with rational coefficients -- contain multiplicative inverses? I have gathered that every ...
2
votes
3answers
818 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)$?
22
votes
1answer
301 views

Rigidity of the category of fields

Let's call a category rigid if every self-equivalence is isomorphic to the identity. For example, $\mathsf{Set}$, $\mathsf{Grp}$, $\mathsf{Ab}$, $\mathsf{CRing}$ (MO/106838), $\mathsf{Top}$ ...
29
votes
4answers
1k 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 ...
21
votes
2answers
1k views

Why is $\mathbb{Q}(t,\sqrt{t^3-t})$ not a purely transcendental extension of $\mathbb{Q}$?

This question is taken from Dummit and Foote (14.9 #6). Any help will be appreciated: Show that if $t$ is transcendental over $\mathbb{Q}$, then $\mathbb{Q}(t,\sqrt{t^3-t})$ is not a purely ...
11
votes
3answers
1k 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 ...
14
votes
5answers
448 views

Why does $K \leadsto K(X)$ preserve the degree of field extensions?

The following is a problem in an algebra textbook, probably a well-known fact, but I just don't know how to Google it. Let $K/k$ be a finite field extension. Then $K(X)/k(X)$ is also finite with ...
7
votes
1answer
337 views

For field extensions $F\subsetneq K \subset F(x)$, $x$ is algebraic over $K$

Let $x$ be an element not algebraic over $F$, and $K \subset F(x)$ a subfield that differs from $F$. Why is $x$ algebraic over $K$? Thanks a lot!
6
votes
1answer
1k 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
1answer
414 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
4answers
204 views

Number fields with all degrees equal to a power of three

Say that a number field $\mathbb K$ is $3$-powerful if the degree (over $\mathbb Q$) of every non-rational element of ${\mathbb K}$ is a power of $3$. By Zorn’s lemma, the field $\cal A$ of all ...
14
votes
2answers
303 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
1answer
2k 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
4answers
435 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 ...
7
votes
2answers
388 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
votes
2answers
842 views

Galois Field Fourier Transform

there are two definitions for Reed-Solomon codes, as transmitting points and as BCH code ( http://en.wikipedia.org/wiki/Reed%E2%80%93Solomon_error_correction ). On Wikipedia there is written that we ...