Related papers: Differentiability of torsion theories

In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…

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…

Let $R$ be a discrete valuation domain with field of fractions $Q$ and maximal ideal generated by $\pi$. Let $\Lambda$ be an $R$-order such that $Q\Lambda$ is a separable $Q$-algebra. Maranda showed that there exists $k\in\mathbb{N}$ such…

Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall…

The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…

Let $T$ be a monad on a category $\mathscr{C}$. In this paper, we introduce the notion of higher derivations on the monad $T$ and characterize them in terms of ordinary derivations on $T$. We also define higher derivations on modules over…

Let p be a prime ideal in a commutative noetherian ring R and denote by k(p) the residue field of the local ring R_p. We prove that if an R-module M satisfies Ext_R^n(k(p),M) = 0 for some n >= dim R, then Ext_R^i(k(p),M) = 0 holds for all i…

We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is…

There is a conjecture, that the torsionfreeness of the module of differentials in a point of an algebraic or algebroid curve should imply that the curve is non singular at that point. A report on the main results is given.

It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…

We introduce a general version of singular compactness theorem which makes it possible to show that being a $\Sigma$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed…

Let $(R, \mathfrak{m})$ be a commutative Noetherian local ring with total quotient ring $K$. An $R$-module $M$ is called simple divisible, if $M$ is divisible $\neq 0$, but every proper submodule $0 \neq U \subsetneqq M$ is not divisible.…

In this paper we will prove a strong version of the celebrated purity of the ramification locus theorem in algebraic geometry. Our key input is a Tor-independence result for global sections of \'{e}tale schemes over excellent regular local…

A generalized Euler sequence over a complete normal variety X is the unique extension of the trivial bundle V \otimes O_X by the sheaf of differentials \Omega_X, given by the inclusion of a linear space V in Ext^1(O_X,\Omega_X). For…

We develop silting theory of a noetherian algebra $\Lambda$ over a commutative noetherian ring $R$. We study mutation theory of $2$-term silting complexes of $\Lambda$, and as a consequence, we see that mutation exists. As in the case of…

We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more…

Let $R/S$ be a Frobenius extension and $k$ be a positive integer. We prove that an $R$-module is $k$-torsionfree if and only if so is its underlying $S$-module. As an application, we obtain that if $S$ is a quasi $k$-Gorenstein ring then so…

Let $X$ be a locally finite preordered set, $\mathcal R$ a commutative ring with identity and $I(X,\mathcal R)$ the incidence algebra of $X$ over $\mathcal R$. In this note we prove that each Lie derivation of $I(X,\mathcal R)$ is proper,…

A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…