Let [Formula: see text] be a commutative Noetherian ring, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] an [Formula: see text]-module with [Formula: see text]. We get equivalent conditions for top local cohomology module [Formula: see text] to be Artinian and [Formula: see text]-cofinite Artinian separately. In addition, we prove that if [Formula: see text] is a local ring such that [Formula: see text] is minimax, for each [Formula: see text], then [Formula: see text] is minimax [Formula: see text]-module for each [Formula: see text] and for each finitely generated [Formula: see text]-module [Formula: see text] with [Formula: see text] and [Formula: see text]. As a consequence we prove that if [Formula: see text] and [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax if (and only if) [Formula: see text], [Formula: see text] and [Formula: see text] are minimax. We also prove that if [Formula: see text] and [Formula: see text] such that [Formula: see text] is minimax for all [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax for all [Formula: see text] if (and only if) [Formula: see text] is minimax for all [Formula: see text].
Read full abstract