Related papers: The syzygy theorem for B\'ezout rings

We analyze the structure of a large class of connected algebraic rings over an algebraically closed field of positive characteristic using Greenberg's perfectization functor. We then give applications to rigidity problems for…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

We derive a set of polynomial and quasipolynomial identities for degrees of syzygies in the Hilbert series H(d^m;z) of nonsymmetric numerical semigroups S(d^m) of arbitrary generating set of positive integers d^m={d_1,...,d_m}, m\geq 3.…

We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…

We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of reduction…

For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…

We prove an analog of Siegel's theorem for integral points in the context of Drinfeld modules. The result holds for finitely generated submodules of the additive group over a function field of transcendence dimension 1.

In this work we will investigate a certain generalization of the so called S-lemma in higher degrees. The importance of this generalization is, that it is closely related to Hilbert's 1888 theorem about tenary quartics. In fact, if such a…

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…

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…

We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to…

We give a general result of finiteness for holomorphic families of Brieskorn modules constructed from a holomorphic family of one parameter degeneration of compact complex manifolds acquiring (general) singularities.

We begin by investigating the class of commutative unital rings in which no two distinct elements divide the same elements. We prove that this class forms a finitely axiomatizable, relatively ideal distributive quasivariety, and it equals…

Fix a module M over a local ring R and a group action G on M, not necessarily R-linear. To understand how large is the G-orbit of an element z\in M one looks for the large submodules of M lying in Gz. We provide the corresponding…

A notion of rigidity with respect to an arbitrary semidualizing complex C over a commutative noetherian ring R is introduced and studied. One of the main result characterizes C-rigid complexes. Specialized to the case when C is the relative…

We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…

We show that the module of integral points on a Drinfeld module satisfies a an analogue of Dirichlet's unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated…

We study the class of modules, called cosilting modules, which are defined as the categorical duals of silting module. Several characterizations of these modules and connections with silting modules are presented. We prove that Bazzoni…

The notion of cosilting module was recently introduced as a generalization of the concept of cotilting module. In this paper, it is introduced the notion of finitely cosilting module, i.e. a cosilting module with some finitness conditions,…

Suppose that G is a linearly reductive group. We study the minimal free resolution of the invariant ring. If G is a finite linearly reductive group, then the ring of invariants is generated in degree at most |G|, the group order. We prove…