Search Results
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 |
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 …
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) …
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 …
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$. …
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 …
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 …
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 …
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. …