Related papers: Hilbert's Basis Theorem for generalized nonassocia…
We prove a hom-associative version of Hilbert's basis theorem, which includes as special cases both a non-associative version and the classical associative Hilbert's basis theorem for Ore extensions. Along the way, we develop hom-module…
We prove several new versions of Hilbert's basis theorem for non-associative Ore extensions, non-associative skew Laurent polynomial rings, non-associative skew power series rings, and non-associative skew Laurent series rings. For…
We introduce hom-associative Ore extensions as non-unital, non-associative Ore extensions with a hom-associative multiplication, and give some necessary and sufficient conditions when such exist. Within this framework, we construct families…
Given a set $A$ and an abelian group $B$ with operators in $A$, in the sense of Krull and Noether, we introduce the Ore group extension $B[x; \sigma_B, \delta_B]$ as the additive group $B[x]$, with $A[x]$ as a set of operators. Here, the…
In this article, we study Ore extensions of non-unital associative rings. We provide a characterization of simple non-unital differential polynomial rings $R[x;\delta]$, under the hypothesis that $R$ is $s$-unital and $\ker(\delta)$…
We introduce non-associative Ore extensions, $S = R[X ; \sigma , \delta]$, for any non-associative unital ring $R$ and any additive maps $\sigma,\delta : R \rightarrow R$ satisfying $\sigma(1)=1$ and $\delta(1)=0$. In the special case when…
We study the ideal theory of amalgamated products of Ore and quadratic extensions over a base ring R. We prove an analogue of the Hilbert Basis theorem for an amalgamated product Q of quadratic extensions and determine conditions for when…
We present Buchberger Theory and Algorithm of Gr\"obner bases for multivariate Ore extensions of rings presented as modules over a principal ideal domain. The algorithms are based on M\"oller Lifting Theorem.
While monotone operator theory is often studied on Hilbert spaces, many interesting problems in machine learning and optimization arise naturally in finite-dimensional vector spaces endowed with non-Euclidean norms, such as…
We prove that the universal enveloping algebra of a Poisson-Ore extension is a length two iterated Ore extension of the original universal enveloping algebra. As consequences, we observe certain ring-theoretic invariants of the universal…
We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…
Motivated by applications to stochastic differential equations, an extension of H\"{o}rmander's hypoellipticity theorem is proved for second-order degenerate elliptic operators with non-smooth coefficients. The main results are established…
We prove a version of the Hilbert basis theorem in the setting of equivariant algebraic geometry: given a group G acting on a finite type morphism of schemes X -> S, if S is topologically G-noetherian, then so is X.
We derive necessary and sufficient conditions for an Ore extension of a Hopf algebra to have a Hopf algebra structure of a certain type. This construction generalizes the notion of Hopf-Ore extension, called a generalized Hopf-Ore…
Shnirel'man's inequality and Shnirel'man's basis theorem are fundamental results about sums of sets of positive integers in additive number theory. It is proved that these results are inherently order-theoretic and extend to partially…
We introduce a new approach for the study of the Problem of Iterates using the theory on general ultradifferentiable structures developed in the last years. Our framework generalizes many of the previous settings including the Gevrey case…
Hom-Lie algebras are generalizations of Lie algebras that arise naturally in the study of nonassociative algebraic structures. In this paper, the concepts of solvable and nilpotent Hom-Lie algebras studied further. In the theory of groups,…
Mutually unbiased bases of a Hilbert space can be constructed by partitioning a unitary error basis. We consider this construction when the unitary error basis is a nice error basis. We show that the number of resulting mutually unbiased…
The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…
In this paper, we extend the characterization of $\mathbb{Z}[x]/\ < f \ >$, where $f \in \mathbb{Z}[x]$ to be a free $\mathbb{Z}$-module to multivariate polynomial rings over any commutative Noetherian ring, $A$. The characterization allows…