**5**

votes

**4**answers

784 views

### Is the theory of incidence geometry complete?

Consider the basic axioms of planar incidence geometry, which allow us to speak of in-betweeness, collinearity and concurrency. These axioms per se are not complete, since for example, Desargues ...

**20**

votes

**2**answers

2k 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?
...

**20**

votes

**2**answers

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

**21**

votes

**4**answers

2k 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 ...

**4**

votes

**2**answers

654 views

### Notation/name for “Artin-Schreier roots”?

If x is an element of a field K and n is a positive integer, we have both a symbol and a name for a root of the polynomial t^n - x = 0: we denote it by x^{1/n} and call it an nth root of x.
Of course ...

**2**

votes

**3**answers

270 views

### Expressing field inclusions by polynomial equalities on coefficients

Let $A$ be the set of all quadruples $(a_0,a_1,a_2,a_3) \in {\mathbb Q}^4$ such that
the polynomial $P=X^4+a_3X^3+a_2X^2+a_1X+a_0$ is irreducible and if $z$ is any root
of $P$, then ${\mathbb Q}(z)$ ...

**11**

votes

**2**answers

1k views

### Are the field norm and trace the unique “nice” maps between fields?

This seems like an obvious fact, but I'm not sure what the necessary meaning of "nice" is to get a result like this. I'm wondering if there is a theorem of the form:
For any <1> field extension ...

**3**

votes

**3**answers

458 views

### Is (relatively) algebraically closed stable under finite field extensions?

Let $F\subset F'$ be a field extension such that $F$ is algebraically closed inside $F'$, i.e. if $x\in F'$ is algebraic over $F$ then $x$ belongs to $F$ itself.
Let now $F\subset L$ be a finite field ...

**65**

votes

**11**answers

3k 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 ...

**8**

votes

**2**answers

419 views

### Evidence for Q^solv being Pseudo-algebraically-closed

This is a follow-up to the following answer:
Solvable class field theory
in which it is stated as a "folklore" conjecture that the maximal solvable extension of Q is pseudo algebraically closed ...

**2**

votes

**4**answers

504 views

### a question on function fields (extending my previous question)

Consider the extension Q(a,b) of the field of rationals, where a,b are algebraically independent transcendentals. To Q(a,b) adjoin the roots of the polynomials x^5+a^5=1 and y^5+b^5=1. The resulting ...

**10**

votes

**1**answer

565 views

### a question on function fields

Consider the transcendental extension Q(t) of the field of rationals.
To Q(t) adjoin the root of the polynomial x^5+t^5=1. The resulting
field Q(t)[x] is a radical extension of Q(t). Is it true that ...

**28**

votes

**6**answers

4k 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 ...

**8**

votes

**2**answers

1k views

### Characterisation for separable extension of a field

Can someone verify this for me.. or tell me what reference shows me this... is this true:
Let $k$ be a field. Then a field extension $K$ of $k$ is separable over $k$ iff for any field extension $L ...

**15**

votes

**6**answers

2k 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 ...

**45**

votes

**9**answers

10k 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 of ...

**-3**

votes

**1**answer

600 views

### Fundamental: Division by Zero [closed]

All the articles I've read regarding "Division by Zero" the main argument for it being an undefined operation, because all proofs lead to contradictions.
...

**16**

votes

**4**answers

5k 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 ...