M. Tamer Koşan

On automorphism-invariant modules

Let M and N be two modules. M is called automorphism N-invariant if for any essential submodule A of N, any essential monomorphism f : A → M can be extended to some g ∈ Hom(N, M). M is called automorphism-invariant if M is automorphism M-invariant. This notion is motivated by automorphism-invariant modules analog discussed in a recent paper by Lee and Zhou [Modules which are invariant under automorphisms of their injective hulls, J. Algebra Appl. 12(2) (2013), 1250159, 9 pp.]. Basic properties of mutually automorphism-invariant modules and automorphism-invariant modules are proved and their connections with pseudo-injective modules are addressed.

Simple-Direct-Projective Modules

In this paper, we introduce and study the dual notion of simple-direct-injective modules. Namely, a right R-module M is called simple-direct-projective if, whenever A and B are submodules of M with B simple and M/A ≅ B ⊆⊕M, then A ⊆⊕M. Several characterizations of simple-direct-projective modules are provided and used to describe some well-known classes of rings. For example, it is shown that a ring R is artinian and serial with J2(R) = 0 if and only if every simple-direct-projective right R-module is quasi-projective if and only if every simple-direct-projective right R -module is a D3-module. It is also shown that a ring R is uniserial with J2(R) = 0 if and only if every simple-direct-projective right R-module is a C3-module if and only if every simple-direct-injective right R -module is a D3-module.

m-Power Commuting MAPS on Semiprime Rings

Let R be a semiprime ring with center Z(R), extended centroid C, U the maximal right ring of quotients of R, and m a positive integer. Let f: R → U be an additive m-power commuting map. Suppose that f is Z(R)-linear. It is proved that there exists an idempotent e ∈ C such that ef(x) = λx + μ(x) for all x ∈ R, where λ ∈C and μ: R → C. Moreover, (1 − e)U ≅ M2(E), where E is a complete Boolean ring. As consequences of the theorem, it is proved that every additive, 2-power commuting map or centralizing map from R to U is commuting.

Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ⊗ R RG is a retractable RG-module if and only if M R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.

Nilpotent-invariant modules and rings

ABSTRACT Automorphism-invariant modules, due to Lee and Zhou, generalize the notion of quasi-injective modules. A module which is invariant under automorphisms of its injective hull is called an automorphism-invariant module. Here we carry out a study of the module which is invariant under nilpotent endomorphisms of its injective envelope, such as modules are called nilpotent-invariant. Many basic properties are obtained. For instance, it is proved that (1) nilpotent-invariant modules have the (C3) property, (2) if is nilpotent-invariant, then M1 and M2 are relative injective. In this paper, we also show that (3) a simple right nilpotent-invariant ring R is either right self-injective or RR is uniform square-free.

On ADS Modules and Rings

A right module M over a ring R is said to be ADS if for every decomposition M = S ⊕ T and every complement T′ of S, we have M = S ⊕ T′. In this article, we study and provide several new characterizations of this new class of modules. We prove that M is semisimple if and only if every module in σ[M] is ADS. SC and SI rings also characterized by the ADS notion. A ring R is right SC-ring if and only if every 2-generated singular R-module is ADS.

Decompositions of Quotient Rings and m-Power Commuting Maps

Let R be a semiprime ring with symmetric Martindale quotient ring Q, n ≥ 2 and let f(X) = X n h(X), where h(X) is a polynomial over the ring of integers with h(0) = ±1. Then there is a ring decomposition Q = Q 1 ⊕ Q 2 ⊕ Q 3 such that Q 1 is a ring satisfying S 2n−2, the standard identity of degree 2n − 2, Q 2 ≅ M n (E) for some commutative regular self-injective ring E such that, for some fixed q > 1, x q = x for all x ∈ E, and Q 3 is a both faithful S 2n−2-free and faithful f-free ring. Applying the theorem, we characterize m-power commuting maps, which are defined by linear generalized differential polynomials, on a semiprime ring.

Faithful f-Free Algebras

For a polynomial with zero constant term, a semiprime K-algebra R is called faithful f-free if every nonzero ideal of R does not satisfy f. We prove that a semiprime algebra has an essential ideal which is the direct sum of its largest faithful f-free ideal and its largest ideal satisfying the identity f. Here, faithful f-free algebras are characterized, and applications to some interesting differential identities are discussed. Especially with f = S2n (n ≥ 1), a description of semiprime rings is obtained in terms of faithful S2n-free rings and semiprime PI-rings of degree 2n. Semiprime PI-rings of degree 2n are realized through faithful S2n-rings. Finally, faithful S2n-rings are characterized.

Simple-direct-modules

ABSTRACT A right R-module M is called simple-direct-injective if, whenever, A and B are simple submodules of M with A≅B, and B⊆⊕M, then A⊆⊕M. Dually, M is called simple-direct-projective if, whenever, A and B are submodules of M with M∕A≅B⊆⊕M and B simple, then A⊆⊕M. In this paper, we continue our investigation of these classes of modules strengthening many of the established results on the subject. For example, we show that a ring R is uniserial (artinian serial) with J2(R) = 0 iff every simple-direct-projective right R-module is an SSP-module (SIP-module) iff every simple-direct-injective right R-module is an SIP-module (SSP-module).

Correspondences of Coclosed Submodules

We establish an order-preserving bijective correspondence between the sets of coclosed elements of some bounded lattices related by suitable Galois connections. As an application, we deduce that if M is a finitely generated quasi-projective left R-module with S = End R (M) and N is an M-generated left R-module, then there exists an order-preserving bijective correspondence between the sets of coclosed left R-submodules of N and coclosed left S-submodules of Hom R (M, N).