Related papers: Residually rationally solvable one-relator groups

We give the first example of a non-linear residually finite 1-related group: < a, t | a^{t^2}=a^2>.

We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the…

We construct, for any finite commutative ring $R$, a family of representations of the general linear group $\mathrm{GL}_n(R)$ whose intertwining properties mirror those of the principal series for $\mathrm{GL}_n$ over a finite field.

Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that the elementary subgroup E(R) of group of points G(R) is correctly defined. Then E(R) is perfect, except for the well-known cases of a split reductive…

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…

Let $n$ be a positive integer. We show that a unit rational space vector whose multiple by $n$ is an integer vector can be extended to a rational orthonormal basis whose all members have the same property.

We give explicit formulas for the residue of the Chinta-Gunnells average attached to a finite irreducible root system, at the polar divisor corresponding to a simple short root. The formula describes the residue in terms of the average…

For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to…

We prove that every verbally closed two-generated subgroup of a free solvable group G of a finite rank is a retract of G.

We prove that every finite simple group of Lie type $G$ can be generated by three regular unipotent elements. In certain cases we show that two regular unipotents are sufficient to generate $G$.

Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H)…

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a series of positive rational terms is a transcendental number.…

We introduce the notion of a probabilistic identity of a residually finite group. We prove that a finitely generated linear group satisfies a probabilistic identity if and only if it is virtually solvable. As an application, we prove a…

We study rational Cherednik algebras over an algebraically closed field of positive characteristic. We first prove several general results about category O, and then focus on rational Cherednik algebras associated to the general and special…

Let $k$ be a nonperfect separably closed field. Let $G$ be a (possibly non-connected) reductive group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In our previous work, we…

We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…

We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the…

The aim of this paper is to compare and contrast the class of residually finite groups with the class of equationally Noetherian groups - groups over which every system of coefficient-free equations is equivalent to a finite subsystem. It…

We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.

A class of groups is investigated, each of which has a fairly simple presentation . For example the group $R = (a, b, c, d | a^3 = b^3 = c^3 = d^3 = 1, ba^{-1} =dc^{-1}, ca^{-1} = db^{-1}) $ is in the class. Such a group does not have as a…