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 J²(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 J²(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.     

Generalized Smash Products

In this paper．we study the ring #(D．B)and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all(B．D)-Hopf modules BM^D．Cai and Chen have proved this result in the case B=D=A．Secondly they have proved that if A has a nonzero left integral then A#A^*rat is a dense subring of Endk(A)．We prove that #(A,A) is a dense subring of Endk(Q),where Q is a certain subspace of #(A．A)under the condition that the antipode is bijective(see Theorem18).This condition is weaker than the condition that A has a nonzero integral.It is well known the antipode is bijective in case A has a nonzero integral．Furthermore if A has nonzero left integral,Q can be chosen to be A(see Corollary 19)and #(A,A)is both left and right primitive.Thus A#A^*rat #(A,A)-Endk(A)．Moreover we prove that the left singular ideal of the ring #(A,A)is zero．A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional,namely the ring #(A,A)has a finite uniform dimension．     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

Operations on orbits of unimodular vectors

Taking the m-power of an entry is a well-defined operation on the unimodular vectors in Aⁿ modulo addition operations, if n is at least 3, for an arbitrary commutative ring A and any integer m.     

MULTIPLICATIVELY CLOSED SETS OF IDEALS AND RESIDUAL DIVISION

Let R be a ring (commutative with identity), let Γ be a multiplicatively closed set of finitely generated nonzero ideals of R, for an ideal I of R let I _Γ = ∪ {I : G; G ∈ Γ}, and for an R-algebra A such that GA ≠ (0) for all G ∈ Γ let A ^Γ = ∪ {A : _T GA; G ∈ Γ}, where T is the total quotient ring of A. Then I _Γ is an ideal in R, I → I _Γ is a semi-prime operation (on the set I of ideals I of R) that satisfies a cancellation law, and it is a prime operation on I if and only if R = R ^Γ. Also, A ^Γ is an R-algebra and A → A ^Γ is a closure operation on any set A = {A; A is an R-algebra, R ? A, and if C is a ring between R and A, then regular elements in C remain regular in A}. Finally, several results are proved concerning relations between the ideals I _Γ and (IA)_ΓA and between the R-algebras R ^Γ and A ^Γ.

     

Completely integrally closed modules and rings

A ring A is a completely integrally closed right A-module if and only if the maximal right ring of quotients Q _max(A) of A is an injective right A-module and A is a right completely integrally closed subring in Q _max(A). A right Noetherian, right integrally closed ring A is a completely integrally closed right A-module.     

Semisimilarity for matrices over a division ring

Two square matrices A and B over a ring R are semisimilar, written A$\text{?}$B, if YAX=B and XBY=A for some (possibly rectangular) matrices X, Y over R. We show that if A and B have the same dimension, and if the ring is a division ring $\text{D}$, then A$\text{?}$B if and only if A² is similar to B² and rank(A^k)=rank(B^k), k=1,2,…     

Quasi-hopf algebra actions and smash products

A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group F^A has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that F^A is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and F^A is a free A-groupp of Lyndon' type, then F^A has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then F^A has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, F^A has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if F^Q has a faithful Magnus representation in Q[[Y]].     

Morita Duality for the Rings of Generalized Power Series

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule _A M _B , we show that the bimodule _{[[ AS,≤ ]]}[M ^{S ,≤}]_{[[ BS, ≤ ]]} defines a Morita duality if and only if _A M _B defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A ^{S ,≤}]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _A M _B such that B is right noetherian. Received April 13, 1999, Accepted December 12, 1999     

Separativity of Regular Rings in Which 2 Is Invertible

A regular ring R is separative provided that for all finitely generated projective right R-modules A and B, A⊕ A? A⊕ B? A⊕ B implies that A? B. We prove, in this article, that a regular ring R in which 2 is invertible is separative if and only if each a ∈ R satisfying R(1 ? a ²)R = Rr(a) = ?(a)R and i(End _R (aR)) = ∞ is unit-regular if and only if each a ∈ R satisfying R(1 ? a ²)R ∩ RaR = Rr(a) ∩ ?(a)R ∩ RaR and i(End _R (aR)) = ∞ is unit-regular. Further equivalent characterizations of such regular rings are also obtained.     

Notes on the Kernels of Locally Finite Higher Derivations in Polynomial Rings

Let A = k^[3] be the polynomial ring in three variables over a field k, and let D be a nontrivial locally finite iterative higher derivation on A. Let A^D denote the kernel of D. In this note, we prove that, if chark > 0 and ML(A^D) ≠ A^D, then A^D ? k^[2]. As a consequence of this result, we give another proof of the cancellation theorem for k^[2] over any field k of positive characteristic.     

GOOD IDEALS IN MATRIX RINGS OVER COMMUTATIVE PIR's

Abstract

An ideal A of a ring R is called a good ideal if the coset product r ₁ r ₂ + A of any two cosets r ₁ + A and r ₂ + A of A in the factor ring R/A equals their set product (r ₁ + A) º (r ₂ + A): = {(r ₁ + a)(r ₂ + a ₂): a ₁, a ₂ ε A}. Good ideals were introduced in [3] to give a characterization of regular right duo rings. We characterize the good ideals of blocked triangular matrix rings over commutative principal ideal rings and show that the condition A º A = A is sufficient for A to be a good ideal in this class of matrix rings, none of which are right duo. It is not known whether good ideals in a base ring carries over to good ideals in complete matrix rings over the base ring. Our characterization shows that this phenomenon occurs indeed for complete matrix rings of certain sizes if the base ring is a blocked triangular matrix ring over a commutative principal ideal ring.     

Injective and automorphism-invariant non-singular modules

Every automorphism-invariant non-singular right A-module is injective if and only if the factor ring of the ring A with respect to its right Goldie radical is a right strongly semiprime ring.     

Simple-direct-modules

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 J²(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).     

An Upper Bound on the Reduction Number of an Ideal

Let A be a commutative ring and I an ideal of A with a reduction Q. In this article, we give an upper bound on the reduction number of I with respect to Q, when a suitable family of ideals in A is given. As a corollary it follows that if some ideal J containing I satisfies J ² = QJ, then I ^v+2 = QI ^v+1, where v denotes the number of generators of J/I as an A-module.     

Rings of quotients of f-rings by gabriel filters of ideals

The article examines the role of Gabriel filters of ideals in the ontext of semiprime f-rings. It is shown that for every 2-convex semiprime f-ring Aand every multiplicative filter B of dense ideals the ring of quotients of A by B, namely the direct limit of the Hom _A (I, A) over all I∈ B, is an l-subring of QA, the maximum ring of quotients. Relative to the category of all commutative rings with identity, it is shown that for every 2-convex semiprime f-ring A qA, the classical ring of quotients, is the largest flat epimorphic extension of A. If Ais also a Prüfer ring then it follows that every extension of Ain qA is of the form S ^-1A for a suitable multiplicative subset S. The paper also examines when a Utumi ring of quotients of a semiprime f-ring is obtained from a Gabriel filter. For a ring of continuous functions C(X), with Xcompact, this is so for each C(U) and C ^*(U), when Uis dense open, but not for an arbitrary direct limit of C(U),taken over a filter base of dense open sets. In conclusion, it is shown that, for a complemented semiprime f-ring A, the ideals of Awhich are torsion radicals with respect to some hereditary torsion theory are precisely the intersections of minimal prime ideals of A.     

Semi-primary hereditary rings

A semi-primary hereditary ring Σ, with radicalM and residue ring Γ=Σ/M, is uniquely determined by Γ and a Γ-bimoduleA=M/M ², whenever Σ admits a splitting Σ=Γ+A+M ².     

A Valuation Theory for Nonassociative Quaternion Algebras

A nonassociative quaternion algebra over a field F is a 4-dimensional F-algebra A whose nucleus is a separable quadratic extension field of F. We define the notion of a valuation ring for A, and we also define a value function on A with values from a totally ordered group. We determine the structure of the set on which the function assumes non-negative values and we prove that, given a valuation ring of A, there is a value function associated to it if and only if the valuation ring is integral and invariant under proper F-automorphisms of A.     

t-closed rings of formal power series

Let A ì BA\subset B be rings. We say that A is t-closed in B, if for each a ? Aa\in A and b ? Bb\in B such that b²-ab,b³-ab² ? Ab^2-ab,b^3-ab^2\in A, then b ? Ab\in A. We present a sufficient condition for the ring A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] to be t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]]. By an example, we show that our condition is not necessary. Even though the question is still open, some important cases are treated. For example, if A ì BA\subset B is an integral extension, or if A is p-injective, then A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] is t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]] if and only if A is t-closed in B.