Related papers: Free Proalgebraic Groups

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

The study of the existence of free groups in skew linear groups have been begun since the last decades of the 20-th century. The starting point is the theorem of Tits (1972), now often is referred as Tits' Alternative, stating that every…

We study the automorphism groups attached to a free algebra with multiple, possibly infinitely many, composition laws. As an application, we prove that the automorphism group of finitely generated vertex algebras over noetherian rings are…

Consider a diagram $\cdots \to F_3 \to F_2\to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the…

Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm…

We introduce and investigate a class of profinite groups defined via extensions of centralizers analogous to the extensively studied class of finitely generated fully residually free groups, that is, limit groups (in the sense of Z. Sela).…

Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.

By arithmeticity and superrigidity, a commensurability class of lattices in a higher rank Lie group is defined by a unique algebraic group over a unique number subfield of $\mathbb{R}$ or $\mathbb{C}$. We prove an adelic version of…

The isomorphism problem for infinite finitely presented groups is probably the hardest among standard algorithmic problems in group theory. Classes of groups where it has been completely solved are nilpotent groups, hyperbolic groups, and…

We introduce a category of dual pairs of finite locally free algebras over a ring. This gives an efficient way to represent finite locally free commutative group schemes. We give a number of algorithms to compute with dual pairs of…

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…

Affine difference algebraic groups are a generalization of affine algebraic groups obtained by replacing algebraic equations with algebraic difference equations. We show that the isomorphism theorems from abstract group theory have…

For the coordinate algebras of connected affine algebraic groups, we explore the problem of finding a presentation by generators and relations canonically determined by the group structure.

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

We study the inverse problem in the difference Galois theory of linear differential equations over the difference-differential field $\mathbb{C}(x)$ with derivation $\frac{d}{dx}$ and endomorphism $f(x)\mapsto f(x+1)$. Our main result is…

In this paper we first state the classification of the prolongations of complex free fundamental graded Lie algebras. Next we introduce the notion of free pseudo-product fundamental graded Lie algebras and study the prolongations of complex…

Compact connected abelian groups, or protori, have intrinsic structural characteristics that present for the entire category. In the case of finite-dimensional torus-free protori, The Resolution Theorem for Compact Abelian Groups sets the…

It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal…

Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups,…

It is shown that Golod-Shaferevich algebras of a reduced number of defining relations contain noncommutative free subalgebras in two generators, and that these algebras can be homomorphically mapped onto prime, Noetherian algebras with…