Questions tagged [fields]
Fields as algebraic objects. For vector and tensor fields, use eg. [dg.differential-geometry]. For physical fields, use eg. [mp.mathematical-physics] or [quantum-field-theory].
562
questions
168
votes
1
answer
16k
views
Ultrafilters and automorphisms of the complex field
It is well-known that it is consistent with $ZF$ that the only automorphisms of the complex field $\mathbb{C}$ are the identity map and complex conjugation. For example, we have that $\vert\...
132
votes
3
answers
20k
views
When is the tensor product of two fields a field?
Consider two extension fields $K/k, L/k$ of a field $k$.
A frequent question is whether the tensor product ring $K\otimes_k L$ is a field. The answer is "no" and this answer is often ...
97
votes
19
answers
36k
views
Collecting proofs that finite multiplicative subgroups of fields are cyclic
I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...
95
votes
11
answers
6k
views
Can a non-surjective polynomial map from an infinite field to itself miss only finitely many points?
Is there an infinite field $k$ together with a polynomial $f \in k[x]$ such that the associated map $f \colon k \to k$ is not surjective but misses only finitely many elements in $k$ (i.e. only ...
83
votes
2
answers
19k
views
Why is differential Galois theory not widely used?
E.R. Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...
70
votes
10
answers
21k
views
Galois groups vs. fundamental groups
In a recent blog post Terry Tao mentions in passing that:
"Class groups...are arithmetic analogues of the (abelianised) fundamental groups in topology, with Galois groups serving as the analogue ...
56
votes
14
answers
20k
views
Fantastic properties of Z/2Z
Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...
48
votes
5
answers
15k
views
Algebraically closed fields of positive characteristic
I'm taking introductory algebraic geometry this term, so a lot of the theorems we see in class start with "Let k be an algebraically closed field." One of the things that's annoyed me is that as far ...
48
votes
2
answers
2k
views
Isomorphic general linear groups implies isomorphic fields?
Suppose $n > 1$ is a natural number. Suppose $K$ and $L$ are fields such that the general linear groups of degree $n$ over them are isomorphic, i.e., $GL(n,K) \cong GL(n,L)$ as groups. Is it ...
48
votes
0
answers
2k
views
How many algebraic closures can a field have?
Assuming the axiom of choice given a field $F$, there is an algebraic extension $\overline F$ of $F$ which is algebraically closed. Moreover, if $K$ is a different algebraic extension of $F$ which is ...
45
votes
4
answers
7k
views
What does "linearly disjoint" mean for abstract field extensions?
All definitions I've seen for the statement "$E,F$ are linearly disjoint extensions of $k$" are only meaningful when $E,F$ are given as subfields of a larger field, say $K$. I am happy with the ...
44
votes
3
answers
3k
views
Why aren't fields called "bodies" instead?
The discrepancy regarding the names of commutative division algebras in German and English has always startled me. In English they are called fields, whereas their original German name is Körper (...
43
votes
18
answers
5k
views
Results in linear algebra that depend on the choice of field
Linear algebra as we learn it as undergraduates usually holds for any field (even though we usually learn it for the complex, or real, numbers).
I am looking for a list of concepts, and results, in ...
43
votes
5
answers
3k
views
Explicit elements of $K((x))((y)) \setminus K((x,y))$
In an answer to the popular question on common false beliefs in mathematics
Examples of common false beliefs in mathematics
I mentioned that many people conflate the two different kinds of formal ...
43
votes
3
answers
7k
views
transcendental Galois theory
Suppose we define an arbitrary field extension $K/F$ to be Galois if, for all subextensions $L$ of $K/F$, we have $K^{\operatorname{Aut}(K/L)} = L$. In words: for any element $x$ of $K \setminus L$, ...
42
votes
4
answers
8k
views
Fields with trivial automorphism group
Is there a nice characterization of fields whose automorphism group is trivial? Here are the facts I know.
Every prime field has trivial automorphism group.
Suppose L is a separable finite extension ...
39
votes
2
answers
2k
views
What are the possible sets of degrees of irreducible polynomials over a field?
Hopefully this is not too easy an exercise.
Let $F$ be a field. Let $I \subset \mathbb{N}$ be the set of all positive integers $d$ such that there exists an irreducible polynomial of degree $d$ over ...
37
votes
3
answers
2k
views
Does the category of (algebraically closed) fields of characteristic $p$ change when $p$ changes?
Let $\mathrm{ACF}_p$ denote the category of algebraically closed fields of characteristic $p$, with all homomorphisms as morphisms. The question is: when is there an equivalence of categories between $...
36
votes
5
answers
10k
views
Is there a natural way to view the proof of Hilbert 90?
I only know of one proof of Hilbert 90, which is very smart if not magical. See for example http://hilbertthm90.wordpress.com/2008/12/11/hilberts-theorem-90the-math/
Does anyone know of a more ...
35
votes
3
answers
2k
views
How much choice is needed to show that formally real fields can be ordered?
Background: a field is formally real if -1 is not a sum of squares of elements in that field. An ordering on a field is a linear ordering which is (in exactly the sense that you would guess if you ...
35
votes
1
answer
2k
views
A Topology such that the continuous functions are exactly the polynomials
(I originally asked this question on Math.SE, where it received a lot of attention, but no solution.)
Which fields $K$ can be equipped with a topology such that a function $f:K \to K$ is continuous ...
34
votes
4
answers
11k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
33
votes
2
answers
2k
views
If a field extension gives affine space, was it already affine space?
Let $R$ be a commutative Noetherian $F$-algebra, where $F$ is a
field (perfect, say). Assume that $R \otimes_F \overline F$ is a polynomial ring over the
algebraic closure $\overline F$.
Does it ...
32
votes
3
answers
6k
views
Is the statement that every field has an algebraic closure known to be equivalent to the ultrafilter lemma?
The existence and uniqueness of algebraic closures is generally proven using Zorn's lemma. A quick Google search leads to a 1992 paper of Banaschewski, which I don't have access to, asserting that ...
32
votes
3
answers
2k
views
Is the hierarchy of relative geometric constructibility by straightedge and compass a dense order?
Consider the hierarchy of relative geometric constructibility by
straightedge and compass. Namely, given a geometric figure $B$, a
set of points in the plane, we define that geometric figure $A$ is
...
31
votes
8
answers
17k
views
Why are polynomials so useful in mathematics?
This is perhaps unanswerable,
or perhaps I am too algebraically ignorant to phrase it cogently, but:
Is there some identifiable reason that polynomials over
$\mathbb{C}$,
$\mathbb{R}$, $\mathbb{...
29
votes
2
answers
5k
views
Examples of algebraic closures of finite index
So there are easy examples for algebraic closures that have index two and infinite index: $\mathbb{C}$ over $\mathbb{R}$ and the algebraic numbers over $\mathbb{Q}$. What about the other indices?
...
29
votes
0
answers
1k
views
Is there a field $F$ which is isomorphic to $F(X,Y)$ but not to $F(X)$?
Is there a field $F$ such that $F \cong F(X,Y)$ as fields, but $F \not \cong F(X)$ as fields?
I know only an example of a field $F$ such that $F$ isomorphic to $F(x,y)$ : this is something like $F=k(...
28
votes
3
answers
3k
views
Does $\operatorname{Con}\sf(ZF)$ imply $\operatorname{Con}\sf(ZF + \operatorname{Aut}{\bf C = Z/\mathrm 2Z})$?
How many field automorphisms does $\mathbf{C}$ have? If you assume the axiom of choice, there are tons of them -- $2^{2^{\aleph_0}}$, I believe. And what if you don't -- how essential is the axiom ...
28
votes
0
answers
839
views
The field of fractions of the rational group algebra of a torsion free abelian group
Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions.
...
27
votes
7
answers
4k
views
In what sense are fields an algebraic theory?
Since there is no "free field generated by a set", it would seem that
1) there is no monad on Set whose algebras are exactly the fields
and
2) there is no Lawvere theory whose models in Set are ...
27
votes
6
answers
2k
views
Is this theory the complete theory of the real ordered field?
We know that the real ordered field can be characterized up to isomorphism as a complete ordered field. However this is a second order characterization. That raises the following question. Consider ...
27
votes
1
answer
2k
views
A simple proof of the fundamental theorem of Galois theory
Update. It's now on the arXiv.
Some time ago I found my "own" proof of the fundamental theorem of Galois theory. You can find a pdf with the proof (link removed, see arXiv). It is quite ...
26
votes
3
answers
6k
views
An unfamiliar (to me) form of Hensel's Lemma
In his very nice article
Peter Roquette,
History of valuation theory. I. (English summary) Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 291--355,
Fields Inst. Commun., ...
25
votes
1
answer
2k
views
What is the ring of integers of the Pythagorean field?
Following Hilbert, we call the complex numbers constructible via
compass and straight-edge the field of Euclidean numbers, and
the totally real such numbers the field of Pythagorean numbers. (Among ...
24
votes
12
answers
3k
views
Constructions unique up to non-unique isomorphism
1) Fields have algebraic closures unique up to a non-unique isomorphism.
2) Nice spaces (without base point) have universal covering spaces unique up to a non-unique isomorphism.
3) Modules have ...
24
votes
2
answers
4k
views
To what extent can fields be classified?
The study of algebraic geometry usually begins with the choice of a base field $k$. In practice, this is usually one of the prime fields $\mathbb{Q}$ or $\mathbb{F}_p$, or topological completions and ...
24
votes
0
answers
2k
views
Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property, without Choice
While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
22
votes
5
answers
2k
views
Local inverse Galois problem
It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedean field $K$ has solvable (in fact supersolvable [edit: no!]) Galois group $G$. One sees this by using the ramification ...
22
votes
4
answers
3k
views
Which fields have multiplicative group isomorphic to additive group times Z/2Z?
Let $K$ be a field, $K_{*}$ its multiplicative group and $K_{+}$ its additive group. As Richard Stanley notes in this answer, the only field for which $K_{+} \simeq K_{*} \times \mathbb{Z}/2\mathbb{Z}$...
22
votes
0
answers
570
views
Are the reals really a fraction field?
In an answer to this question I was led to show the trick proving that $\mathbb R$ is the fraction field of some strict subring $A\subsetneq \mathbb R=\operatorname{Frac}(A)$.
A crucial point in the ...
21
votes
1
answer
1k
views
Are the real numbers isomorphic to a nontrivial ultraproduct of fields?
Let $K_1, K_2, \dots$ be a countable sequence of fields, and let $\prod_{\mathcal F} K_i$ be the ultraproduct with respect to some nonprincipal ultrafilter $\mathcal F$.
Question: Can there be a field ...
20
votes
3
answers
2k
views
Are there as many real-closed fields of a given cardinality as I think there are?
Let $\kappa$ be an infinite cardinal. Then there exists at least one real-closed field of cardinality $\kappa$ (e.g. Lowenheim-Skolem; or, start with a function field over $\mathbb{Q}$ in $\kappa$ ...
20
votes
2
answers
2k
views
Is there an irreducible but solvable septic trinomial $x^7+ax^n+b = 0$?
The following irreducible trinomials are solvable:
$$x^5-5x^2-3 = 0$$
$$x^6+3x+3 = 0$$
$$x^8-5x-5=0$$
Their Galois groups are isomorphic to ${\rm D}_5$, ${\rm S}_3 \wr {\rm C}_2$ and
$({\rm S}_4 \...
20
votes
2
answers
664
views
non-isomorphic stably isomorphic fields
Q1: What is the simplest example of two non-isomorphic fields $L$ and $K$ of characteristic $0$ such that $L(x)\simeq K(x)$ (here $x$ is an indeterminate)?
Q2: Do we have a sufficient criterion for ...
20
votes
4
answers
8k
views
FFTs over finite fields?
I'm trying to understand how to compute a fast Fourier transform over a finite field. This question arose in the analysis of some BCH codes.
Consider the finite field $F$ with $2^n$ elements. It is ...
20
votes
1
answer
2k
views
On the solvable octic $x^8-x^7+29x^2+29=0$
The irreducible but solvable octic,
$$x^8-x^7+29x^2+29=0\tag{1}\label{1}$$
was first mentioned by Igor Schein in this 1999 sci.math post (Wayback Machine). This does not factor over a quadratic or ...
19
votes
1
answer
3k
views
Is every field the field of fractions of an integral domain?
Is every field the field of fractions of an integral domain which is not itself a field?
What about the field of real numbers?
19
votes
2
answers
5k
views
Automorphisms of $\mathbb{C}$
Is it true that $G_{\mathbb{Q}}$, the absolute Galois group of $\mathbb{Q}$, is a subgroup of $Aut(\mathbb{C})$ ?
Or a simpler question: can any automorphism of $\overline{\mathbb{Q}}$ be extended to ...
19
votes
1
answer
727
views
Algebraic closure as a fibrant replacement?
Emil Artin's construction of the algebraic closure of a field $K$ is as follows. Let $K_{0} = K$, and inductively let $\{x_f\}$ be a set of indeterminates indexed by the irreducible $f$ in one ...