相关论文: Cosupports and minimal pure-injective resolutions …
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring…
Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…
It is proved that every commutative ring whose RD-injective modules are $\Sigma$-RD-injective is the product of a pure semi-simple ring and a finite ring. A complete characterization of commutative rings for which each artinian…
We prove that, under mild hypothesis, every normal algebraic space which satisfies the $1$-resolution property is quasi-affine. More generally, we show that for algebraic stacks satisfying similar hypotheses, the 1-resolution property…
Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which…
Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…
Let $(R,\mathfrak{m})$ be a commutative local noetherian ring. For an artinian $R$-module $M$, we show the equality $$\mathrm{cosupp}_RM=\mathrm{Cosupp}_RM$$ using the semi-discrete linearly compactness of $R$-module…
A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…
An affine manifold is said to be geodesically complete if all affine geodesics extend for all time. It is said to be affine Killing complete if the integral curves for any affine Killing vector field extend for all time. We use the solution…
In this note, we prove that an affine cellular algebra $A$ is semisimple if and only if the scheme associated to $A$ is reduced and 0-dimensional, and the bilinear forms with respect to all layers of $A$ are isomorphisms. Moreover, if the…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…
Let R be a commutative ring with 1. We prove that every homogeneous polynomial f(x_0,x_1,x_2) in R[x_0,x_1,x_2] up to degree 5 admits a linear Pfaffian R-representation. We believe that conceptually we give the shortest self-contained proof…
In this article, we prove the following results:\\ \noindent \text{(1).} Let $R$ be a smooth affine algebra of dimension $3$ over an algebraically closed field $K$ with $3!\in K$, then we show that $\Um_4(R)=e_1\Sp_4(R)$ and $\Um_4(R…
The Faith-Menal conjecture says that every strongly right $Johns$ ring is $QF$. The conjecture is also equivalent to say every right noetherian left $FP$-injective ring is $QF$. In this short article, we show that the conjecture is true…
Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…
It is shown that if $R$ is a ring, $p$ a prime element of an integral domain $D\leq R$ with $\bigcap_{n=1}^\infty p^nD=0$ and $p\in U(R)$, then $R$ has a conch maximal subring (see \cite{faith}). We prove that either a ring $R$ has a conch…
Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…
In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group…
Examples are given to show that the support of a complex of modules over a commutative noetherian ring may not be read off the minimal semi-injective resolution of the complex. The same examples also show that a localization of a…
We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can…