弱次元
抽象代数学において、環 R 上の 0 でない右加群 M の弱次元(英: weak dimension)は、Tor群 TorRn (M, N) が 0 でない左 R 加群 N が存在するような最大の数 n(そのような n が存在しなければ無限大)である。左 R 加群の弱次元も同様に定義される。弱次元は Cartan and Eilenberg (1956) によって導入された。弱次元は平坦加群による加群の分解の最短の長さであるので平坦次元 (flat dimension) と呼ばれることもある。加群の弱次元は射影次元を超えない。
環の弱大局次元 (weak global dimension) は TorRn (M, N) が 0 でないような右 R 加群 M と左 R 加群 N が存在するような最大の数 n である。そのような n が存在しなければ、弱大局次元は無限大と定義される。それは環 R の左右の大局次元を超えない。