Es sei ein
kommutativer Ring.
Das Produkt ist ein
endlicher,
freier
Modul
mit
Rang
. Er besteht aus den -Tupeln von Elementen aus :
-
Addition und Skalarmultiplikation werden komponentenweise definiert, es ist also
-
und
-
Eine
Basis
von
bilden die Elemente
-
wobei
) so definiert ist, dass an der
-ten Stelle des Tupels eine
steht und alle anderen Koordinaten
sind.