KERNELS OF MORPHISMS BETWEEN INDECOMPOSABLE INJECTIVE MODULES

AbstractWe show that the endomorphism rings of kernels ker ϕ of non-injective morphisms ϕ between indecomposable injective modules are either local or have two maximal ideals, the module ker ϕ is determined up to isomorphism by two invariants called monogeny class and upper part, and a weak form of the Krull–Schmidt theorem holds for direct sums of these kernels. We prove with an example that our pathological decompositions actually take place. We show that a direct sum ofnkernels of morphisms between injective indecomposable modules can have exactlyn! pairwise non-isomorphic direct-sum decompositions into kernels of morphisms of the same type. IfERis an injective indecomposable module andSis its endomorphism ring, the duality Hom(−,ER) transforms kernels of morphismsER→ERinto cyclically presented left modules over the local ringS, sending the monogeny class into the epigeny class and the upper part into the lower part

DIRECT SUMS OF INFINITELY MANY KERNELS

AbstractLet be the class of all rightR-modules that are kernels of nonzero homomorphisms φ:E1→E2for some pair of indecomposable injective rightR-modulesE1,E2. In a previous paper, we completely characterized when two direct sumsA1⊕⋯⊕AnandB1⊕⋯⊕Bmof finitely many modulesAiand Bjin are isomorphic. Here we consider the case in which there are arbitrarily, possibly infinitely, manyAiandBjin . In both the finite and the infinite case, the behaviour is very similar to that which occurs if we substitute the class with the class of all uniserial rightR-modules (a module is uniserial when its lattice of submodules is linearly ordered)

On the support of general local cohomology modules and filter regular sequences

Let R be a commutative Noetherian ring with non-zero identity and a an ideal of R. In the present paper, we examine the question whether the support of Hn a (N;M) must be closed in Zariski topology, where Hn a (N;M) is the nth general local cohomology module of nitely generated R-modules M and N with respect to the ideal a

Identities with Engel conditions on derivations

Item does not contain fulltext737 p