Related papers: The Central Nullstellensatz over Centrally Algebra…

Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate).…

This paper is concerned with generalising the results for Lie $CT$-algebras to Leibniz algebras. In some cases our results give a generalisation even for the case of a Lie algebra. Results on $A$-algebras are used to show every Leibniz…

In this paper, we introduce a class of rings in which every nilpotent element is central. This class of rings generalizes so-called reduced rings. A ring $R$ is called {\it central reduced} if every nilpotent element of $R$ is central. For…

Let $A$ be a simple infinite dimensional stably finite unital C*-algebra, and let $B$ be a centrally large subalgebra of $A$. We prove that if $A$ is tracially ${\mathcal{Z}}$-absorbing if and only if $B$ is tracially…

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…

We prove that any analytic set in $\C^n$ with a unique tangent cone at infinity is an algebraic set. We prove that the degree of a complex algebraic set in $\C^n$, which is Lipschitz normally embedded at infinity, is equal to the degree of…

We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…

Let $(K,\nu)$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic…

We prove Bergman's theorem on centralizers by using generic matrices and Kontsevich's quantization method. For any field $\textbf{k} $ of positive characteristics, set $A=\textbf{k} \langle x_1,\dots,x_s\rangle$ be a free associative…

We construct, for every integer $N\in\mathbb{N}^*$, a structure whose Grothendieck ring is isomorphic to $(\mathbb{Z}/N\mathbb{Z})[X]$, thus proving the existence of structures with a non-zero Grothendieck ring with non-zero characteristic.…

We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed by A. Seidenberg but no complete solution was…

The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an…

We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X \omega$ over a compact…

We establish a relative version of the Nullstellensatz for algebras topologically of finite type over a given Banach Tate ring $A$, under the assumption that the corresponding statement holds for rational localizations of $A$. This applies…

Let $R$ be a finite ring and let $\Cent(R)$ denote the set of all distinct centralizers of $R$. $R$ is called an $n$-centralizer ring if $|Cent(R)| = n$. In this paper, we characterize $n$-centralizer finite rings for $n \leq 7$.

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if…

The concept of integral as an inverse to that of derivation was already introduced for rings and recently also for lattices. Since semirings generalize both rings and bounded distributive lattices, it is natural to investigate integration…

A separating algebra is, roughly speaking, a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a geometric notion of separating…

We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a…