Degrees of irreducible morphisms in standard components

We study the left degree of an irreducible morphism with X and Y_i indecomposable modules in a standard component of the Auslander-Reiten quiver, for 1≤i≤r. Two criteria to determine whether the left degree of these irreducible morphisms is finite or infinite are given, for standard algebras. We also study which of them has left degree two.     

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.     

The phantom cover of a module

A morphism of left R-modules is a phantom morphism if for any morphism , with A finitely presented, the composition fg factors through a projective module. Equivalently, Tor₁(X,f)=0 for every right R-module X. It is proved that every R-module possesses a phantom cover, whose kernel is pure injective.If is the category of finitely presented right R-modules modulo projectives, then the association M?Tor₁(−,M) is a functor from the category of left R-modules to that of the flat functors on . The phantom cover is used to characterize when this functor is faithful or full. It is faithful if and only if the flat cover of every module has a pure injective kernel; this is equivalent to the flat cover being the phantom cover. The question of fullness is only reasonable when the functor is restricted to the subcategory of cotorsion modules. This restriction is full if and only if every phantom cover of a cotorsion module is pure injective.     

Direct summands of direct sums of modules whose endomorphism rings have two maximal right ideals

Let M₁,…,M_n be right modules over a ring R. Suppose that the endomorphism ring of each module M_i has at most two maximal right ideals. Is it true that every direct summand of M₁⊕?⊕M_n is a direct sum of modules whose endomorphism rings also have at most two maximal right ideals? We show that the answer is negative in general, but affirmative under further hypotheses. The endomorphism ring of uniserial modules, that is, the modules whose lattice of submodules is linearly ordered under inclusion, always has at most two maximal right ideals, and Pavel P?íhoda showed in 2004 that the answer to our question is affirmative for direct sums of finitely many uniserial modules.     

Relative copure injective and copure flat modules

Let R be a ring, n a fixed nonnegative integer and I_n (F_n) the class of all left (right) R-modules of injective (flat) dimension at most n. A left R-module M (resp., right R-module F) is called n-copure injective (resp., n-copure flat) if (resp., ) for any N∈I_n. It is shown that a left R-module M over any ring R is n-copure injective if and only if M is a kernel of an I_n-precover f:A→B of a left R-module B with A injective. For a left coherent ring R, it is proven that every right R-module has an F_n-preenvelope, and a finitely presented right R-module M is n-copure flat if and only if M is a cokernel of an F_n-preenvelope K→F of a right R-module K with F flat. These classes of modules are also used to construct cotorsion theories and to characterize the global dimension of a ring under suitable conditions.     

Representation dimension of extensions of hereditary algebras

We show that if H is a hereditary finite dimensional algebra, M is a finitely generated H-module and B is a semisimple subalgebra of End_H(M)^op, then the representation dimension of is less than or equal to 3 whenever one of the following conditions holds: (i) H is of finite representation type; (ii) H is tame and M is a direct sum of regular and preprojective modules; (iii) M has no self-extensions.     

Local rings whose modules are almost serial

The present paper is a sequel to our previous work on almost uniserial rings and modules, which appeared in the Journal of Algebra in 2016; it studies rings over which every (left and right) module is almost serial. A module is almost uniserial if any two of its submodules are either comparable in inclusion or isomorphic. And a module is almost serial if it is a direct sum of almost uniserial modules. The results of the paper are inspired by a characterization of Artinian serial rings as rings having all left (or right) modules serial. We prove that if R is a local ring and all left R-modules are almost serial then R is an Artinian ring which is uniserial either on the left or on the right. We also produce a connection between local rings having all left and right modules almost serial, local balanced rings studied by Dlab and Ringel and local Köthe rings. Finally we prove Morita invariance of the almost serial property and list some consequences.     

Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

Degenerations for indecomposable modules in almost cyclic coherent Auslander-Reiten components

We give a necessary and sufficient condition for the existence of degeneration M≤_degN for arbitrary modules M, N of the same dimension from the additive category of a generalized standard almost cyclic coherent component of the Auslander-Reiten quiver of finite-dimensional algebra.     

Presenting degenerate Ringel-Hall algebras of cyclic quivers

Using the generators labelled by simple and sincere semisimple modules for the Ringel-Hall algebra H_q(n) of a cyclic quiver Δ(n), we give a presentation for the degenerate algebra H₀(n). This is achieved by establishing a presentation for the generic extension monoid algebra of Δ(n). As an application, we show that both the degenerate Ringel-Hall algebra and the degenerate quantum affine sl_n admit multiplicative bases.     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004     

The number of the Gabriel-Roiter measures admitting no direct predecessors over a wild quiver

A famous result by Drozd says that a finite-dimensional representation-infinite algebra is of either tame or wild representation type. But one has to make assumption on the ground field. The Gabriel-Roiter measure might be an alternative approach to extend these concepts of tame and wild to arbitrary Artin algebras. In particular, the infiniteness of the number of GR segments, i.e. sequences of Gabriel-Roiter measures which are closed under direct predecessors and successors, might relate to the wildness of Artin algebras. As the first step, we are going to study the wild quiver with three vertices, labeled by 1, 2 and 3, and one arrow from 1 to 2 and two arrows from 2 to 3. The Gabriel-Roiter submodules of the indecomposable preprojective modules and quasi-simple modules τ⁻ⁱM, i≥0 are described, where M is a Kronecker module and τ=DTr is the Auslander-Reiten translation. Based on these calculations, the existence of infinitely many GR segments will be shown. Moreover, it will be proved that there are infinitely many Gabriel-Roiter measures admitting no direct predecessors.     

On a separation of orbits in the module variety for string special biserial algebras

Given a pair M,M^′ of finite-dimensional modules over a string special biserial algebra Λ, a fully verifiable criterion, expressed in terms of a finite set of simple linear algebra invariants, deciding if M and M^′ lie in the same orbit in module variety, equivalently, if M and M^′ are isomorphic, is formulated and proved.     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

n-representation infinite algebras

From the viewpoint of higher dimensional Auslander–Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n  -regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext¹${\mathrm{Ext}}^1$-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras.     

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.     

The algebra of one-sided inverses of a polynomial algebra

We study in detail the algebra S_n in the title which is an algebra obtained from a polynomial algebra P_n in n variables by adding commuting, left (but not two-sided) inverses of the canonical generators of P_n. The algebra S_n is non-commutative and neither left nor right Noetherian but the set of its ideals satisfies the a.c.c., and the ideals commute. It is proved that the classical Krull dimension of S_n is 2n; but the weak and the global dimensions of S_n are n. The prime and maximal spectra of S_n are found, and the simple S_n-modules are classified. It is proved that the algebra S_n is central, prime, and catenary. The set I_n of idempotent ideals of S_n is found explicitly. The set I_n is a finite distributive lattice and the number of elements in the set I_n is equal to the Dedekind number d_n.     

Noetherianity and Ext

Let R=R₀⊕R₁⊕R₂⊕? be a graded algebra over a field K such that R₀ is a finite product of copies of K and each R_i is finite dimensional over K. Set J=R₁⊕R₂⊕? and . We study the properties of the categories of graded R-modules and S-modules that relate to the noetherianity of R. We pay particular attention to the case when R is a Koszul algebra and S is the Koszul dual to R.