A just-nonsolvable torsion-free group defined on the binary tree

  title={A just-nonsolvable torsion-free group defined on the binary tree},
  author={A. M. Brunner and Said Najati Sidki and Ana Cristina Vieira},
  journal={Journal of Algebra},
Abstract A two-generator torsion-free subgroup of the group of finite-state automorphisms of the binary tree is constructed having the properties of being just-nonsolvable and residually “torsion-free solvable.” A presentation is produced for this subgroup in two generators and two relations together with their images under the iterated application of a certain simple substitution. 
The Binary Adding Machine and Solvable Groups
  • S. Sidki
  • Mathematics
    Int. J. Algebra Comput.
  • 2003
We prove that any solvable subgroup K of automorphisms of the binary tree, which contains the binary adding machine is an extension of a torsion-free metabelian group by a finite 2-group. If the
Finite Automata of Polynomial Growth do Not Generate A Free Group
A free subgroup of rank 2 of the automorphism group of a regular rooted tree of finite degree cannot be generated by finite-state automorphisms having polynomial growth. This result is in fact proven
On a Torsion-Free Weakly Branch Group Defined by a Three State Automaton
We study a torsion free weakly branch group G without free subgroups defined by a three state automaton which appears in different problems related to amenability, Galois groups and monodromy. Here...
Rigidity of Branch Groups Acting on Rooted Trees
Automorphisms of groups acting faithfully on rooted trees are studied. We find conditions under which every automorphism of such a group is induced by a conjugation from the full automorphism group
Approximating the Schur multiplier of certain infinitely presented groups via nilpotent quotients
We describe an algorithm for computing successive quotients of the Schur multiplier M ( G ) of a group G given by an invariant finite L -presentation. As applications, we investigate the Schur
Just Non-(abelian by P -type) Groups
A group K is of P-type provided it is isomorphic to a subgroup of a finitely iterated wreath product of copies of P. For any group P, define a rooted regular tree T(P) on which P acts permuting
Galois coverings of Schreier graphs of groups generated by bounded automata
We give a characterization of the covering Schreier graphs of groups generated by bounded automata to be Galois. We also investigate the zeta and $L$ functions of Schreier graphs of few groups namely
On amenability of automata groups
We show that the group of bounded automatic automorphisms of a rooted tree is amenable, which implies amenability of numerous classes of groups generated by finite automata. The proof is based on
On a group associated to $z^2-1$
We construct a group acting on a binary rooted tree; this discrete group mimics the monodromy action of iterates of $f(z)=z^2-1$ on associated coverings of the Riemann sphere. We then derive some


The Generation of GL(n, Z) by Finite State Automata
Finite state automata are constructed which show that GL(n, Z) is embeddable in the group of finite state automorphisms of the one-rooted regular tree of valency 2n.
Degrees of Growth of Finitely Generated Groups, and the Theory of Invariant Means
This paper gives a negative solution to the problem of Milnor concerning the degrees of growth of groups. The construction also answers a question of Day concerning amenable groups. A number of other
Finite automata and Burnside's problem for periodic groups
New examples of infinite periodic finitely-generated groups are constructed. The elements of the groups are mappings of a set of words in an alphabet X into itself induced by finite Mealy automata.
Conjugacy separability of certain torsion groups
Abstract. It is shown that certain torsion groups studied by Grigorchuk and by Gupta and Sidki are conjugacy separable.
Cyclic Renormalization and Automorphism Groups of Rooted Trees
Cyclic renormalization.- Itinerary calculus and renormalization.- Spherically transitive automorphisms of rooted trees.- Closed normal subgroups of Aut(X(q)).
On the Burnside problem for periodic groups
Narain Gupta 1,. and Said Sidki 2 1 University of Manitoba, Department of Mathematics, Winnipeg, Manitoba R3T 2N2, Canada 2 University of Brasilia, Department of Mathematics, Brasilia, D.F., Brazil