MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

6 now that was some bullshit

Several questions actually.

All rings and algebras are supposed to be commutative and with $1$ here.

(1) Let $k$ be a field, and let $A$ and $B$ be two $k$-algebras. I need a proof that if $A$ and $B$ are reduced (i. e., the only nilpotents are $0$) and $\mathrm{char}k=0$, then $A\otimes_k B$ is reduced as well.

The condition $\mathrm{char}k=0$ can be replaced by "$k$ is perfect", but I already know a proof for the $\mathrm{char}k>0$ case (the main idea is that every nilpotent $x$ satisfies $x^{p^n}=0$ for some $n$, where $p=\mathrm{char}k$), so I am only interested in the $\mathrm{char}k=0$ case.

Please don't use too much algebraic geometry - what I am looking for is a constructive proof, giving an algorithm to find what power of the element is zero (at least a bound for this power), and while most ZFC proofs can be made constructive using Coquand's dynamic techniques, the more complicated and geometric the proof, the more work this will mean.

BTW the reason why I am so sure the above holds is that some algebraist I have spoken with has told me that he has a proof using minimal prime ideals, but I haven't ever seen him afterwards.

Ah, and I know that this is proven in Milne's Algebraic Geometry for the case $k$ algebraically closed.

(2) What if $k$ is not a field anymore, but a ring with certain properties? $\mathbb{Z}$, for instance? Can we still say something? (Probably only to be thought about once (1) is solved.)

(3) Now assume that $k$ is algebraically closed. Can we replace reduced by connected (which means that the only idempotents are $0$ and $1$, or, equivalently, that the spectre of the ring is connected)? In fact, this even seems easier due to the geometric definition of connectedness, but I don't know the relation between $\mathrm{Spec}\left(A\otimes_k B\right)$ and $\mathrm{Spec}A$ and $\mathrm{Spec}B$. (I know that $\mathrm{Spm}\left(A\otimes_k B\right)=\mathrm{Spm}A\times\mathrm{Spm}B$ however, but this doesn't help me.)

PS. All algebras are finitely generated if necessary.

5 edited tags
4 edited title; edited title

reduced (X)⊗ reduced = reduced; what about connected?

3 @(3): note to self: first think, then post; deleted 2 characters in body
2 added 57 characters in body
1