Coartinianess of extension and torsion functors
Let be a commutative noetherian local ring with -adic topology, an ideal of . We investigate coartinianess of and , show that the -module is -coartinian if is a linearly compact -coartinian -module and is an -cofinite -module of dimension at most ; the -module is -coartinian in the case is semi-discrete linearly compact -coartinian and is finitely generated with dimension at most .