Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 450

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

2 votes

Extensions of fields with lots of symmetry

Dear Mariano, I can't characterize the extensions in your interesting question, but here is a class of examples. Take for $k$ an algebraically closed field and for $K$ any algebraically closed extens …
Georges Elencwajg's user avatar
16 votes
Accepted

Why isn't the perfect closure separable?

(As an aside observe that this is one of the rare cases where the tensor product of two fields is a field) …
Georges Elencwajg's user avatar
4 votes

If K/k is a finite normal extension of fields, is there always an intermediate field F such ...

Dear Zev, as LASER pointed out, Lang's Proposition 6.11 indeed solves your problem. Still, I'd like to add two remarks that might put your problem in perspective. A) Given a field $K$ and a group of …
Georges Elencwajg's user avatar
13 votes
1 answer
1k views

Is every algebraic extension of a field of absolute transcendence degree one a separable e...

Any decent course on field theory will state that in characteristic $p$ an extension of fields $k\subset K$ canonically decomposes as the tower $k\subset K_{sep}\subset K$ with $K$ purely inseparable … [My question was the case $F=\mathbb F_p$] Core result Let $F\subset E$ be an extension of fields with $F$ perfect and $trdeg_{F}(E)=1$. …
Georges Elencwajg's user avatar
3 votes

Isomorphism problem for finite dimensional central division algebras over a function field i...

Dear Albert, the key theoretical tool in your problem is the theorem (due independently to Auslander-Brumer and Fadeev) relating the Brauer group of a field $k$ and that of its rational function field …
Georges Elencwajg's user avatar
22 votes
0 answers
576 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 …
Georges Elencwajg's user avatar
4 votes
1 answer
1k views

Is the transcendence degree of a domain over a subfield the same as that of the fraction fie...

Consider the inclusion $k\subset A$ of the field $k$ in the domain $A$ and the fraction field $K=Frac(A)$ of $A$. Obviously if a family $(a_i)_{i\in I}$ of elements $a_i \in A$ is algebraically indep …
Georges Elencwajg's user avatar
132 votes
3 answers
21k 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. … An example where we do obtain a field is when the extension fields $K,L$ are finite dimensional over $k$ with relatively prime dimensions. …
9 votes

Characterisation for separable extension of a field

Let $k\subset K$ be a completely arbitrary extension of fields. This extension is said to be separable if equivalently a) For all extensions $k\subset L$, the ring $K \otimes _k L$ is reduced. …
Georges Elencwajg's user avatar