arXiv subjects

Pedro A. Guil Asensio

Publications and source records attributed to Pedro A. Guil Asensio.

15 recordsLinked to original sources

arXiv2022

MacWilliams extending conditions and quasi-Frobenius rings

MacWilliams proved that every finite field has the extension property for Hamming weight which was later extended in a seminal work by Wood who characterized finite Frobenius rings as precisely those rings which satisfy the MacWilliams extension property. In this paper, the question of when is a MacWilliams ring quasi-Frobenius is addressed. It is proved that a right or left noetherian left 1-MacWilliams ring is quasi-Frobenius thus answering the different questions asked in [M. C. Iovanov, On infinite MacWilliams rings and minimal injectivity conditions, Proc. Amer. Math. Soc., DOI: 10.1090/proc/15929] and [F. M. Schneider, J. Zumbrägel, MacWilliams' extension theorem for infinite rings, Proc. Amer. Math. Soc. 147, 3 (2019), 947-961]. We also prove that a right perfect, left automorphism-invariant ring is left self-injective. In particular, this yields that if $R$ is a right (or left) artinian, left automorphism-invariant ring, then $R$ is quasi-Frobenius, thus answering a question asked in [M. C. Iovanov, On infinite MacWilliams rings and minimal injectivity conditions, Proc. Amer. Math. Soc., DOI: 10.1090/proc/15929].

math.RA↗

arXiv2022

Strongly exchange rings

Two elements $a,b$ in a ring $R$ form a right coprime pair, written $\langle a,b\rangle$, if $aR+bR=R$. Right coprime pairs have shown to be quite useful in the study of left cotorsion or exchange rings. In this paper, we define the class of strongly right exchange rings in terms of descending chains of them. We show that they are semiregular and that this class of rings contains left injective, left pure-injective, left cotorsion, local and left continuous rings. This allows us to give a unified study of all these classes of rings in terms of the behaviour of descending chains of right coprime pairs.

math.RA↗

arXiv2020

Endomorphism rings via minimal morphisms

We prove that if $u:K \rightarrow M$ is a left minimal extension, then there exists an isomorphism between two subrings, $\textrm{End}_R^M(K)$ and $\textrm{End}_R^K(M)$ of $\textrm{End}_R(K)$ and $\textrm{End}_R(M)$ respectively, modulo their Jacobson radicals. This isomorphism is used to deduce properties of the endomorphism ring of $K$ from those of the endomorphism ring of $M$ in certain situations such us when $K$ is invariant under endomorphisms of $M,$ or when $K$ is invariant under automorphisms of $M$.

math.RA↗

arXiv2020

Ziegler Partial Morphisms in additive exact categories

We develop a general theory of partial morphisms in additive exact categories which extends the model theoretic notion introduced by Ziegler in the particular case of pure-exact sequences in the category of modules over a ring. We relate partial morphisms with (co-)phantom morphisms and injective approximations and study the existence of such approximations in these exact categories.

math.RA↗

arXiv2019

Phantom covering ideals in categories without enough projective morphisms

We give sufficient conditions to ensure that the ideal $Φ(\mathcal E)$ of $\mathcal E$-phantom maps in a locally $λ$-presentable exact category $(\mathcal{A}, \mathcal{E})$ is (special) (pre)covering ideal, where $\mathcal E$ is an exact substructure of $(\mathcal{A}, \mathcal{E})$. As a byproduct, we infer the existence of various covering ideals in categories of sheaves which have a meaningful geometrical motivation. In particular we deal with a Zariski-local notion of phantom maps in categories of sheaves. We would like to point out that our approach is necessarily different from [FGHT13], as the categories involved in most of the examples we are interested in do not have enough projective morphisms.

math.KT↗

arXiv2017

The Schröder-Bernstein problem for Modules

In this paper we study the Schröder-Bernstein problem for modules. We obtain a positive solution for the Schröder-Bernstein problem for modules invariant under endomorphisms of their general envelopes under some mild conditions that are always satisfied, for example, in the case of injective, pure-injective or cotorsion envelopes. In the particular cases of injective envelopes and pure-injective envelopes, we are able to extend it further and we show that the Schröder-Bernstein problem has a positive solution even for modules that are invariant only under automorphisms of their injective envelopes or pure-injective envelopes.

math.RA↗

arXiv2016

Additive unit structure of endomorphism rings and invariance of modules

We use the type theory for rings of operators due to Kaplansky to describe the structure of modules that are invariant under automorphisms of their injective envelopes. Also, we highlight the importance of Boolean rings in the study of such modules. As a consequence of this approach, we are able to further the study initiated by Dickson and Fuller regarding when a module invariant under automorphisms of its injective envelope is invariant under any endomorphism of it. In particular, we find conditions for several classes of noetherian rings which ensure that modules invariant under automorphisms of their injective envelopes are quasi-injective. In the case of a commutative noetherian ring, we show that any automorphism-invariant module is quasi-injective. We also provide multiple examples that show that our conditions are the best possible, in the sense that if we relax them further then there exist automorphism-invariant modules which are not quasi-injective. We finish this paper by dualizing our results to the automorphism-coinvariant case.

math.RA↗

arXiv2016

Modules which are coinvariant under automorphisms of their projective covers

In this paper we study modules coinvariant under automorphisms of their projective covers. We first provide an alternative, and in fact, a more succinct and conceptual proof for the result that a module $M$ is invariant under automorphisms of its injective envelope if and only if given any submodule $N$ of $M$, any monomorphism $f:N\rightarrow M$ can be extended to an endomorphism of $M$ and then, as a dual of it, we show that over a right perfect ring, a module $M$ is coinvariant under automorphisms of its projective cover if and only if for every submodule $N$ of $M$, any epimorphism $φ: M\rightarrow M/N$ can be lifted to an endomorphism of $M$.

math.RA↗

arXiv2015

New Characterizations of pseudo-Frobenius rings and a generalization of the FGF conjecture

We provide new characterizations of pseudo-Frobenius and quasi-Frobenius rings in terms of tight modules. In the process, we also provide fresh perspectives on FGF and CF conjectures. In particular, we propose new natural extensions of these conjectures which connect them with the classical theory of PF rings. Our techniques are mainly based on set-theoretic counting arguments initiated by Osofsky. Several corollaries and examples to illustrate their applications are given.

math.RA↗

arXiv2014

Automorphism-invariant modules

A module is called automorphism-invariant if it is invariant under any automorphism of its injective envelope. In this survey article we present the current state of art dealing with such class of modules.

math.RA↗

arXiv2014

Modules invariant under automorphisms of their covers and envelopes

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective covers, or flat covers, these results extend and provide a much more succinct and clear proofs for various results existing in the literature. Our results are based on several key observations on the additive unit structure of von Neumann regular rings.

math.RA↗

arXiv2013

Additive Unit Representations in Endomorphism Rings and an Extension of a result of Dickson and Fuller

A module is called automorphism-invariant if it is invariant under any automorphism of its injective hull. Dickson and Fuller have shown that if $R$ is a finite-dimensional algebra over a field $\mathbb F$ with more than two elements then an indecomposable automorphism-invariant right $R$-module must be quasi-injective. In this note, we extend and simplify the proof of this result by showing that any automorphism-invariant module over an algebra over a field with more than two elements is quasi-injective. Our proof is based on the study of the additive unit structure of endomorphism rings.

math.RA↗

arXiv2012

A note on the construction of finitely injective modules

We develop a technique to construct finitely injective modules which are non trivial, in the sense that they are not direct sums of injective modules. As a consequence, we prove that a ring $R$ is left noetherian if and only if each finitely injective left $R$-module is trivial, thus answering an open question posed by Salce.

math.RA↗

arXiv2011

Descent of restricted flat Mittag-Leffler modules and generalized vector bundles

A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of dévissage already in \cite[II.\S3]{RG}. Since vector bundles coincide with $\aleph_0$-restricted Drinfeld vector bundles, a question arose in \cite{EGPT} of whether locality holds for $κ$-restricted Drinfeld vector bundles for each infinite cardinal $κ$. We give a positive answer here by replacing the d\' evissage with its recent refinement involving $\mathcal C$-filtrations and the Hill Lemma.

math.AC↗

arXiv2011

A Lazard-like theorem for quasi-coherent sheaves

We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.

math.AG↗