定義
A を可換環、 M, N を A-加群とする。
p > 0 を整数として、M^p から N への多重線形写像 f
が交代的 であるとは x_i = x_j, i ≠ j のとき常に
f(x_1, ... x_p) = 0 となることをいう。