δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

McCoy modules and related modules over commutative rings

Let M be a left R-module. Then M is a McCoy (resp., dual McCoy) module if for nonzero f(X)∈R[X] and m(X)∈M[X], f(X)m(X) = 0 implies there exists a nonzero r∈R (resp., m∈M) with rm(X) = 0 (resp., f(X)m = 0). We show that for R commutative every R-module is dual McCoy, but give an example of a non-McCoy module. A number of other results concerning (dual) McCoy modules as well as arithmetical, Gaussian, and Armendariz modules are given.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

A Note on Relative Flatness and Coherence

Let R be a ring and M a fixed right R-module. A new characterization of M-flatness is given by certain linear equations. For a left R-module F such that the canonical map M? _R F → Hom _R (M?, F) is injective, where M? = Hom _R (M, R), the M-flatness of F is characterized via certain matrix subgroups. An example is given to show that R need not be M-coherent even if every left R-module is M-flat. Moreover, some properties of M-coherent rings are discussed.     

MTame Modules And Local Gabriel Correspondence

Using the concept of prime submodule for M ∈ R-Mod, P ∈ Spec(M), and N ∈ σ[M], we define when N is P-Mtame \ (Mtame) module. This concept generalizes the concept\ of P-tame (tame) modules. For M ∈ R-Mod and τ ∈M-tors, we use the concept of τ _M -Gabriel dimension and we study the relationship between Mtame modules and τ _M -Gabriel dimension. We find equivalent conditions for a module M progenerator in σ[M] with τ _M -Gabriel dimension to have τ _M -Gabriel correspondence in terms of the P-Mtame modules. This result extends the results by Albu et al. and Kim and Krause.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

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.     

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.     

Topological rings,homogeneous functions,and primeness

For any group G such that G is a right R-module for some ring R, the elements of R act on G as endomorphisms and we obtain the near-ring of R-homogeneous maps on G: M_R(G) = {f: G → G|f(ga) = f(g)a for all a ∈ R, g ∈ G}. In the special case that R is a topological ring and G is a topological R-module, we study N_R(G): = {f ∈ M_R(G)|f is continuous}. In particular, we investigate primeness of the near-ring N_R(G) of continuous homogeneous maps on G.     

Generalized Derivations with Engel Conditions on One-Sided Ideals

Let R be a noncommutative prime ring and I a nonzero left ideal of R. Let g be a generalized derivation of R such that [g(r ^k ), r ^k ] _n  = 0 for all r ∈ I, where k, n are fixed positive integers. Then there exists c ∈ U, the left Utumi quotient ring of R, such that g(x) = xc and I(c ? α) = 0 for a suitable α ∈ C. In particular we have that g(x) = α x, for all x ∈ I.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

Hopf Algebra Approaches to Nonlinear Algebraic Equations

Abstract

Let M be a k-vector space and R ∈ Hom(M ^?p , M ^?q ), we present a general version of the FRT-construction, we provide a method for examining whether an FRT-bialgebra A(R) has a pre-braided structure and whether M can be regarded as an A(R)-dimodule. We show that the FRT-relation plays a fundamental role in determining the algebra structure on the FRT-bialgebra and the compatibility condition of relevant dimodule. As an example, we give a Hopf algebra approach for solving both homogeneous and non-homogeneous nonlinear (algebraic) equations.     

Generalized Skew Derivations with Power Central Values on Lie Ideals

Let R be a prime ring with center Z and L a noncommutative Lie ideal of R. Suppose that f is a right generalized β-derivation of R associated with a β-derivation δ such that f(x) ⁿ  ∈ Z for all x ∈ L, where n is a fixed positive integer. Then f = 0 unless dim  _C RC = 4.     

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 ? M₂(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.     

Modules with Noetherian Spectrum

Let M be a module over a commutative ring R. A submodule P of M is called prime if P ≠ M and, whenever r ∈ R, e ∈ M, and re ∈ P, we have rM ? P or e ∈ P. We let Spec(M) denote the set of all prime submodules of M. Using a topology analogous to the Zariski topology for Spec(R), we establish necessary and sufficient conditions for Spec(M) to be a Noetherian space. We produce some examples of modules with Noetherian spectrum that have not appeared in the literature previously. In particular, Laskerian modules and faithfully flat modules over Laskerian rings have Noetherian spectra. (The term Laskerian is defined in Section 3.)     

AA-Rings

Abstract

Let R be a ring with identity such that R ⁺, the additive group of R, is torsion-free of finite rank (tffr). The ring R is called an E-ring if End(R ⁺) = {x ? ax : a ∈ R} and is called an A-ring if Aut(R ⁺) = {x ? ux : u ∈ U(R)}, where U(R) is the group of units of R. While E-rings have been studied for decades, the notion of A-rings was introduced only recently. We now introduce a weaker notion. The ring R, 1 ∈ R, is called an AA-ring if for each α ∈ Aut(R ⁺) there is some natural number n such that α ⁿ  ∈ {x ? ux : u ∈ U(R)}. We will find all tffr AA-rings with nilradical N(R) ≠ {0} and show that all tffr AA-rings with N(R) = {0} are actually E-rings. As a consequence of our results on AA-rings, we are able to prove that all tffr A-rings are indeed E-rings.     

Commuting Values of Generalized Derivations on Multilinear Polynomials

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, U the right Utumi quotient ring of R, f(x ₁,…, x _n ) a noncentral multilinear polynomial over K, and G a nonzero generalized derivation of R. Denote f(R) the set of all evaluations of the polynomial f(x ₁,…, x _n ) in R. If [G(u)u, G(v)v] = 0, for any u, v ∈ f(R), we prove that there exists c ∈ U such that G(x) = cx, for all x ∈ R and one of the following holds: 1. f(x ₁,…, x _n )² is central valued on R;

2. R satisfies s ₄, the standard identity of degree 4.

     

Factorization of Integer-Valued Polynomials with Square-Free Denominator

We describe an algorithm to compute the different factorizations of a given image primitive integer-valued polynomial f(X) = g(X)/d ∈ ?[X], where g ∈ ?[X] and d ∈ ? is square-free, assuming that the factorizations of g(X) in ?[X] and d in ? are known. We translate this problem into a combinatorial one.     

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).