arXiv ScienceSearch

arXiv subjects

Simion Breaz

Publications and source records attributed to Simion Breaz.

At least 19 recordsLinked to original sources

Migration of silting objects via adjoint pairs

Consider an adjoint triple of triangle functors between two nice enough triangulated categories. In this paper, we are looking for conditions under which the silting, respectively, cosilting property ascends or descends via at most left, respectively, at most right adjoint.

math.CT

On the Waring Problem for Matrices over Finite Fields

We prove that if $k$ is a positive integer, then for every finite field $\mathbb{F}_q$ of cardinality $q\neq 2$ and for every positive integer $n$ such that $q^n>(k-1)^4$, every $n\times n$ matrix over $\mathbb{F}_q$ can be expressed as a sum of two $k$-th powers.

math.RA

The Krull-Remak-Schmidt-Azumaya Theorem for idempotent complete categories

We prove that the Krull-Remak-Schmidt-Azumaya unique decomposition theorem holds in idempotent complete additive categories with enough compact objects. In particular, this result applies to compactly generated triangulated categories. In addition, we provide an example of an object with the finite exchange property that does not have the exchange property.

math.CT

Comparing $\mathrm{Add}(M)$ with $\mathrm{Prod}(M)$

We present characterizations for the inclusions $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$ and $\mathrm{Prod}(M)\subseteq \mathrm{Add}(M)$ in locally finitely presented categories and in compactly generated triangulated categories. As applications, we describe the situations when the classes of the form $\mathrm{Prod}(M)$ and $\mathrm{Add}(M)$ are (pre)covering, respectively (pre)enveloping.

math.CT

Heaps of modules: Categorical aspects

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.

math.RA

On a characterization of (co)silting objects

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.

math.CT

Support $\tau$-tilting modules and semibricks over group graded algebras

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.

math.RT

Decompositions of matrices by using commutators

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.

math.RA

Silting, cosilting, and extensions of commutative ring

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.

math.AC

Heaps of modules and affine spaces

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.

math.RA

When is every non central-unit a sum of two nilpotents?

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.

math.RA

The Baer-Kaplansky theorem for all abelian groups and modules

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.

math.GR

On a theorem of Stelzer for some classes of mixed groups

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.

math.GR

A mixed version for a Fuchs' Lemma

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.

math.GR

Strictly invariant submodules

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}.

math.RA

Self-pure-generators over Dedekind domains

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$.

math.AC