Wie oben gezeigt, ist die Existenz des Tensorprodukts gesichert: Man nehme das Tensorprodukt der Moduln und versehe es, wie oben beschrieben, dank der Algebrenstruktur der mit der Struktur einer Algebra.