Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und A {\displaystyle {}A} eine K {\displaystyle {}K} -Algebra. Zeige, dass L ⊗ K A {\displaystyle {}L\otimes _{K}A} eine L {\displaystyle {}L} -Algebra ist.
