Related papers: On Stably free modules over Laurent polynomial rin…
In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of…
We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of…
Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$…
Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set…
Let $\Lambda$ be a left and right noetherian ring. First, for $m,n\in\mathbb{N}\cup\{\infty\}$, we give equivalent conditions for a given $\Lambda$-module to be $n$-torsionfree and have $m$-torsionfree transpose. Using them, we investigate…
A commutative ring $R$ is J-stable provided that for any $a\not\in J(R)$, $R/aR$ has stable range one. A ring $R$ is called an elementary divisor ring if every $m\times n$ matrix over $R$ admits diagonal reduction. We prove that a J-stabe…
It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…
Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(M,N)$ is non-zero for infinitely many $i$, when $M$ and $N$ are finitely generated $R$-modules of infinite projective dimension. These…
We define the notion of a power stable ideal in a polynomial ring $ R[X]$ over an integral domain $ R $. It is proved that a maximal ideal $\chi$ $ M $ in $ R[X]$ is power stable if and only if $ P^t $ is $ P$- primary for all $ t\geq 1 $…
An element of a ring $R$ is called strongly $J^{\#}$-clean provided that it can be written as the sum of an idempotent and an element in $J^{\#}(R)$ that commute. We characterize, in this article, the strongly $J^{\#}$-cleanness of matrices…
Let R be a commutative ring, M an R-module, and N a finitely presented R-module such that the intersection of Max(R) and Supp(N) is finite-dimensional and Noetherian. Suppose also that N is homothetic; in other words, suppose that the…
Let $X$ be a set of noncommuting variables of cardinality $card(X)\geqslant 2$, and ${\mathscr G}=\{\sigma_x\}_{x\in X}$, ${\mathscr D}=\{\delta_x\}_{x\in X}$ be families of automorphisms and skew derivations of the ring $R$. It is proved…
We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…
In his work on the Bass series of syzygy modules of modules over a commutative noetherian local ring $R$, Lescot introduces a numerical invariant, denoted $\sigma(R)$, and asks whether it is finite for any $R$. He proves that this is so…
Let p>2 be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fractional field of the Witt ring of k. Let G and H be finite flat commutative group schemes killed by p over O_K and…
We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…
We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…
Let a real Lie group $G$ have a $C^\infty$ action on a real manifold $M$. Assume every nontrivial element of $G$ has nowhere dense fixpoint set in $M$. First, we show, in every frame bundle, except possibly the $0$th, that each stabilizer…
In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…
In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq…