Related papers: Non-associative Ore extensions

Let $D$ be a principal ideal domain and $R(D) = \{\begin{pmatrix} a & b 0 & a \end{pmatrix} \mid a, b \in D\}$ be its self-idealization. It is known that $R(D)$ is a commutative noetherian ring with identity, and hence $R(D)$ is atomic…

We work in the category $\mathcal{CLM}^u_k$ of [5] of separated complete bounded $k$-linearly topologized modules over a complete linearly topologized ring $k$ and discuss duality on certain exact subcategories. We study topological and…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

Let $D$ be an integrally closed local Noetherian domain of Krull dimension 2, and let $f$ be a nonzero element of $D$ such that $fD$ has prime radical. We consider when an integrally closed ring $H$ between $D$ and $D_f$ is determined…

The aim of this note is to prove various general properties of a generalization of the full module of first order differential operators on a commutative ring - a $\operatorname{D}$-Lie algebra. A $\operatorname{D}$-Lie algebra $\tilde{L}$…

We are working in the category of commutative unital rings and denote by $\mathrm U(R)$ the group of units of a nonzero ring $R$. An extension of rings $R\subseteq S$, satisfying $\mathrm U(R)=R \cap\mathrm U(S)$ is usually called local.…

Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been…

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…

We study the homogeneous coordinate rings of real multiplication noncommutative tori as defined by A. Polishchuk. Our aim is to understand how these rings give rise to an arithmetic structure on the noncommutative torus. We start by giving…

We achieve new results on skew polynomial rings and their quotients, including the first explicit example of a skew polynomial ring where the ratio of the degree of a skew polynomial to the degree of its bound is not extremal. These methods…

Let $A$ be a Koszul Artin-Schelter regular algebra, $\sigma$ a graded automorphism of $A$ and $\delta$ a degree-one $\sigma$-derivation of $A$. We introduce an invariant for $\delta$ called the $\sigma$-divergence of $\delta$. We describe…

We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $\AA$. The monomial expansion of the symmetrized determinant is obtained from the standard…

An algebra $A$ satisfies the Dixmier-Moeglin equivalence if we have the equivalences: $$P~{\rm primitive}\iff P~{\rm rational}\iff P ~{\rm locally~closed~}\qquad~{\rm for}~P\in {\rm Spec}(A).$$ We study the robustness of the Dixmier-Moeglin…

Let $I$ be a square-free monomial ideal in a polynomial ring $R=K[x_1,\ldots, x_n]$ over a field $K$, $\mathfrak{m}=(x_1, \ldots, x_n)$ be the graded maximal ideal of $R$, and $\{u_1, \ldots, u_{\beta_1(I)}\}$ be a maximal independent set…

Given a complete, positively filtered ring $(R,f)$ and a compatible skew derivation $(\sigma,\delta)$, we may construct its skew power series ring $R[[x;\sigma,\delta]]$. Due to topological obstructions, even if $\delta$ is an \emph{inner}…

Let $R$ be a commutative ring with unity. The prime ideal sum graph $\text{PIS}(R)$ of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are…

This paper investigates expansions of distal structures by a unary subset that arises as the image of a projection map. We first provide a sufficient condition for such an expansion to remain distal. Based on this criterion, we establish…

Let $K$ be a field and $D$ be a finite-dimensional central division algebra over $K$. We prove a variant of the Nullstellensatz for $2$-sided ideals in the ring of polynomial maps $D^n \to D$. In the case where $D = K$ is commutative, our…