English
Related papers

Related papers: Contramodules over pro-perfect topological rings

200 papers

In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of…

Rings and Algebras · Mathematics 2007-05-23 Mark Hovey

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…

Algebraic Topology · Mathematics 2014-11-11 John E. Harper , Kathryn Hess

We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…

Algebraic Topology · Mathematics 2025-11-11 Torgeir Aambø

A left $R$-module $M$ is called two-degree Ding projective if there exists an exact sequence $...\longrightarrow D_{1}\longrightarrow D_{0}\longrightarrow D_{-1}\longrightarrow D_{-2}\longrightarrow...$ of Ding projective left $R$-modules…

K-Theory and Homology · Mathematics 2014-02-18 Zhanping Wang , Zhongkui Liu

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

The coincidence of the set of all nilpotent elements of a ring with its prime radical has a module analogue which occurs when the zero submodule satisfies the radical formula. A ring $R$ is 2-primal if the set of all nilpotent elements of…

Rings and Algebras · Mathematics 2017-05-09 David Ssevviiri

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…

Commutative Algebra · Mathematics 2016-06-28 Sergio Estrada , Xianhui Fu , Alina Iacob

We consider a (left) coherent ring R. We prove that if the character module of every Ding injective (left) R-module is Gorenstein flat, then the class of Gorenstein flat (right) R-modules, GF, is preenveloping. We show that this is the case…

K-Theory and Homology · Mathematics 2026-01-23 Alina Iacob

Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the…

Algebraic Geometry · Mathematics 2024-04-10 Leonid Positselski

An example is constructed of a local ring and a module of finite type and finite projective dimension over that ring such that the module is not rigid. This shows that the rigidity conjecture is false.

Commutative Algebra · Mathematics 2008-02-03 Raymond C. Heitmann

We prove that every non-finitely generated projective module over the integral group ring of a polycyclic-by-finite group G is free if and only if G is polycyclic.

Rings and Algebras · Mathematics 2007-05-23 Peter A. Linnell , Gena Puninski , Patrick F. Smith

We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has…

Commutative Algebra · Mathematics 2017-11-16 Mohsen Asgharzadeh

Over Cohen--Macaulay rings admitting a pointwise dualizing module, we show that the class of modules of restricted projective dimension bounded by any integer is finitely deconstructible and that the class of modules of restricted flat…

Commutative Algebra · Mathematics 2025-08-29 Souvik Dey , Michal Hrbek , Giovanna Le Gros

Let $R$ be a commutative ring, $\pi$ be a finite group, $R\pi$ be the group ring of $\pi$ over $R$. Theorem 1. If $R$ is a commutative artinian ring and $\pi$ is a finite group. Then the Cartan map $c:K_0(R\pi)\to G_0(R\pi)$ is injective.…

Group Theory · Mathematics 2015-09-22 Ming-chang Kang , Guangjun Zhu

The ring of dual integers is the bounded polynomial ring $\mathbb Z[\epsilon]=\mathbb Z[T]/(T^2)$ with integer coefficients. We describe the (finitely generated) Gorenstein-projective $\mathbb Z[\epsilon]$-modules as the torsionless…

Representation Theory · Mathematics 2025-09-29 Xiu-Hua Luo , Markus Schmidmeier

In this paper, we study module theoretic definitions of the Baer and related ring concepts. We say a module is s.Baer if the right annihilator of a nonempty subset of the module is generated by an idempotent in the ring. We show that s.Baer…

Rings and Algebras · Mathematics 2015-06-26 G. F. Birkenmeier , R. L. LeBlanc

Let $C$ be a $k$-coalgebra, where $k$ is a field. The category of pseudocompact left $C^*$-modules is dual to both the category of discrete right $C^*$-modules and to the category of left $C$-comodules. We obtain this way two sides of a…

Representation Theory · Mathematics 2018-06-13 John MacQuarrie , Ricardo Souza

For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in…

Rings and Algebras · Mathematics 2020-01-22 Sergio Estrada , Alina Iacob , Holly Zolt

If $R$ is a topological ring then $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This leads us to the following natural definition: By an \emph{absolute topological ring} we mean a…

Commutative Algebra · Mathematics 2025-05-23 Abolfazl Tarizadeh

We show that certain classes of modules have universal models with respect to pure embeddings. $Theorem.$ Let $R$ be a ring, $T$ a first-order theory with an infinite model extending the theory of $R$-modules and $K^T=(Mod(T), \leq_{pp})$…

Logic · Mathematics 2020-02-24 Thomas G. Kucera , Marcos Mazari-Armida