Related papers: Elementary equivalence of Chevalley groups over fi…

We describe solutions to the problem of elementary classification in the class of group algebras of free groups. We will show that unlike free groups, two group algebras of free groups over infinite fields are elementarily equivalent if and…

Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent…

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…

We prove the centrality of $\mathrm{K}_2 (\mathsf{F}_4, \,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of $\mathrm K_2(\Phi,\, R)$ for any root system $\Phi$ of rank $\geq 3$. Our proof uses only…

Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary…

We prove that an element from the Chevalley group of type $E_6$ or $E_7$ over a polynomial ring with coefficients in a small-dimensional ring can be reduced to an element of certain proper subsystem subgroup by a bounded number of…

We give a new and elementary proof that simultaneous similarity and simultaneous equivalence of families of matrices are invariant under extension of the ground field, a result which is non-trivial for finite fields and first appeared in a…

The Main Theorem for abelian fields (often called Main Conjecture despite proofs in most cases) has a long history which has found a solution by means of "elementary arithmetic", as detailed in Washington's book from Thaine's method having…

We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…

We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated…

We introduce and study the class of groups graded by root systems. We prove that if {\Phi} is an irreducible classical root system of rank at least 2 and G is a group graded by {\Phi}, then under certain natural conditions on the grading,…

In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.

In the present paper we prove sandwich classification for the overgroups of the subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for the three types of pair $(\Phi,\Delta)$ (the root system and its subsystem) such that…

We introduce the notion of $\lambda$-equivalence and $\lambda$-embeddings of objects in suitable categories. This notion specializes to $L_{\infty\lambda}$-equivalence and $L_{\infty\lambda}$-elementary embedding for categories of…

In our previous joint papers with Roozbeh Hazrat and Alexei Stepanov we established commutator formulas for relative elementary subgroups in $GL(n,R)$, $n\ge 3$, and other similar groups, such as Bak's unitary groups, or Chevalley groups.…

We consider the simply connected Chevalley group $G(E_7,R)$ of type $E_7$ in the 56-dimensional representation. The main objective of the paper is to prove that the following four groups coincide: the normalizer of the elementary Chevalley…

Consider unbounded reduced Abelian p-groups (p > 2) A and A'. In this paper, we prove that if the automorphism groups Aut A and Aut A' are elementary equivalent then the groups A and A' are equivalent in the second order logic bounded by…

We study equivariant modules over $GL(V)$ over the polynomial ring $R = Sym V$. We introduce for every partition $\lambda$ the elementary equivariant module $M_{\lambda}$. Then we prove that any finitely generated equivariant module admits…

We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert…

We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in…