Related papers: On the essential dimension of unipotent algebraic …

We provide an explicit construction for a complete set of orthogonal primitive idempotents of finite group algebras over nilpotent groups. Furthermore, we give a complete set of matrix units in each simple epimorphic image of a finite group…

Recently George Bergman proved that the symmetric group of an infinite set possesses the following property which we call by the {\it universality of finite width}: given any generating set $X$ of the symmetric group of an infinite set…

Let G be a finite group with a generating set A. By the (symmetric) diameter of G with respect to A we mean the maximum over g in G of the length of the shortest word in (A union A inverse)A expressing g.By the (symmetric) diameter of G we…

This is a long overdue write up of the following: If the fundamental group of a normal complex algebraic variety (respectively Zariski open subset of a compact K\"ahler manifold) is a solvable group of matrices over Q (respectively…

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

It was shown in Part I that 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. Here we show…

Let ${\bf F}$ be a field of characteristic zero. It is proved that for any finitely generated linear group $\Gamma<\mathsf{GL}_n({\bf F})$, every unipotent-free abelian subgroup of $\Gamma$ is separable.

Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal…

Let $\textbf{k}$ be an algebraically closed field. We classify all maximal $\textbf{k}$-subalgebras of any one-dimensional finitely generated $\textbf{k}$-domain. In dimension two, we classify all maximal $\textbf{k}$-subalgebras of…

Let $k_1,k_2$ be two fields of characteristic 0. Let $G_1$ be a split semisimple algebraic group over $k_1$, $G_2$ a split Kac--Moody group over $k_2$ and $\phi\colon G_1(k_1)\to G_2(k_2)$ an abstract embedding. We show that $\im \phi$ is a…

Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and…

We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not…

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…

We show that any infinite algebraic subgroup of the plane Cremona group over a perfect field is contained in a maximal algebraic subgroup of the plane Cremona group. We classify the maximal groups, and their subgroups of rational points, up…

For central simple finitely generated algebras of finite Gelfand-Kirillov dimension and for their division algebras upper bounds are obtained for the transcendence degree of their commutative subalgebras and subfields respectively. In the…

EI categories can be thought of as amalgams of finite posets and finite groups and therefore the associated algebras are built up from incidence algebras and group algebras of finite groups. For this particular class of algebras we present…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

The essential dimension $\operatorname{ed}_k({\rm S}_n)$ of the symmetric group ${\rm S}_n$ is the minimal integer $d$ such that the general polynomial $x^n + a_1 x^{n-1} + \ldots + a_n$ can be reduced to a $d$-parameter form by a…

T. De Medts, Y. Segev and K. Tent [Special Moufang sets, their root groups and their \mu-maps, Proc. Lond. Math. Soc. (3) 96 (2008), 767-791] proved that the little projective group of a special Moufang set M(U,\tau) is perfect provided…

Let $k_0$ be a field of characteristic $p>0$ and $k=k_0(t)$, where $t$ is transcendental over $k_0$. We give an example of a smooth connected unipotent $k$-group $G$ such that $G(F)/R$ is non-commutative for some finite separable field…