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

48
votes
12answers
4k views

Do groups, rings and fields have practical applications in CS? If so, what are some?

This is ONE thing about my undergraduate studies in computer science that I haven't been able to 'link' in my real life (academic and professional). Almost everything I studied I've observed be ...
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 ...
42
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.
39
votes
4answers
2k views

What kind of work do modern day algebraists do?

Often times in my studies I get the impression that algebra is just a tool to help with other branches of mathematics, like algebraic geometry, algebraic number theory, algebraic topology, etc. How ...
38
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 ...
37
votes
6answers
3k views

In plain language, what's the significance of a field?

I just started Linear Algebra. Yesterday, I read about the ten properties of fields. As far as I can tell a field is a mathematical system that we can use to do common arithmetic. Is that correct?
30
votes
2answers
469 views

Is it true in an arbitrary field that $-1$ is a sum of two squares iff it is a sum of three squares?

Here's a statement from Lam's First Course in Noncommutative Rings. (Paraphrased) Let $k$ be a field. Then the following conditions are equivalent. $$(\forall a,b,c,d\in k)\;\;(a,b,c,d)\neq ...
28
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 ...
28
votes
2answers
802 views

Intuitive reasoning why are quintics unsolvable

I know that quintics in general are unsolvable, whereas lower-degree equations are solvable and the formal explanation is very hard. I would like to have an intuitive reasoning of why it is so, ...
26
votes
6answers
1k 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. ...
26
votes
3answers
2k views

Why isn't the inverse of the function $x\mapsto x+\sin(x)$ expressible in terms of “the functions one finds on a calculator”?

The function $f(x)=x+\sin(x)$ is easily checked to be a bijection from the reals to itself, and so it has a unique inverse $y\mapsto g(y)$ such that $f\circ g=g\circ f$ are both the identity map. ...
25
votes
6answers
2k views

What is Abstract Algebra essentially?

In the most basic sense, what is abstract algebra about? Wolfram Mathworld has the following definition: "Abstract algebra is the set of advanced topics of algebra that deal with abstract algebraic ...
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 ...
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 ...
25
votes
1answer
531 views

Prove that both $x+y$ and $xy$ are rational, under some conditions

As a result of the answer I got for this question - Irrational solutions to some equations in two variables - I was wondering if the next statement is always true: Let $x,y$ be real, irrational ...
23
votes
3answers
522 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 ...
23
votes
1answer
274 views

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$? I think there are no such polynomials, but how to prove?
22
votes
6answers
1k views

Is $\mathbf{C}$ the algebraic closure of any field other than $\mathbf{R}$?

It seems to me (intuitively) that there should be no other fields whose algebraic closure is $\mathbf{C}$, even though I have no reason to believe it. The facts I've been using to formulate an ...
21
votes
5answers
5k 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}\}$$ ...
21
votes
6answers
1k views

Axiomatic characterization of the rational numbers

We have the well-known Peano axioms for the natural numbers and the real numbers can be characterized by demanding them to be a Dedekind-complete, totally ordered field (or some variation of this). ...
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 ...
21
votes
1answer
289 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}$ ...
21
votes
1answer
276 views

Is a field determined by its family of general linear groups?

Assume that $K,L$ are fields such that there is an isomorphism of groups $\mathrm{GL}_n(K) \cong \mathrm{GL}_n(L)$ for all $n \in \mathbb{N}$. Does it follow that $K \cong L$? I am also interested in ...
20
votes
2answers
609 views

What is the coproduct of fields, when it exists?

This is a slightly more advanced version of another question here. Let $\textbf{CRing}$ be the category of commutative rings with unit. Let $\textbf{Dom}$ be the category of integral domains – by ...
20
votes
2answers
824 views

Why algebraic closures?

Let me begin by summarizing the question: Why do we care about fields closed under rational exponentiation, and less about fields closed under other operations? Historically the solution for ...
20
votes
1answer
382 views

Which fields satisfy the Freshman's Dream?

It is well-known that the Freshman's Dream, $(a+b)^p = a^p + b^p$, holds in fields of characteristic $p$. For $p = 2$, in fact those are the only fields; for, $(a+b)^2 = a^2 + b^2 \Rightarrow 2ab = 0$ ...
19
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 ...
19
votes
1answer
385 views

When, and by whom, was “$\mathbb{C}$ is algebraically closed” dubbed the “fundamental theorem of algebra”?

Wikipedia has this enigmatic sentence on the page for the fundamental theorem of algebra: ...its name was given at a time when the study of algebra was mainly concerned with the solutions of ...
18
votes
5answers
3k 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 ...
18
votes
6answers
1k views

Why should I care about fields of positive characteristic?

This is what I know about why someone might care about fields of positive characteristic: they are useful for number theory in algebraic geometry, a theory of "geometry" can be developed over them, ...
18
votes
2answers
969 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?
18
votes
2answers
600 views

field generated by a set

Let $S$ be the set of real numbers which can be written in the form $ \sum_{n\geq0}{ \frac{\epsilon_{n}}{n!}}$ ,where ${\epsilon_n}^2=\epsilon_n$ and let $K$ be the field generated by $S$ , help me ...
18
votes
0answers
378 views

When are nonintersecting finite degree field extensions linearly disjoint?

Let $F$ be a field, and let $K,L$ be finite degree field extensions of $F$ inside a common algebraic closure. Consider the following two properties: (i) $K$ and $L$ are linearly disjoint over $F$: ...
17
votes
2answers
1k views

Are there number systems corresponding to higher cardinalities than the real numbers?

As most of you know, the set $\omega$ with cardinality $\aleph_0$ corresponds to what we normally know as the natural numbers $\mathbb{N}$, and the set $\mathcal{P}(\omega)$ with cardinality ...
17
votes
4answers
2k 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 + ...
16
votes
3answers
2k views

A finite field cannot be an ordered field.

I am reading baby Rudin and it says all ordered fields with supremum property are isomorphic to $\mathbb R$. Since all ordered finite fields would have supremum property that must mean none exist. ...
16
votes
1answer
398 views

Is every rigid field perfect?

A field is rigid iff its automorphism group is trivial. A field $F$ is perfect iff all irreducibles in $F[x]$ are separable. Is every rigid field perfect?
16
votes
2answers
527 views

Atiyah's definitions of Topological Quantum Field Theory

According to Atiyah, a TQFT is a functor from the category of cobordisms to the category of vector spaces. How does this definition relate with the physics of quantum mechanics? What does the ...
16
votes
5answers
452 views

Proof of Existence of Algebraic Closure: Too simple to be true?

Having read the classical proof of the existence of an Algebraic Closure (originally due to Artin), I wondered what is wrong with the following simplification (it must be wrong, otherwise why would we ...
16
votes
1answer
460 views

An exercise with Zariski topology

I read this exercise: Prove that the set $S = \{ (n, 2^n, 3^n ) \mid n \in \mathbb{N} \}$ is dense in $\mathbb{C}^3$ with Zariski topology. I have seriously thought about it, but I do not manage to ...
16
votes
1answer
420 views

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

Motivated by this problem, and KCd's comment on my answer, I am left with the following question: Question: Suppose that $n\not \equiv 2\pmod{3}$. Is $$x^n+x+1$$ irreducible over $\mathbb{Q}$? ...
16
votes
5answers
659 views

Why isn't the perfect closure separable?

Let $F\subset K$ be an algebraic extension of fields. By taking the separable closure $K_s$, we obtain a tower $F\subset K_s \subset K$ such that $F\subset K_s$ is separable and $K_s\subset K$ is ...
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 ...
15
votes
1answer
933 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 ...
14
votes
3answers
682 views

Are $\mathbb{R}$ and $\mathbb{Q}$ the only nontrivial subfields of $\mathbb{R}$?

I've been asked to prove that any subfield of $\mathbb{R}$ contains $\mathbb{Q}$, and I know how to do it, but it made me wonder if there were subfields of $\mathbb{R}$ that strictly contained ...
14
votes
5answers
447 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 ...
14
votes
2answers
397 views

Is it actually incorrect to say $x/1 = x$?

The rational numbers $\mathbb{Q}$ are defined as the field of quotients of $\mathbb{Z}$ under the relation $(a, b) \sim (c , d) \iff$ $ad = bc$. There is an obvious isomorphism between the subring ...
14
votes
4answers
4k views

Finding the minimal polynomial of $\sqrt 2 + \sqrt[3] 2$ over $\mathbb Q$.

I have to find the minimal polynomial of $\sqrt 2 + \sqrt[3] 2$ over $\mathbb Q$. The suggested way of doing it is to prove that $\mathbb Q[\sqrt 2 + \sqrt[3] 2]=\mathbb Q[\sqrt 2,\sqrt[3] 2]$ first. ...
14
votes
3answers
557 views

Finding the degree of a field extension over the rationals

Let $\alpha = \sqrt{\sqrt{2}+\root 4 \of 2}$, $\beta =\sqrt{\sqrt{2}- \root 4 \of 2}$, $\gamma = \sqrt{-\sqrt{2}+i\root 4 \of 2}$ and $\delta = \overline{\gamma}=\sqrt{-\sqrt{2}-i\root 4 \of 2}$. Let ...
14
votes
1answer
247 views

Examples of non-isomorphic fields with isomorphic group of units and additive group structure

YACP mentions in a comment that: There are examples of non-isomorphic fields $K$ and $L$ with $(K,+)\cong (L,+)$ and $(K^{\times} ,\cdot)\cong (L^{\times},\cdot)$ Can someone provide an ...