Related papers: A quantitative general Nullstellensatz for Jacobso…
We study meromorphic jacobian pairs, i.e., pairs of polynomials in one variable, with coefficients meromorphic series in a second variable, whose jacobian relative to the two variables depends only on the second variable. We pose two…
Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e.,…
We introduce graded gamma rings from a more general point of view via methods developed by Krasner and Halberstadt for graded rings. We propose three equivalent aspects of studying graded gamma rings, nonhomogeneous, semihomogeneous and…
We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…
A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $\sigma(R)$ of $R$ is the…
Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…
Let $R$ be a $\mathbb{Q}$-algebra and $d$ be a locally nilpotent derivation on $R$. We will show that the Jacobson radical of a differential polynomial ring $R[x;d]$ equals $I[x;d]$ where $I$ is a nil ideal of $R$. This answers a question…
Let G be a simple and simply-connected complex algebraic group, and let X \subset G^\vee be the centralizer subgroup of a principal nilpotent element. Ginzburg and Peterson independently related the ring of functions on X with the homology…
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the language of first order logic, following previous approaches and…
We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $\Q$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order…
The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to…
Building on classical aspects of the theory of Diophantine approximation, we consider the collection of all accumulation points of normalized integer vector translates of points $q\alpha$ with $\alpha\in\mathbb{R}^d$ and $q\in\mathbb{Z}$.…
A ring A is called presimplifiable if whenever a; b belongs to A and a = ab, then either a = 0 or b is a unit in A. Let A be a commutative ring and G be an abelian torsion group. For the group ring A[G], we prove that A[G] is…
Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$,…
A generalization of the Heisenberg algebra has been recently constructed. This generalized algebra has a characteristic function which depends on one of its generators. When this function is linear, $qJ_0+s$, it is possible to construct a…
In this paper, we study arbitrary models of the first-order theory of a ring $A$ where the additive group $A$ is a finitely generated abelian group. Following an earlier paper by this author, Alexei G. Myasnikov and Francis Oger, we call…
Jurij Vol\v{c}i\v{c} conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant…
Almkvist proved that for a commutative ring A the characteristic polynomial of an endomorphism \alpha:P \to P of a finitely generated projective A-module determines (P,\alpha) up to extensions. For a non-commutative ring A the generalized…
Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$…
A well-known theorem by S.A. Amitsur shows that the Jacobson radical of the polynomial ring R[x] equals I[x] for some nil ideal I of R. In this paper, however, we show that this is not the case for differential polynomial rings, by proving…