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
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
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 …
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
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