Related papers: A recognition principle for the existence of desce…

In this paper, we introduce and study the class $S$-$\mathcal{F}$-ML of $S$-Mittag-Leffler modules with respect to all flat modules. We show that a ring $R$ is $S$-coherent if and only if $S$-$\mathcal{F}$-ML is closed under submodules. As…

Let $R$ be a commutative ring with identity, $S$ a multiplicatively closed subset of $R$, and $M$ be an $R$-module. In this paper, we study and investigate some properties of $S$-primary submodules of $M$. Among the other results, it is…

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…

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…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the…

Let $R$ denote a Noetherian ring and an ideal $J \subset R$ with $U = \operatorname{Spec R} \setminus V(J)$. For an $R$-module $M$ there is an isomorphism $\Gamma(U, \tilde{M}) \cong \varinjlim \operatorname{Hom}_R(J^n,M)$ known as…

P. M. Cohn showed in 1971 that given a ring $R$, to describe, up to isomorphism, a division ring $D$ generated by a homomorphic image of $R$ is equivalent to specifying the set of square matrices over $R$ which map to singular matrices over…

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…

It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…

Let S = k[x_1,...,x_n] be a Z^r-graded ring with deg (x_i) = a_i \in Z^r for each i and suppose that M is a finitely generated Z^r-graded S-module. In this paper we describe how to find finite subsets of Z^r containing the multidegrees of…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given…

A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…

Let $M$ be an $R$-module and $c$ the function from $M$ to the ideals of $R$ defined by $c(x) = \cap \lbrace I \colon I \text{is an ideal of} R \text{and} x \in IM \rbrace $. $M$ is said to be a content $R$-module if $x \in c(x)M $, for all…

Let R be a commutative ring with identity, S be a multiplicatively closed subset of R, and let M be an R-module. The aim of this paper is to introduce the notion of S-secondary submodules of M as a generalization of secondary submodules of…

A theory of modules over posets is developed to define computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology with multiple real parameters. To replace…

We survey the complexity class $\exists \mathbb{R}$, which captures the complexity of deciding the existential theory of the reals. The class $\exists \mathbb{R}$ has roots in two different traditions, one based on the Blum-Shub-Smale model…