Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

The group PSL(2,q) is not the multiplication group of a loop

ABSTRACT

We introduce the notion of weak transitivity for torsion-free abelian groups. A torsion-free abelian group G is called weakly transitive if for any pair of elements x, y ∈ G and endomorphisms ?, ψ ∈ End(G) such that x? = y, yψ = x, there exists an automorphism of G mapping x onto y. It is shown that every suitable ring can be realized as the endomorphism ring of a weakly transitive torsion-free abelian group, and we characterize up to a number-theoretical property the separable weakly transitive torsion-free abelian groups.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Nonlinear Strong Commutativity Preserving Maps on Prime Rings

Let 𝒜 be a unital prime ring containing a nontrivial idempotent P. Assume that Φ: 𝒜 → 𝒜 is a nonlinear surjective map. It is shown that Φ preserves strong commutativity if and only if Φ has the form Φ(A) = αA + f(A) for all A ∈ 𝒜, where α ∈ {1, ?1} and f is a map from 𝒜 into 𝒵(𝒜). As an application, a characterization of nonlinear surjective strong commutativity preserving maps on factor von Neumann algebras is obtained.     

Balanced pairs induce recollements

Let 𝒜 be an abelian category with arbitrary (set-indexed) coproducts and exact products. Let (𝒫,?) be a complete balanced pair. Then as in the classical case, we prove that there exists a recollement with the middle term K(𝒜), the homotopy category of 𝒜. In particular, this implies that the relative derived category exists. Two applications are given.     

Mutation Pairs in Abelian Categories

A notion of mutation pairs of subcategories in an abelian category is defined in this article. For an extension closed subcategory 𝒵 and a rigid subcategory 𝒟 ? 𝒵, the subfactor category 𝒵/[𝒟] is also a triangulated category whenever (𝒵, 𝒵) forms a 𝒟-mutation pair. Moreover, if 𝒟 and 𝒵 satisfy certain conditions in modΛ, the category of finitely generated Λ-modules over an artin algebra Λ, the triangulated category 𝒵/[𝒟] has a Serre functor.     

A Note on the Abelianization Functor

It is well known that the abelianization of a group G can be computed as the cokernel of the diagonal morphism (1_G, 1_G): G → G × G in the category of groups. We generalize this to arbitrary regular subtractive categories, among which are the category of groups, the category of topological groups, and the categories of other group-like structures. We also establish that an abelian category is the same as a regular subtractive category in which every monomorphism is a kernel of some morphism.     

Cluster-Tilted Algebras of Type D n

Let H be a hereditary algebra of Dynkin type D _n over a field k and 𝒞 _H be the cluster category of H. Assume that n ≥ 5 and that T and T′ are tilting objects in 𝒞 _H . We prove that the cluster-tilted algebra Γ = End_{𝒞 H} (T)^op is isomorphic to Γ′ = End_{𝒞 H} (T′)^op if and only if T = τ ⁱ T′ or T = στ ^j T′ for some integers i and j, where τ is the Auslander–Reiten translation and σ is the automorphism of 𝒞 _H defined in Section 4.     

Heart of Irreducible Morphisms of Bounded Complexes

In [9 Giraldo , H. , Merklen , H. ( 2009 ). Irreducible morphisms of categories of complexes . Journal of Algebra 321 : 2716 – 2736 .[Crossref], [Web of Science ®] , [Google Scholar]] Giraldo and Merklen studied irreducible morphisms in the categories 𝒞(𝒜) and D^?(Λ), where 𝒞(𝒜) is the category of complexes over an abelian Krull–Schmidt category 𝒜 and D^?(Λ) is the derived category of the bounded above complexes of finite generate left modules, over an Artin algebra Λ. In this work, we continue the study of irreducible morphism having one finite irreducible truncation.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

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.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

Calculus of Functorial Morphisms

We prove that, if F, G: 𝒞 → 𝒟 are two right exact functors between two Grothendieck categories such that they commute with coproducts and U is a generator of 𝒞, then there is a bijection between Nat(F, G) and the centralizer of Hom_𝒟(F(U), G(U)) considered as an Hom_𝒞(U, U)-Hom_𝒞(U, U)-bimodule. We also prove a dual of this result and give applications to Frobenius functors between Grothendieck categories.     

On Universal Central Extensions of Leibniz Algebras

We construct the endofunctor 𝔲𝔠𝔢 between the category of Leibniz algebras which assigns to a perfect Leibniz algebra its universal central extension, and we obtain the isomorphism 𝔲𝔠𝔢_Lie(𝔮_Lie) ? (𝔲𝔠𝔢_Leib(𝔮))_Lie, where 𝔮 is a perfect Leibniz algebra satisfying the condition [x, [x, y]] + [[x, y], x] = 0, for all x, y ∈ 𝔮. Moreover, we obtain several results concerning the lifting of automorphisms and derivations in a covering. We also study the relationship between the universal central extension of a semidirect product of perfect Leibniz algebras and the semidirect product of the universal central extension of both of them.     

Preprojective Cluster Variables of Acyclic Cluster Algebras

It is proved that any cluster-tilted algebra defined in the cluster category 𝒞(H) has the same representation type as the initial hereditary algebra H. For any valued quiver (Γ, Ω), an injection from the subset 𝒫?(Ω) of the cluster category 𝒞(Ω) consisting of indecomposable preprojective objects, preinjective objects, and the first shifts of indecomposable projective modules to the set of cluster variables of the corresponding cluster algebra 𝒜_Ω is given. The images are called “preprojective cluster variables”. It is proved that all preprojective cluster variables other than u_i have denominators u ^dim M in their irreducible fractions of integral polynomials, where M is the corresponding preprojective module or preinjective module. In case the valued quiver (Γ, Ω) is of finite type, the denominator theorem holds with respect to any cluster. Namely, let x = (x₁,…, x_n) be a cluster of the cluster algebra 𝒜_Ω, and V the cluster tilting object in 𝒞(Ω) corresponding to x, whose endomorphism algebra is denoted by Λ. Then the denominator of any cluster variable y other than x_i is x ^dim M, where M is the indecomposable Λ-module corresponding to y. This result is a generalization of the corresponding result of Caldero–Chapoton–Schiffler to the non-simply-laced case.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.