Let $R$ be a commutative unital ring and $a\in R.$ We introduce and study properties of a functor $aΓ_{a}(-),$ called the locally nilradical on the category of $R$-modules. $aΓ_{a}(-)$ is a generalisation of both the torsion functor (also called section functor) and Baer's lower nilradical for modules. Several local-global properties of the functor $aΓ_{a}(-)$ are established. As an application, results about reduced $R$-modules are obtained and hitherto unknown ring theoretic radicals as well as structural theorems are deduced.
We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space of non-maximal prime ideals of $A$ is nonempty and connected in the Zariski topology and the nilradical of $A$ has a nontrivial annihilator in $\mathbb Z$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $\mathbb Z$ is not bi-interpretable with $\mathbb N$.
The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an algebra, determine its nilradical, all of its prime ideals, as well as the corresponding localizations and residue class fields, its largest separable subalgebra, and its primitive idempotents. We also solve the discrete logarithm problem in the multiplicative group of the algebra. While deterministic polynomial-time algorithms were known earlier, our approach is d…
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We …
Let $R$ be a commutative ring, $\mathcal A$ an $R$-algebra (not necessarily commutative) and $V$ an $R$-subspace or $R$-submodule of $\mathcal A$. By the radical of $V$ we mean the set of all elements $a\in \mathcal A$ such that $a^m\in V$ for all $m\gg 0$. We derive (and show) some necessary conditions satisfied by the elements in the radicals of the kernel of some (partial) differential operators, such as all differential operators of commutative algebras; the differential operators $P(D)$ of (noncommutative) $\mathcal A$ with certain conditions, where $P(\cdot)$ is a polynomial in $n$ commu…
In this paper, we investigate the structure of skew power series rings of the form $S = R[[x;σ,δ]]$, where $R$ is a complete filtered ring and $(σ,δ)$ is a skew derivation respecting the filtration. Our main focus is on the case in which $σδ= δσ$, and we aim to use techniques in non-commutative valuation theory to address the long-standing open question: if $P$ is an invariant prime ideal of $R$, is $PS$ a prime ideal of $S$? When $R$ has characteristic $p$, our results reduce this to a finite-index problem. We also give preliminary results in the "Iwasawa algebra" case $δ= σ- \mathrm{id}_R$ i…
It is proven that each commutative arithmetical ring $R$ has a finitistic weak dimension $\leq 2$. More precisely, this dimension is 0 if $R$ is locally IF, 1 if $R$ is locally semicoherent and not IF, and 2 in the other cases.
A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp. quasi-projective) is given. It is also proven that each commutative ring R whose finitely generated ideals are quasi-flat is of $λ$-dimension $\le$ 3, and this dimension $\le$ 2 if R is local. This extends a former result about the class of arithmetical rings. Moreover, if R has a unique minimal prime ideal then its finitely generated ideals are quasi-projective if …
A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime.
We introduce a category of dual pairs of finite locally free algebras over a ring. This gives an efficient way to represent finite locally free commutative group schemes. We give a number of algorithms to compute with dual pairs of algebras, and we apply our results to Galois representations on finite Abelian groups.
In this note, finite modules locally of finite injective dimension over commutative Noetherian rings are characterized in terms of vanishing of Ext modules.
In commutative algebra, if $δ$ is a locally nilpotent derivation of the polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ of characteristic 0 and $w$ is a nonzero element of the kernel of $δ$, then $Δ=wδ$ is also a locally nilpotent derivation with the same kernel as $δ$. In this paper we prove that the locally nilpotent derivation $Δ$ of the free associative algebra $K\langle X,Y\rangle$ is determined up to a multiplicative constant by its kernel. We show also that the kernel of $Δ$ is a free associative algebra and give an explicit set of its free generators.
Let $R$ be an integral domain of characteristic zero, $x=(x_1, x_2, ..., x_n)$ $n$ commutative free variables, and ${\mathcal A}_n:=R[x^{-1}, x]$, i.e., the Laurent polynomial algebra in $x$ over $R$. In this paper we first classify all locally finite or locally nilpotent $R$-derivations and $R$-$\mathcal E$-derivations of ${\mathcal A}_n$, where by an $R$-$\mathcal E$-derivation of ${\mathcal A}_n$ we mean an $R$-linear map of the form $\operatorname{Id}_{{\mathcal A}_n}-ϕ$ for some $R$-algebra endomorphism $ϕ$ of ${\mathcal A}_n$. In particular, we show that ${\mathcal A}_n$ has no nonzero l…
Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for instance, if R is left perfect but not left pure-semisimple then each left R-module is cotorsion but there exist non-pure-injective left modules. The aim of this paper is to describe the class C of commutative rings R for which each cotorsion R-module is pure-injective. It is easy to see that C contains the class of von Neumann regular rings and the one of p…
Let A be a commutative associative integrally closed k-algebra without zero divisors effectively graded by a lattice. We obtain a criterion of local nilpotency of the sum of two homogeneous locally nilpotent derivations (LNDs) of fiber type on A in terms of their degrees. The same problem is solved for commutators of two homogeneous LNDs.
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$ elements, the topology defined by $(IN)^{(n)}$, $n \geq 0$, is linearly equivalent to the $I$-adic topology.
Classical definitions of locally complete intersection (l.c.i.) homomorphisms of commutative rings are limited to maps that are essentially of finite type, or flat. The concept introduced in this paper is meaningful for homomorphisms phi : R \longrightarrow S of commutative noetherian rings. It is defined in terms of the structure of phi in a formal neighborhood of each point of Spec S. We characterize the l.c.i. property by different conditions on the vanishing of the André-Quillen homology of the R-algebra S. One of these descriptions establishes a very general form of a conjecture of Quille…
Using the notion of cyclically pure injective modules, a characterization for rings which are locally valuation is established. As applications, new characterizations for Prufer domains and pure semi-simple rings are provided. Namely, we show that a domain R is Prufer if and only if two of the three classes of pure injective, cyclically pure injective and RD-injective modules are equal. Also, we prove that a commutative ring R is pure semi-simple if and only if every R-module is cyclically pure injective.
In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish that a commutative noetherian ring $R$ is locally a complete intersection if and only if every complex of $R$-modules with finitely generated homology is virtually small.
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 dualizing complex of a homomorphism of rings of finite Gorenstein dimension, it leads to broad generalizations of theorems of Yekutieli and Zhang concerning rigid dualizing complexes, in the sense of Van den Bergh. Along the way, a number of new results concerning derived reflexivity with respect to C are established. Noteworthy is the statement that derive…
We study smooth maps that arise in derived algebraic geometry. Given a map $A \to B$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of Toën-Vezzosi if and only if it is homologically smooth in the sense of Kontsevich. We then show that $B$, being a perfect DG-module over $B\otimes^{\mathrm{L}}_A B$ has, locally, an explicit semi-free resolution as a Koszul complex. As an application we show that a strong form of Van den Bergh duality between (derived) Hochschild homology and cohomology holds in this setting.
We study different types of localisations of a commutative noetherian ring. More precisely, we provide criteria to decide: (a) if a given flat ring epimorphism is a universal localisation in the sense of Cohn and Schofield; and (b) when such universal localisations are classical rings of fractions. In order to find such criteria, we use the theory of support and we analyse the specialisation closed subset associated to a flat ring epimorphism. In case the underlying ring is locally factorial or of Krull dimension one, we show that all flat ring epimorphisms are universal localisations. Moreove…
Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian rings. Using an analogy between projective and flat Mittag-Leffler modules on one hand, and very flat and locally very flat modules on the other, we prove that each of the following statements are equivalent to the finiteness of the Zariski spectrum Spec(R) of a noetherian domain R: (i) the class of all very flat modules is covering, (ii) the class of all locall…
Given a commutative noetherian non-positive DG-ring with bounded cohomology which has a dualizing DG-module, we study its regular, Gorenstein and Cohen-Macaulay loci. We give a sufficient condition for the regular locus to be open, and show that the Gorenstein locus is always open. However, both of these loci are often empty: we show that no matter how nice $\mathrm{H}^0(A)$ is, there are examples where the Gorenstein locus of $A$ is empty. We then show that the Cohen-Macaulay locus of a commutative noetherian DG-ring with bounded cohomology which has a dualizing DG-module always contains a de…
Let $H$ be a commutative and cancellative monoid. The elasticity $ρ(a)$ of a non-unit $a \in H$ is the supremum of $m/n$ over all $m, n$ for which there are factorizations of the form $a=u_1 \cdot \ldots \cdot u_m=v_1 \cdot \ldots \cdot v_{n}$, where all $u_i$ and $v_j$ are irreducibles. The elasticity $ρ(H)$ of $H$ is the supremum over all $ρ(a)$. We establish a characterization, valid for finitely generated monoids, when every rational number $q$ with $1< q < ρ(H)$ can be realized as the elasticity of some element $a \in H$. Furthermore, we derive results of a similar flavor for locally fini…
Let B be a commutative $\mathbb{Z}$-graded domain of characteristic zero. An element f of B is said to be cylindrical if it is nonzero, homogeneous of nonzero degree, and such that $B_{(f)}$ is a polynomial ring in one variable over a subring. We study the relation between the existence of a cylindrical element of B and the existence of a nonzero locally nilpotent derivation of B. Also, given d > 0, we give sufficient conditions that guarantee that every derivation of $B^{(d)} = \oplus_i B_{di}$ can be extended to a derivation of B. We generalize some results of Kishimoto, Prokhorov and Zaiden…
We study locally transitive actions of the commutative unipotent group $\Gan$ on a nondegenerate quadric in the projective space $¶^{n+1}$. It is shown that for each $n$ such an action is unique up to isomorphism.
