Next:
About this document ...
Commutative algebra
Yoshifumi Tsuchimoto
D
EFINITION
11.1
Let
be a commutative ring. Let
be an
-module. An element
is said to be
-regular
if
is exact.
P
ROPOSITION
11.2
Let
be a ring,
two
-modules, and
. Suppose that
is both
-regular and
-regular, and that
. Set
and
. Then:
for all
.
for all
.
for all
.
2012-07-27