K-Algebren/Tensorprodukt/K-Spektrum/Produktmenge/Fakt

Zu kommutativen ${}K$-Algebren ${}A$ und ${}B$ gilt

${}K-\operatorname {Spec} {\left(A\otimes _{K}B\right)}=K-\operatorname {Spec} {\left(A\right)}\times K-\operatorname {Spec} {\left(B\right)}\,.$

Zum Beweis, Alternativen Beweis erstellen