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
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. The answer is "no" and this answer is often justified by so …
18 votes

Duals and Tensor products

For those interested in general statements, here is a summary of assumptions under which the canonical morphisms of $A$-modules below are isomorphisms: If $P$ is finitely generated projective: $$P\ …
Georges Elencwajg's user avatar
5 votes

reduced ⊗ reduced = reduced; what about connected?

Ad (1): It is perfectly true that the tensor product of two reduced algebras over a perfect field is reduced. You can find a proof in Bourbaki's Algebra (Chapter V; §15; 4,5), but of course this vener …
Georges Elencwajg's user avatar
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. [A r …
Georges Elencwajg's user avatar