Related papers: Cancellation conjecture for free associative algeb…

We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is…

Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.

Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…

We give a complete classification (up to isomorphism) of Lie conformal algebras which are free of rank two as $\C[\partial]$-modules, and determine their automorphism groups.

The well-known Nakai Conjecture concerns a very natural question: For an algebra of finite type over a characteristic zero field, if the ring of its differential operators is generated by the first order derivations, is the algebra regular?…

We prove the geometric Bogomolov conjecture over a function field of characteristic zero.

We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new…

Extending the work of Bell, Matsuzawa and Satriano, we consider a finite set of polynomials $S$ over a number field $K$ and give a necessary and sufficient condition for the existence of a $N \in \mathbb{N}_{> 0}$ and a finite set $Z…

We investigate the structure of an alternative finite dimensional $\Q$-algebra $\mathfrak{A}$ subject to the condition that for a $\Z$-order $\Gamma \subset \mathfrak{A}$, and thus for every $\Z$-order of $\mathfrak{A}$, the loop of units…

This article is part of an ongoing investigation of the two-dimensional Jacobian conjecture. In the first paper of this series, we proved the generalized Magnus' formula. In this paper, inspired by cluster algebras, we introduce a sequence…

The purpose of this paper is to lay the foundations for the theory of higher rank b-divisorial algebras of Shokurov type. We develop techniques to deal with such objects and propose two natural conjectures regarding Shokurov algebras and…

Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n -…

Assume that $ACF$ denotes the theory of algebraically closed fields. The renowned theorem of A. Tarski states that $ACF$ admits quantifier elimination. In this paper we give a constructive proof of Tarski's theorem on quantifier elimination…

We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field…

This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to…

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…

The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were…

Let L/K be a finite Galois extension of number fields with Galois group G. Let p be a rational prime and let r be a non-positive integer. By examining the structure of the p-adic group ring Z_p[G], we prove many new cases of the p-part of…

In this paper we explore a new method of analysis of associative algebras.