Related papers: On elementary equivalence of rings with a finitely…
In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank.
We describe groups elementarily equivalent to a free metabelian group with n generators. We also explore an exponentiation that naturally occurs in metabelian groups.
In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of…
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…
In this paper we find a characterization for groups elementarily equivalent to a free nilpotent group $G$ of class 2 and arbitrary finite rank.
In the present paper, as a generalization of the classical periodic rings, we explore those rings whose elements are additively generated by two (or more) periodic elements by calling them additively periodic. We prove that, in some major…
In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly oredered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are…
Since for the classification of finite (congruence-)simple semirings it remains to classify the additively idempotent semirings, we progress on the characterization of finite simple additively idempotent semirings as semirings of…
We prove the following. Let $R$ be a Noetherian ring, $B$ a finitely generated $R$-algebra, and $A$ a pure $R$-subalgebra of $B$. Then $A$ is finitely generated over $R$.
We prove that any finitely generated elementary amenable group of zero (algebraic) entropy contains a nilpotent subgroup of finite index or, equivalently, any finitely generated elementary amenable group of exponential growth is of…
This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely…
We give a description of elementary subgroups (in the sense of first-order logic) of finitely generated virtually free groups. In particular, we recover the fact that elementary subgroups of finitely generated free groups are free factors.…
We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily…
In this paper we study a relationship between elementary equivalence of endomorphism rings of Abelian p-groups and second order equivalence of the corresponding Abelian p-groups.
In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free…
In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a…
We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated…
We study generalized symbolic powers and form ideals of powers of ideals and compare their growth with the growth of ordinary powers, and we discuss the question of when the graded rings attached to symbolic powers or to form ideals of…
The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…
In this paper we introduce the concept of purely infinite rings, which in the simple case agrees with the already existing notion of pure infiniteness. We establish various permanence properties of this notion, with respect to passage to…