Related papers: Precovering and preenveloping ideals
The origins of the notion of matchings in groups spawn from a linear algebra problem proposed by E. K. Wakeford [24] which was tackled in 1996 [10]. In this paper, we first discuss unmatchable subsets in abelian groups. Then we formulate…
Let $\mathcal{G}$ be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever $\mathcal{G}$ admits a set of Tate trivial generators, and show that having such generators is necessary for…
Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and…
In this paper we consider the problem of building rich categories of setoids, in standard intensional Martin-L\"of type theory (MLTT), and in particular how to handle the problem of equality on objects in this context. Any…
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax…
The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet)…
Let $R$ be a Noetherian ring, $I$ and $J$ two ideals of $R$ and $t$ an integer. Let $S$ be the class of Artinian $R$-modules, or the class of all $R$-modules $N$ with $\dim_RN\leq k$, where $k$ is an integer. It is proved that $\inf\{i:…
The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…
Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M 0 & B \end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. Given two complete hereditary cotorsion pairs $(\mathcal{A}_{A},\mathcal{B}_{A})$ and…
In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive…
The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in…
In contrast with the Hovey correspondence of abelian model structures from two compatible complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from one hereditary complete cotorsion…
Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard…
By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a…
The notion of acyclic matching property was provided by Losonczy and it was proved that torsion-free groups admit this property. In this paper, we introduce a duality of acyclic matching as a tool for classification of some Abelian groups,…
This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of…
A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a…
We construct a surjective homomorphism from Somekawa's K-group associated to a finite collection of semi-abelian varieties over a perfect field to a corresponding Hom group in Voevodsky's triangulated category of effective motivic…
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. In this paper, we show that the idempotent completion of an extriangulated category admits a…
Our purpose is to study the cohomological properties of the Rees algebras of a class of ideals generated by quadrics. For all such ideals $I\subset R = K[x,y,z]$ we give the precise value of depth $R[It]$ and decide whether the…