Differentiability of torsion theories

We prove that every perfect torsion theory for a ring R is differential (in the sense of [P.E. Bland, Differential torsion theory, Journal of Pure and Applied Algebra 204 (2006) 1–8]). In this case, we construct the extension of a derivation of a right R-module M to a derivation of the module of quotients of M. Then, we prove that the Lambek and Goldie torsion theories for any R are differential.     

All hereditary torsion theories are differential

Let α and β be automorphisms on a ring R and δ:R→R an (α,β)-derivation. It is shown that if F is a right Gabriel filter on R then F is δ-invariant if it is both α and β-invariant. A consequence of this result is that every hereditary torsion theory on the category of right R-modules is differential in the sense of Bland (2006). This answers in the affirmative a question posed by Vaš (2007) and strengthens a result due to Golan (1981) on the extendability of a derivation map from a module to its module of quotients at a hereditary torsion theory.     

Differential torsion theory

Differential torsion theories are introduced and it is shown that for a hereditary torsion theory τ every derivation on an R-module M has a unique extension to its module of quotients if and only if τ is a differential torsion theory. Dually, we show that when τ is cohereditary, every derivation on M can be lifed uniquely to its module of coquotients.     

On t-structures and torsion theories induced by compact objects

First, we show that a compact object C in a triangulated category, which satisfies suitable conditions, induces a t-structure. Second, in an abelian category we show that a complex P· of small projective objects of term length two, which satisfies suitable conditions, induces a torsion theory. In the case of module categories, using a torsion theory, we give equivalent conditions for P· to be a tilting complex. Finally, in the case of artin algebras, we give a one-to-one correspondence between tilting complexes of term length two and torsion theories with certain conditions.     

Tilting via torsion pairs and almost hereditary noetherian rings

We generalize the tilting process by Happel, Reiten and Smalø to the setting of finitely presented modules over right coherent rings. Moreover, we extend the characterization of quasi-tilted artin algebras as the almost hereditary ones to all right noetherian rings.     

On the Behrens radical of matrix rings and polynomial rings

It is shown that the Behrens radical of a polynomial ring, in either commuting or non-commuting indeterminates, has the form of “polynomials over an ideal”. Moreover, in the case of non-commuting indeterminates, for a given coefficient ring, the ideal does not depend on the cardinality of the set of indeterminates. However, in contrast to the Brown-McCoy radical, it can happen that the polynomial ring R[X] in an infinite set X of commuting indeterminates over a ring R is Behrens radical while the polynomial ring R〈X〉 in an infinite set Y of non-commuting indeterminates over R is not Behrens radical. This is connected with the fact that the matrix rings over Behrens radical rings need not be Behrens radical. The class of Behrens radical rings, which is closed under taking matrix rings, is described.     

Decisive dimension and other related torsion theoretic dimensions

The paper is concerned with the study of the decisive dimension defined on the category of left modules over a ring R. We compare the decisive dimension with the Gabriel dimension and other dimensions recently introduced. We give module theoretic as well as lattice theoretic characterizations of rings with decisive dimension. As an application we obtain characterizations of some classes of rings.     

On a characterization of complete matrix rings

Peter R. Fuchs established in 1991 a new characterization of complete matrix rings by showing that a ringR with identity is isomorphic to a matrix ringM _n (S) for some ringS (and somen 2) if and only if there are elementsx andy inR such thatx ^n–1 0,x ⁿ=0=y ²,x+y is invertible, and Ann(x ^n–1)Ry={0} (theintersection condition), and he showed that the intersection condition is superfluous in casen=2. We show that the intersection condition cannot be omitted from Fuchs' characterization ifn3; in fact, we show that if the intersection condition is omitted, then not only may it happen that we do not obtain a completen ×n matrix ring for then under consideration, but it may even happen that we do not obtain a completem ×m matrix ring for anym2.     

A note on stable equivalences of Morita type

We investigate when an exact functor --Γ which induces a stable equivalence is part of a stable equivalence of Morita type. If Λ and Γ are finite dimensional algebras over a field k whose semisimple quotients are separable, we give a necessary and sufficient condition for this to be the case. This generalizes a result of Rickard’s for self-injective algebras. As a corollary, we see that the two functors given by tensoring with the bimodules in a stable equivalence of Morita type are right and left adjoints of one another, provided that these bimodules are indecomposable. This fact has many interesting consequences for stable equivalences of Morita type. In particular, we show that a stable equivalence of Morita type induces another stable equivalence of Morita type between certain self-injective algebras associated to the original algebras. We further show that when there exists a stable equivalence of Morita type between Λ and Γ, it is possible to replace Λ by a Morita equivalent k-algebra Δ such that Γ is a subring of Δ and the induction and restriction functors induce inverse stable equivalences.     

Torsion theories induced from commutative subalgebras

We begin a study of torsion theories for representations of finitely generated algebras U over a field containing a finitely generated commutative Harish-Chandra subalgebra Γ. This is an important class of associative algebras, which includes all finite W-algebras of type A over an algebraically closed field of characteristic zero, in particular, the universal enveloping algebra of (or ) for all n. We show that any Γ-torsion theory defined by the coheight of the prime ideals of Γ is liftable to U. Moreover, for any simple U-module M, all associated prime ideals of M in have the same coheight. Hence, the coheight of these associated prime ideals is an invariant of a given simple U-module. This implies the stratification of the category of U-modules controlled by the coheight of the associated prime ideals of Γ. Our approach can be viewed as a generalization of the classical paper by Block (1981) [4]; it allows, in particular, to study representations of beyond the classical category of weight or generalized weight modules.     

Classification of split torsion torsionfree triples in module categories

A TTF-triple (C,T,F) in an abelian category is one-sided split in case either (C,T) or (T,F) is a split torsion theory. In this paper we classify one-sided split TTF-triples in module categories, thus completing Jans’ classification of two-sided split TTF-triples and answering a question that has remained open for almost 40 years.     

Sigma-cotorsion rings

It is proved that a ring R is right perfect if and only if it is Σ-cotorsion as a right module over itself. Several other conditions are shown to be equivalent. For example, that every pure submodule of a free right R-module is strongly pure-essential in a direct summand, or that the countable direct sum of the cotorsion envelope of R_R is cotorsion.If C_R is a flat Σ-cotorsion module, then C_R admits a decomposition into a direct sum of indecomposable modules with a local endomorphism ring. The Jacobson radical J(S) of the endomorphism ring S=End_RC is characterized as the maximum ideal that acts locally T-nilpotently on C_R. If R is semilocal and C=C(R), then the radical consists of those endomorphisms whose image is contained in CJ.     

Verallgemeinerung der Sätze von Johnson und Utumi auf Hom

Ohne Zusammenfassung

---

     

Clean endomorphism rings

A ring is called clean if every element is the sum of an idempotent and a unit. It is shown that the endomorphism ring of a projective right module over a right perfect ring is clean.Received: 6 January 2003     

CS Modules Relative to a Torsion Theory

In this article we introduce two new concepts, those of a τ-CS and a s-τ-CS module, which are both torsion-theoretic analogues of CS modules. We investigate their relationship with the familiar concepts of τ-injective, τ-simple and τ-uniform modules and compare them with τ-complemented (τ-injective) modules, which were considered by other authors as torsion-theoretic analogues of CS modules. We are interested in decomposing a relatively CS module into indecomposable submodules, and in determining when a direct sum of relatively CS modules is relatively CS. This paper forms part of the Ph.D. thesis of the first author, written under the supervision of the second author. The first author gratefully acknowledges the support of the Commonwealth Scholarship and Fellowship Committee of New Zealand.     

Hopf structures on ambiskew polynomial rings

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl₂), U_q(sl₂) and the enveloping algebra of the three-dimensional Heisenberg Lie algebra. In a torsion-free case we describe the finite-dimensional simple modules, in particular their dimensions, and prove a Clebsch-Gordan decomposition theorem for the tensor product of two simple modules. We construct a Casimir type operator and prove that any finite-dimensional weight module is semisimple.     

Preinjective modules over pure semisimple rings

For a left pure semisimple ring R, it is shown that the local duality establishes a bijection between the preinjective left R-modules and the preprojective right R-modules, and any preinjective left R-module is the source of a left almost split morphism. Moreover, if there are no nonzero homomorphisms from preinjective modules to non-preinjective indecomposable modules in R-mod, the direct sum of all non-preinjective indecomposable direct summands of products of preinjective left R-modules is a finitely generated product-complete module. This generalizes a recent theorem of Angeleri Hügel [L. Angeleri Hügel, A key module over pure-semisimple hereditary rings, J. Algebra 307 (2007) 361-376] for hereditary rings.