Related papers: Linear equations over noncommutative graded rings

A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is…

We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr\"obner bases for finitely…

We consider the following question: When are rings of differential operators coherent? If $A$ is a finitely generated smooth domain over a field $k$ of characteristic $0$, then the ring $D$ of differential operators on $A$ is a Noetherian…

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…

Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras…

In this note we consider a notion of relative Frobenius pairs of commutative rings $S/R$. To such a pair, we associate an $\mathbb{N}$-graded $R$-algebra $\Pi_R(S)$ which has a simple description and coincides with the preprojective algebra…

We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic…

Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning…

For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$. If $a(t)$…

Inspired by the perspective of Reyes' noncomutative spectral theory, we attempt to develop noncommutative algebraic geometry by introducing ringed coalgebras, which can be thought of as a noncommutative generalization of schemes over a…

Let $d \in \N$ and let $\D^d$ denote the class of all pairs $(R,M)$ in which $R = \bigoplus_{n \in \N_0} R_n$ is a Noetherian homogeneous ring with Artinian base ring $R_0$ and such that $M$ is a finitely generated graded $R$-module of…

We initiate a unified, axiomatic study of noncommutative algebras R whose prime spectra are, in a natural way, finite unions of commutative noetherian spectra. Our results illustrate how these commutative spectra can be functorially ``sewn…

We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…

A noncommutative Grassmannian NGr(m, n) is introduced by Efimov, Luntz, and Orlov in `Deformation theory of objects in homotopy and derived categories III: Abelian categories' as a noncommutative algebra associated to an exceptional…

Let $R$ be a semiartinian (von Neumann) regular ring with primitive factors artinian. The dimension sequence $\mathcal D _R$ is an invariant that captures the various skew-fields and dimensions occurring in the layers of the socle sequence…

Artin-Schelter regular algebras can be thought of as noncommutative versions of commutative polynomial rings, modeled after the special homological properties polynomial rings have as graded rings. First defined by Artin and Schelter in…

Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $\pi: A \to B$ such that $\ker\pi$ is…

In this note we first study regular $\mathbb{Z}$-graded local rings. We characterize commutative noetherian regular $\mathbb{Z}$-graded local rings in similar ways as in the usual local case. Then, we characterize graded isolated…

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…

Even if a ring A is coherent, the polynomial ring A[X] in one variable could fail to be coherent. In this note we show that A[X] is graded coherent with the standard grading deg X=1. More generally, we give a criterion of graded…