05/11/14 15:09:32
命題
A を可換環、M, N を A-加群とする。
p > 0 を整数として、f を M^p から N への交代的多重線形写像、
x_1, ... , x_p を M の元とし、σを {1, ... , p} の順列とする。
このとき、次の等式が成立つ。
f(x_σ(1), ... , x_σ(p)) = ε(σ)f(x_1, ... , x_p)
証明
>>746と同様。
05/11/14 15:09:32
命題
A を可換環、M, N を A-加群とする。
p > 0 を整数として、f を M^p から N への交代的多重線形写像、
x_1, ... , x_p を M の元とし、σを {1, ... , p} の順列とする。
このとき、次の等式が成立つ。
f(x_σ(1), ... , x_σ(p)) = ε(σ)f(x_1, ... , x_p)
証明
>>746と同様。