Search

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously., Comment: 28 pages, comments are welcome

We prove that an object $U$ in a triangulated category with coproducts is silting if and only if it is a (weak) generator of the category, the orthogonal class $U^{\perp_{>0}}$ contains $U$, and $U^{\perp_{>0}}$ is closed under direct sums. The proof can be dualized to provide a characterization for cosilting objects in triangulated categories with products., Comment: Comments are welcome

We consider a finite dimensional strongly $G$-graded algebra $A$ with { self-injective} $1$-component $B$, and in our main result we prove that the induction from $B$ to $A$ of a basic support $\tau$-tilting pair of $B$-modules is a support $\tau$-tilting pair $(M,P)$ of $A$-modules if and only if $M$ is $G$-invariant. A similar statement holds for the restriction from $A$ to $B$, so our results may be viewed as Clifford and Maschke type theorems for $2$-term silting complexes. We also give applications to semibricks and the associated wide subcategories., Comment: For v2: An essential hypothesis (i.e. self-injectivity) was added to the main results of the paper

We will use commutators to provide decompositions of $3\times 3$ matrices as sums whose terms satisfy some polynomial identities, and we apply them to bounded linear operators and endomorphisms of free modules of infinite rank. In particular it is proved that every bounded operator of an infinite dimensional complex Hilbert space is a sum of four automorphisms of order $3$ and that every simple ring that is obtained as a quotient of the endomorphism ring of an infinitely dimensional vector space modulo its maximal ideal is a sum of three nilpotent subrings.

We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of (co)finite type. In many cases the bounded silting property descends along faithfully flat ring extensions. In particular, the notion of bounded silting complex is Zariski local., Comment: 25 pages

A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine spaces) and algebraic topology (chain contractions) are presented. Relationships between heaps of modules and modules over a ring and affine spaces are revealed and analysed.

A ring is said to satisfy the $2$-nil-sum property if every non central-unit is the sum of two nilpotents. We prove that a ring satisfies the $2$-nil-sum property iff it is either a simple ring with the $2$-nil-sum property or a commutative local ring with nil Jacobson radical, and we provide an example of a simple ring with the $2$-nil-sum property that is not commutative. Moreover, a simple right Goldie ring has the $2$-nil-sum property iff it is a field., Comment: Major revision

It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined up to isomorphism by its endomorphism truss and every isomorphism between two endomorphism trusses associated to some abelian groups $G$ and $H$ is induced by an isomorphism between $G$ and $H$ and an element from $H$. This correspondence is then extended to all modules over a ring by considering heaps of modules. It is proved that the truss of endomorphisms of a heap associated to a module $M$ determines $M$ as a module over its endomorphism ring., Comment: 11 pages

We identify some classes $\mathcal{C}$ of mixed groups such that if $G\in \mathcal{C}$ has the cancellation property then the Walk-endomorphism ring of $G$ has the unit lifting property. In particular, if $G$ is a self-small group of torsion-free rank at most $4$ with the cancellation property then it has a decomposition $G=F\oplus H$ such that $F$ is free and the Walk-endomorphism ring of $H$ has the unit lifting property., Comment: preprint; comments are welcome

We prove a version for mixed groups for a Fuchs' result about connections between the cancellation property of a group and the unit lifting property of its (Walk-)endomorphism rings., Comment: 10 pages

We will prove that over commutative rings the silting property of $2$-term complexes induced by morphisms between projective modules is preserved and reflected by faithfully flat extensions., Comment: 15 pages; to appear in Publicacions Matematiques

If $M$ is an $R$-module, we study the submodules $K\leq M$ with the property that $K$ is invariant with respect to all monomorphisms $K\rightarrow M$. Such submodules are called \textsl{strictly invariant}. For the case of $% \mathbb{Z}$-modules (i.e. Abelian groups) we prove that in many situations these submodules are invariant with respect to all homomorphisms $% K\rightarrow M$, submodules which were called \textsl{strongly invariant}., Comment: preprint version; the final version will be published by Mediterranean J. of Math

We prove that all pure submodules of a finite rank torsion-free module $A$ over a Dedekind domain are $A$-generated if and only if $A$ has a rank $1$ direct summand $B$ such that $\mathbf{type}(B)$ is the inner type of $A$., Comment: V2: major revision. A new section about direct products of tffr groups is added

We study the equivalences induced by some special silting objects in the derived category over dg-algebra whose positive cohomologies are all zero., Comment: v3: Major revision. v2: The authors were informed that the main results of this version are essentially contained in [19]. Consequently, except the exposition of the paper, no claim of originality is made

We study equivalences induced by a silting module $T$ or, equivalently, by a complex of projectives $\mathbb{P}$, concentrated in $-1$ and $0$ which is silting in the derived category $\mathbf{D}(R)$ of a ring $R$., Comment: preliminary version, comments are welcome; v4: major revision: the proofs for the main results are improved

We study the class of rings $R$ with the property that for $x\in R$ at least one of the elements $x$ and $1+x$ are tripotent., Comment: Preliminary version; comments are welcome

We study the classes of modules which are generated by a silting module. In the case of either hereditary or perfect rings it is proved that these are exactly the torsion $\mathcal{T}$ such that the regular module has a special $\mathcal{T}$-preenvelope. In particular every torsion enveloping class in $\textrm{Mod-} R$ are of the form $\mathrm{Gen}(T)$ for a minimal silting module $T$. For the dual case we obtain for general rings that the covering torsion-free classes of modules are exactly the classes of the form $\mathrm{Cogen}(T)$, where $T$ is a cosilting module., Comment: Preliminary version; comments are welcome; v2: improved version; an important gap in the initial version was completed; v3: We added some examples; references added and updated

We study the class of modules, called cosilting modules, which are defined as the categorical duals of silting module. Several characterizations of these modules and connections with silting modules are presented. We prove that Bazzoni theorem about the pure-injectivity of cotilting modules is also valid for cosilting modules., Comment: This version will appear in Algebras and Representation Theory

We describe nil-clean companion matrices over fields., Comment: 9 pages, comments are welcome

We study ideal cotorsion pairs associated to weak proper classes of triangles in extension closed subcategories of triangulated categories. This approach allows us to extend the recent ideal approximations theory developed by Fu, Herzog et al. for exact categories in the above mentioned context, and to provide simplified proofs for the ideal versions of some standard results as Salce's Lemma, Wakamatsu's Lemma and Christensen's Ghost Lemma. In the last part of the paper we apply the theory in order to study connections between projective classes (in particular localization or smashing subcategories) in compactly generated categories and cohomological functors into Grothendieck categories., Comment: Comments are welcome; v2: some details and comments added, and a more conceptual proof for Salce's Lemma is presented; correction of several misprints in text (e.g. for the Toda bracket ideal associated to object ideals); v3: the paper is reorganized, some examples are added, and the references are updated

{Generalizing the notion of nil cleanness from \cite{D13}, in parallel to \cite{DM14}, we define the concept of {\it weak nil cleanness} for an arbitrary ring. Its comprehensive study in different ways is provided as well. A decomposition theorem of a weakly nil-clean ring is obtained. It is completely characterized when an abelian ring is {\it weakly nil-clean}.} It is also completely determined when a matrix ring over a division ring is weakly nil-clean., Comment: Comments are welcome

We will prove that if $G$ and $H$ are modules over a principal ideal domain $R$ such that the endomorphism rings $\mathrm{End}_R(R\oplus G)$ and $\mathrm{End}_R(R\oplus H)$ are isomorphic then $G\cong H$. Conversely, if $R$ is a Dedekind domain such that two $R$-modules $G$ and $H$ are isomorphic whenever the rings $\mathrm{End}_R(R\oplus G)$ and $\mathrm{End}_R(R\oplus H)$ are isomorphic then $R$ is a PID., Comment: preprint version; the final version is accepted by JCA

We will study commuting properties of the defect functor $\mathrm{Dev}_\beta=\mathrm{Coker}\mathrm{Hom}_\mathcal{C}(\beta,-)$ associate to a homomorphism $\beta$ in a finitely presented category. As an application, we characterize objects $M$ such that $\mathrm{Ext}^1_\mathcal{C}(M,-)$ commutes with direct unions (i.e. direct limits of monomorphisms), assuming that $\mathcal{C}$ has a generator which is a direct sum of finitely presented projective objects., Comment: 27 pages; v2: references have been updated and completed, and some proofs have been shortened

We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these results to show that for finitely generated subgroups of general abelian groups, the extendibility of monomorphisms implies the extendibility of all homomorphisms., Comment: v2: major revision, the title was changed, the paper was shortened, some results were removed

We prove that a right $R$-module $M$ is $\Sigma$-pure injective if and only if $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$. Consequently, if $R$ is a unital ring, the homotopy category $\mathbf{K}({\mathrm{Mod}\text{-} R})$ satisfies the Brown Representability Theorem if and only if the dual category has the same property. We also apply the main result to provide new characterizations for right pure-semisimple rings or to give a partial positive answer to a question of G. Bergman., Comment: 6 pages; comments are welcome! v4: minor revision; the title was changed; accepted by Proc. Amer. Math. Soc

We will use Watts's theorem together with Lenzing's characterization of finitely presented modules via commuting properties of the induced tensor functor in order to study commuting properties of Ext-covariant functors., Comment: Version 3. Minor changes; to appear in Algebras and Representation Theory. Version 2: Major changes: more explanation and connected results are added at several places. Reference list was updated and extended

We prove in ZFC that if $G$ is a (right) $R$-module such that the groups $\Hom_R(\prod_{i\in I}G_i,G)$ and $\prod_{i\in I}\Hom_R(G_i,G)$ are naturally isomorphic for all families of $R$-modules $(G_i)_{i\in I}$ then G=0. The result is valid even we restrict to families such that $G_i\cong G$ for all $i\in I$.