alternierende Abbildung

Sei \(R\) ein kommutativer Ring und \(R^n\) ein Modul über \(R\). Eine Abbildung

\begin{align*} f: (R^n)^k \rightarrow R^m \end{align*}

ist alternierend, falls für \(z_i \in R^n\) gilt

\begin{align*} f(z_1,...,z_j ,...,z_j,...,z_k) = 0 \end{align*}