Every simply connected and connected solvable Lie group $G$ admits a simply transitive action on a nilpotent Lie group $H$ via affine transformations. Although the existence is guaranteed, not much is known about which Lie groups $G$ can act simply transitive on which Lie groups $H$. So far the focus was mainly on the case where $G$ is also nilpotent, leading to a characterization depending only on the corresponding Lie algebras and related to the notion of post-Lie algebra structures.
This paper studies two different aspects of this problem. First, we give a method to check whether a given action $ρ: G \to \operatorname{Aff}(H)$ is simply transitive by looking only at the induced morphism $φ: \mathfrak{g} \to \operatorname{aff}(\mathfrak{h})$ between the corresponding Lie algebras. Secondly, we show how to check whether a given solvable Lie group $G$ acts simply transitive on a given nilpotent Lie group $H$, again by studying properties of the corresponding Lie algebras. The main tool for both methods is the semisimple splitting of a solvable Lie algebra and its relation to the algebraic hull, which we also define on the level of Lie algebras. As an application, we give a full description of the possibilities for simply transitive actions up to dimension $4$.
Given two positive integers n and c, we determine an upper bound, as a function of n and c, for the maximum order of a finite nilpotent transitive group of degree n and nilpotency class at most c.
To any connected and simply connected nilpotent Lie group N, one can associate its group of affine transformations Aff(N). In this paper, we study simply transitive actions of a given nilpotent Lie group G on another nilpotent Lie group N, via such affine transformations. We succeed in translating the existence question of such a simply transitive affine action to a corresponding question on the Lie algebra level. As an example of the possible use of this translation, we then consider the case where dim(G)=dim(N) less than 6. Finally, we specialize to the case of abelian simply transitive affi…
We investigate properties of finite transitive permutation groups $(G, Ω)$ in which all proper subgroups of $G$ act intransitively on $Ω.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups.
We prove that the base size of a transitive group $G$ with solvable point stabilizer and with trivial solvable radical is not greater than $k$ provided the same statement holds for the group of $G$-induced automorphisms of each nonabelian composition factor of $G$.
In this paper the notion of nilpotent right transversal and solvable right transversal has been defined. Further, it is proved that if a core-free subgroup has a generating solvable transversal or a generating nilpotent transversal, then the whole group is solvable.
We prove the following result. Let q be a power of an odd prime and let Sp(2m,q) denote the symplectic group of degree 2m over F_q. Then if q=1 mod 4, no solvable subgroup of Sp(2m,q) acts transitively on a complete symplectic spread defined on the underlying vector space of dimension 2m, unless m=1 and q=5. The solvable group Sp(2,3) of order 24 acts transitively on a complete symplectic spread defined on a two-dimensional vector space over F_5. By contrast, when q=3 mod 4, there is a metacyclic group of order 2m(q^m+1) that acts transitively on a complete symplectic spread.
We will prove the following theorems. The first theorem posits the existence of a fixed point for the actions of nilpotent Lie groups on nonpositively curved compact manifolds. The second theorem states that actions of solvable Lie groups on nonpositively curved compact manifolds have either a fixed point or a 2-periodic point.
Let $F$ be either a free nilpotent group of a given class and of finite rank or a free solvable group of a certain derived length and of finite rank. We show precisely which ones have the $R_{\infty}$ property. Finally, we also show that the free group of infinite rank does not have the $R_{\infty}$ property.
It is shown that if $G$ is a primitive permutation group on a set of size $n$, then any nilpotent quotient of $G$ has order at most $n^β$ and any solvable quotient of $G$ has order at most $n^{α+1}$ where $β=\log 32/ \log 9$ and $α=(3 \log (48)+\log (24))/ (3 \cdot \log (9))$. This was motivated by a result of Aschbacher and Guralnick
A classification is given for factorizations of almost simple groups with at least one factor solvable, and it is then applied to characterize $s$-arc-transitive Cayley graphs of solvable groups, leading to a striking corollary: Except the cycles, every non-bipartite connected 3-arc-transitive Cayley graph of a solvable group is a cover of the Petersen graph or the Hoffman-Singleton graph.
We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional analytical solvable and transitive Lie algebras of vector fields whose derivative ideal is nilpotent can be adapted to this scheme.
We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group isospectral to a finite simple group is nilpotent.
We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of finite simple groups of Lie type to give a unified self-contained proof that every such group is a product of four or three unipotent Sylow subgroups. Then we derive an upper bound on the minimal length of a solvable conjugate factorization of a general finite group. Finally, using conjugate factorizations of a general finite solvable group by any of its Carter…
We say a group $G$ has property $R_\infty$ if the number $R(φ)$ of twisted conjugacy classes is infinite for every automorphism $φ$ of $G$. For such groups, the $R_\infty$-nilpotency degree is the least integer $c$ such that $G/γ_{c+1}(G)$ has property $R_\infty$. In this work, we compute the $R_\infty$-nilpotency degree of all Generalized Solvable Baumslag-Solitar groups $Γ_n$. Moreover, we compute the lower central series of $Γ_n$, write the nilpotent quotients $Γ_{n,c}=Γ_n/γ_{c+1}(Γ_n)$ as semidirect products of finitely generated abelian groups and classify which integer invertible matrice…
We prove that the growth rate of an endomorphism of a finitely generated nilpotent group equals to the growth rate of induced endomorphism on its abelinization, generalizing the corresponding result for an automorphism in [14]. We also study growth rates of endomorphisms for specific solvable groups, lattices of Sol, providing a counterexample to a known result in [5] and proving that the growth rate is an algebraic number.
We describe the structure of "K-approximate subgroups'' of solvable subgroups of GL_n(C), showing that they have a large nilpotent piece. By combining this with the main result of our recent paper on approximate subgroups of torsion-free nilpotent groups, we show that such approximate subgroups are efficiently controlled by nilpotent progressions.
Let $G$ be a simply connected, solvable Lie group and $Γ$ a lattice in $G$. The deformation space $\mathcal{D}(Γ,G)$ is the orbit space associated to the action of $\Aut(G)$ on the space $\mathcal{X}(Γ,G)$ of all lattice embeddings of $Γ$ into $G$. Our main result generalises the classical rigidity theorems of Mal'tsev and Saitô for lattices in nilpotent Lie groups and in solvable Lie groups of real type. We prove that the deformation space of every Zariski-dense lattice $Γ$ in $G$ is finite and Hausdorff, provided that the maximal nilpotent normal subgroup of $G$ is connected. This implies th…
The study of the complexity of the equation satisfiability problem in finite groups had been initiated by Goldmann and Russell (2002) where they showed that this problem is in polynomial time for nilpotent groups while it is NP-complete for non-solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups $G$ having a nilpotent normal subgroup $H$ with nilpotent factor $G/H$. This paper shows that such normal subgroup must exist in each finite group with equation satisfiability solvable in polynomial time, unless…
The solvable Farb growth of a group quantifies how well-approximated the group is by its finite solvable quotients. In this note we present a new characterization of polycyclic groups which are virtually nilpotent. That is, we show that a group has solvable Farb growth which is at most polynomial in $\log(n)$ if and only if the group is polycyclic and virtually nilpotent. We also give new results concerning approximating oriented surface groups by nilpotent quotients. As a consequence of this, we prove that a natural number $C$ exists so that any nontrivial element of the $Ck$th term of the lo…
For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way.
The main purpose of this paper is to study the finite-dimensional solvable Lie algebras described in its title, which we call {\em minimal non-${\mathcal N}$}. To facilitate this we investigate solvable Lie algebras of nilpotent length $k$, and of nilpotent length $\leq k$, and {\em extreme} Lie algebras, which have the property that their nilpotent length is equal to the number of conjugacy classes of maximal subalgebras. We characterise the minimal non-${\mathcal N}$ Lie algebras in which every nilpotent subalgebra is abelian, and those of solvability index $\leq 3$.
We prove that each $3$-dimensional connected topological loop $L$ having a solvable Lie group of dimension $\le 5$ as the multiplication group of $L$ is centrally nilpotent of class $2$. Moreover, we classify the solvable non-nilpotent Lie groups $G$ which are multiplication groups for $3$-dimensional simply connected topological loops $L$ and $\hbox{dim} \ G \le 5$. These groups are direct products of proper connected Lie groups and have dimension $5$. We find also the inner mapping groups of $L$.
We study relations between the additive and the multiplicative groups of a two-sided skew brace. In particular, we prove that if the additive group of a two-sided skew brace is finite solvable (respectively, finitely generated nilpotent, finitely generated residually nilpotent, finitely generated residually finite), then the multiplicative group of this skew brace is solvable (respectively, solvable, residually solvable, residually finite). Also, we prove that if the multiplicative group of a two-sided skew brace is nilpotent of nilpotency class $k$, then the additive group of this skew brace …
We represent the coordinate ring of algebraic hulls (which are generalizations of the Malcev completions of nilpotent groups for solvable groups) of solvmanifolds $G/Γ$ by using Miller's exponential iterated integrals (which are extensions of Chen's iterated integrals) of invariant differential forms.
We give a sufficient condition for parameter rigidity of actions of solvable Lie groups, by vanishing of (uncountably many) first cohomologies of the orbit foliations. In some cases, we can prove that vanishing of finitely many cohomologies is sufficient. For this purpose we use a rigidity property of quasiisometry. As an application we prove some actions of 2-step solvable Lie groups on mapping tori are parameter rigid. Special cases of these actions are considered in a paper of Matsumoto and Mitsumatsu. We also remark on the relation between transitive locally free actions of solvable Lie gr…
We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated $3$-step solvable group has finite palindromic width. More generally, we show the finiteness of palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step $\geq 3$, we prove that if $G$ is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of $G$ is finite. We also prove that the palindromic width of $\…
In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.
A dessin is an embedding of connected bipartite graph into an oriented closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges. In the present paper regular dessins with a nilpotent automorphism group are investigated, and attention are paid on those with the highest level of external symmetry. Depending on the algebraic theory of dessins and using group-theoretical methods, we present a classification of nilpotent groups of class two which underly a unique regular dessin.
Bouc proposed the following conjecture: a finite group $G$ is nilpotent if and only if its largest quotient $B$-group $β(G)$ is nilpotent. And he has prove that this conjecture holds when $G$ is solvable. In this paper, we consider the case when $G$ is not solvable. Let $S$ be a nonabelian simple group except the Chevalley groups $A_{n}(q)$, $D_{n}(q)$, $E_{6}(q)$, and $^2A_{n}(q)$, if there exists only one factor of $G$ which is isomorphic to $S$, then $β(G)$ is not solvable, of course, is not nilpotent. That means we prove the conjecture in these cases.
Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on one hand, and abelian extensions and congruence solvability on the other hand. In particular, we show that a loop is congruence solvable (that is, an iterated abelian extension of commutative groups) if and only if it is not Boolean complete, reaffirming the connection between computational complexity and solvability. Finally, we briefly discuss relations bet…
Let $N$ be a nilpotent group normal in a group $G$. Suppose that $G$ acts transitively upon the points of a finite non-Desarguesian projective plane $\mathcal{P}$. We prove that, if $\mathcal{P}$ has square order, then $N$ must act semi-regularly on $\mathcal{P}$. In addition we prove that if a finite non-Desarguesian projective plane $\mathcal{P}$ admits more than one nilpotent group which is regular on the points of $\mathcal{P}$ then $\mathcal{P}$ has non-square order and the automorphism group of $\mathcal{P}$ has odd order.
Freiman's theorem asserts, roughly speaking, if that a finite set in a torsion-free abelian group has small doubling, then it can be efficiently contained in (or controlled by) a generalised arithmetic progression. This was generalised by Green and Ruzsa to arbitrary abelian groups, where the controlling object is now a coset progression. We extend these results further to solvable groups of bounded derived length, in which the coset progressions are replaced by the more complicated notion of a "coset nilprogression". As one consequence of this result, any subset of such a solvable group of sm…
A transitive permutation group of prime degree is doubly transitive or solvable. We give a direct proof of this theorem by Burnside which uses neither S-ring type arguments, nor representation theory.
Engel groups and Engel elements became popular in 50s. We consider in the paper the more general nil-groups and nil-elements in groups. All these notions are related to nilpotent groups and nilpotent radicals in groups. These notions generate problems which are parallel to Burnside problems for periodic groups. The first three theorems of the paper are devoted to nil-groups and Engel groups, while the other results are connected with the further generalizations. These generalizations extend the theory to solvable groups and solvable radicals in groups. The paper has two parts. The first one (s…
We describe the Reidemeister spectrum $Spec_RG$ for $G = N_{rc},$ the free nilpotent group of rank $r$ and class $c,$ in the cases: $r \in {\mathbb N}$ and $c = 1;$ $r = 2, 3$ and $c = 2;$ $ r = 2$ and $c = 3,$ and prove that any group $N_{2c}$ for $c \geq 4$ satisfies to the $R_{\infty}$ property. As a consequence we obtain that every free solvable group $S_{2t}$ of rank 2 and class $t \geq 2$ (in particular the free metabelian group $M_2 = S_{22}$ of rank 2) satisfies to the $R_{\infty}$ property. Moreover, we prove that any free solvable group $S_{rt}$ of rank $r \geq 2$ and class $t$ big e…
The results known for Green-Lazarsfeld sets and solvable or nilpotent quotients of Kaehler groups are extended to the class of (compact Kaehler) geometric orbifolds with finite and integral multiplicities. The proofs are by reduction to the known case of compact Kaehler manifolds.
We study the minimal dimension of solvable and nilpotent Lie algebras over a field of characteristic zero with given derived length $k$. This is motivated by questions on nildecomposable Lie algebras $\Lg=\La+\Lb$, arising in the context of post-Lie algebra structures. The question is, how the derived length of $\Lg$ can be estimated in terms of the derived length and nilpotency classes of the two nilpotent subalgebras $\La$ and $\Lb$.
A covering of a group is a finite set of proper subgroups whose union is the whole group. A covering is minimal if there is no covering of smaller cardinality, and it is nilpotent if all its members are nilpotent subgroups. We complete a proof that every group that has a nilpotent minimal covering is solvable, starting from the previously known result that a minimal counterexample is an almost simple finite group.
In this paper, we consider solvable groups that satisfy the two-prime hypothesis. We prove that if $G$ is such a group and $G$ has no nonabelian nilpotent quotients, then $|\cd G| \le 462,515$. Combining this result with the result from part I, we deduce that if $G$ is any such group, then the same bound holds.
We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$, then $G$ is $p$-nilpotent. We show that there are examples that are not $p$-nilpotent where this bound is met for every prime $p$. We then prove a number of variations of this result.
In 2011, Fang et al. in (J. Combin. Theory A 118 (2011) 1039-1051) posed the following problem: Classify non-normal locally primitive Cayley graphs of finite simple groups of valency $d$, where either $d\leq 20$ or $d$ is a prime number. The only case for which the complete solution of this problem is known is of $d=3$. Except this, a lot of efforts have been made to attack this problem by considering the following problem: Characterize finite nonabelian simple groups which admit non-normal locally primitive Cayley graphs of certain valency $d\geq4$. Even for this problem, it was only solved f…
We show that every unitary representation of a solvable discrete virtually nilpotent group G is quasidiagonal. Roughly speaking, this says that every unitary representation of G approximately decomposes as a direct sum of finite dimensional approximate representations. In operator algebraic terms we show that C*(G) is strongly quasidiagonal.
We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural "non-commutativity" conditions. For each group $G$ in one of these classes, we prove that there exists a ring of algebraic integers $O$ that is interpretable in $G$ by finite systems of equations (e-interpretable), and hence that the Diophantine problem in $O$ is polynomial time reducible to the Diophantine problem in $G$. One of the major open conjectures in number theory st…
