左''R''-加群の弱次元も同様に定義される.
''R''-