多重線型代数
以下、K を可換環とする。