Related papers: Gr\"obner $\delta$-bases and Gr\"obner bases for d…
We use the definition of differential operators on noncommutative rings given by V.Lunts and A.Rosenberg to find the differential operators on Azumaya algebras and the Heisenberg algebras.
We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special…
Constructive proofs of fact that a stably free left $S$-module $M$ with rank$(M)\geq$sr$(S)$ is free, where sr$(S)$ denotes the stable rank of an arbitrary ring $S$, were developed in some articles. Additionally, in such papers, are…
The basic results for nonlinear operators are given. These results include nonlinear versions of classical uniform boundedness theorem and Hahn-Banach theorem. Furthermore, the mappings from a metrizable space into another normed space can…
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…
In this paper we expand on B.-W. Schulze's abstract edge pseudodifferential calculus and introduce a larger class of operators that is modeled on H\"ormander's $\varrho,\delta$ calculus, where $0 \leq \delta < \varrho \leq 1$. This…
This note surveys the historical background of the Gr\"obner basis theory for D-modules and linear rewriting theory. The objective is to present a deep interaction of these two fields largely developed in algebra throughout the twentieth…
We construct differential operators for families of overconvergent Hilbert modular forms by interpolating the Gauss--Manin connection on strict neighborhoods of the ordinary locus. This is related to work done by Harron and Xiao and by…
Let $A=K< X_1,...,X_n> /< {\cal G}>$ be a $K$-algebra defined by a finite Gr\"obner basis ${\cal G}$. It is shown how to use the Ufnarovski graph $\Gamma ({\bf LM}({\cal G}))$ and the graph of $n$-chains $\Gamma_{\rm C}({\bf LM}({\cal G}))$…
Let $k$ be a possibly non-perfect field of characteristic $p > 0$. In this work we prove the local existence of absolute $p$-bases for regular algebras of finite type over $k$. Namely, consider a regular variety $Z$ over $k$. Kimura and…
In this paper, we introduce principally $\delta$-lifting modules which are analogous to $\delta$-lifting modules and principally $\delta$-semiperfect modules as a generalization of $\delta$-semiperfect modules and investigate their…
We present a structure associated to the class of linear codes. The properties of that structure are similar to some structures in the linear algebra techniques into the framework of the Gr\"obner bases tools. It allows to get some insight…
This paper presents an algebraic approach to characterizing higher-order differential operators. While the foundational Leibniz rule addresses first-order derivatives, its extension to higher orders typically involves identities relating…
We describe an algorithm to compute Gr\"obner bases which combines F4-style reduction with the F5 criteria. Both F4 and F5 originate in the work of Jean-Charles Faug\`ere, who has successfully computed many Gr\"obner bases that were…
The so called generalized down-up algebras are revisited from a viewpoint of Gr\"obner basis theory. Particularly it is shown explicitly that generalized down-up algebras are solvable polynomial algebras (provided $\lambda\omega\ne 0$), and…
A sequence $\{\delta_n^{(k)}\}$ associated to a Bochner differential operator is introduced as an effective tool to study this kind of operators. Some properties of this sequence are proven and used to deduce that a particular operator…
Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gr\"obner bases are given. To this end, a connection…
A differential algebra of finite type over a field k is a filtered algebra A, such that the associated graded algebra is finite over its center, and the center is a finitely generated k-algebra. The prototypical example is the algebra of…
The structure of the F5 algorithm to compute Gr\"obner bases makes it very efficient. However, while it is believed to terminate for so-called regular sequences, it is not clear whether it terminates for all inputs. This paper has two major…
In this paper, we will address broader concepts for Dunford-Pettis operators, presenting new classes and results that correlate this class with others already well-studied in the literature, as well as an approach outside the origin. We…