The unique rank property among gabriel localizations

It is not uncommon for rings to have Gabriel localizations which do not possess the unique rank (UR) property although the rings themselves do have UR. We show that if F is a Gabriel filter of right ideals on a ring R and R_F is the corresponding Gabriel localization, then free R_F?modules of ranks m and n are isomorphic if and only if some F-dense submodule of (R/T_f(R))^m is isomorphic to some F-dense submodule of (R/T_F(R))ⁿ, where T_F(R) is the F-torsion ideal of R.     

Twisted hopf comodule algebras

For k a commutative ring, H a k‐bialgebra and A a right H‐comodule k‐algebra, we define a new multiplication on the H‐comodule A to obtain a twisted algebra” A^T, T sumHom(H,End (A)). If ^T is convolution invertible, the categories of relative right Hopf modules over A and A^Tare isomorphic. Similarly a convolution invertible left twisting gives an isomorphism of the categories of relative left Hopf modules. We show that crossed products are invertible twistings of the tensor product, and obtain, as a corollary, a duality theorem for crossed products     

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.     

Comparison of Some Purities,Flatnesses and Injectivities

In this article, we compare (n, m)-purities for different pairs of positive integers (n, m). When R is a commutative ring, these purities are not equivalent if R does not satisfy the following property: there exists a positive integer p such that, for each maximal ideal P, every finitely generated ideal of R _P is p-generated. When this property holds, then the (n, m)-purity and the (n, m′)-purity are equivalent if m and m′ are integers ≥np. These results are obtained by a generalization of Warfield's methods. There are also some interesting results when R is a semiperfect strongly π-regular ring. We also compare (n, m)-flatnesses and (n, m)-injectivities for different pairs of positive integers (n, m). In particular, if R is right perfect and right self (?₀, 1)-injective, then each (1, 1)-flat right R-module is projective. In several cases, for each positive integer p, all (n, p)-flatnesses are equivalent. But there are some examples where the (1, p)-flatness is not equivalent to the (1, p + 1)-flatness.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

Basic Module Theory for General Rings

We show how to construct a theory of modules over general rings (i.e., rings which do not necessarily have an identity element) in such a form that most of the known results of the usual theory of modules over unital rings are obtained by particularizing the results of the general theory.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

Two Open Questions On Goldie Extending Modules

Five open questions on Goldie extending modules were posed by Akalan et al. [1 Akalan , E. , Birkenmeier , G. F. , Tercan , A. ( 2009 ). Goldie extending modules . Comm. Algebra 37 : 663 – 683 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]]. The first one and the second one are considered in this article. It is shown that a 𝒢-extending module M with (C ₃) is 𝒢⁺-extending. Moreover, let M = M ₁ ⊕ M ₂ be a direct sum of 𝒢-extending modules, where M satisfies (C ₃) and M ₁ is M ₂-ojective (or M ₂ is M ₁-ojective), then M is 𝒢-extending. Other sufficient conditions for a direct sum of 𝒢-extending modules to be 𝒢-extending are obtained.     

On the Factorial Closure of Certain Monomial Modules

Abstract

Let R = K[y ₁,…,y _t ] be an affine domain over a field K and I be a nonzero proper ideal of R. In Sec. 1 of this note, we characterize when (K + I, R) is a Mori pair. In Sec. 2 of this note, we prove the following theorem: Let A ? B be domains such that C/Q is Mori for each subring C of B containing A and for any prime ideal Q of C. Then dim A ? 1 ≤ dim B ≤ dim A + 1 and if dim A > 1 or dim B > 1 then dim A = dim B.     

Notes on Two-Parameter Quantum Groups, (II)

This article is the sequel to [11 Hu , N. , Pei , Y. ( 2008 ). Notes on two-parameter quantum groups, (I) . Sci. in China, Ser. A 51 ( 6 ): 1101 – 1110 . [Google Scholar]] to study the deformed structures and representations of two-parameter quantum groups U _{r, s} (𝔤) associated to the finite dimensional simple Lie algebras 𝔤. An equivalence of the braided tensor categories 𝒪 ^{r, s} and 𝒪 ^q under the assumption rs ^?1 = q ² is explicitly established.