Related papers: A one-relator group with long lower central series
A generalized Baumslag-Solitar (GBS) group is a finitely generated group acting on a tree with infinite cyclic edge and vertex stabilizers. We show how to determine effectively the rank (minimal cardinality of a generating set) of a GBS…
We generalize Lewis's result about a central series associated with the vanishing off subgroup. We write $V_{1}=V(G)$ for the vanishing off subgroup of $G$, and $V_{i}=[V_{i-1},G]$ for the terms in this central series. Lewis proved that…
Let G=O(n+3) be an orthogonal group of rank one and H=O(n+2) an anisotropic subgroup. We unwind the period along H of a spherical Eisenstein series of G against a cuspform of H into an Euler product and evaluate the local factors at odd…
We develop invariants of the lower central series of free groups through linking of letters, showing they span the rational linear dual of the lower central series subquotients. We build on an approach to Lie coalgebras through operads,…
We characterize when a generalized Baumslag-Solitar group is linear, and extend the result to the fundamental groups of a graph of groups with infinite virtually cyclic vertex and edge groups.
We determine the central extensions of a whole family of Lie algebras, obtained by the method of graded contractions from so(N+1), N arbitrary. All the inhomogeneous orthogonal and pseudo-orthogonal algebras are members of this family, as…
The family omega1-Borel sets is the smallest family of subsets of the real line which contains the family of open sets and is closed under complementation and omega1 unions. We show: Theorem 1. MA+notCH implies this hierarchy has length…
We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…
We show that all residually finite generalized Baumslag-Solitar groups of rank $n \geq 1$, defined on a finite and connected graph, are self-similar. Furthermore we prove that all residually finite fundamental groups of (finite, connected)…
We give a characterisation of central extensions of a Lie group G by the non-zero complex numbers in terms of a differential two-form on G and a differential one-form on GxG. This is applied to the case of the central extension of the loop…
Let $ G $ be a connected semisimple Lie group with finite center. We prove a formula for the inner product of two cuspidal automorphic forms on $ G $ that are given by Poincar\'e series of $ K $-finite matrix coefficients of an integrable…
Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…
In this paper, we prove that two-generator one-relator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNN-extensions in which each group has the effective standard normal form. We give an example to…
Let $A$ be an associative unital algebra, $B_k$ its successive quotients of lower central series and $N_k$ the successive quotients of ideals generated by lower central series. The geometric and algebraic aspects of $B_k$ and $N_k$ have…
A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We…
The negative part $U^-$ of a quantised enveloping algebra associated to a simple Lie algebra possesses a canonical basis $\mathcal{B}$ with favourable properties. Lusztig has associated a cone to a reduced expression $\mathbf{i}$ for the…
Let $A,A^*$ be the generators of the $q-$Onsager algebra. Analogues of Lusztig's $r-th$ higher order relations are proposed. In a first part, based on the properties of tridiagonal pairs of $q-$Racah type which satisfy the defining…
The relational complexity of a subgroup $G$ of $\mathrm{Sym}(\Omega)$ is a measure of the way in which the orbits of $G$ on $\Omega^k$ for various $k$ determine the original action of $G$. Very few precise values of relational complexity…
Recently Dicks-Linnell determined the $L^2$-Betti numbers of the orientable surface-plus-one-relation groups, and their arguments involved some results that were obtained topologically by Hempel and Howie. Using algebraic arguments, we now…
The conjugacy problem belongs to algorithmic group theory. It is the following question: given two words x, y over generators of a fixed group G, decide whether x and y are conjugated, i.e., whether there exists some z such that zxz^{-1} =…