Let be a commutative Noetherian ring and an ideal of . We intend to establish the dual of two Faltings’ Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if is an Artinian module over semi-local complete ring and is an integer such that is Artinian for all , then the set is finite. We also introduce the notion of the th Artinianness dimension $g_n^\fa(A)=\inf{g^{\fa R_{\fp}}(^\fp A): \fp\in\Spec® \ \ \ \ \dim R/\fp\geq n}n\in_{0}g_1^\fa(A)=\inf{i\in_0: H_i^\fa(A) \ \ }R$ is a semi-local complete ring. Moreover, in this situation we show that is a finite set.

生成讲解博客的中文版本

生成AI智能校验的中文版本