Showing 1–22 of 22 results for author: Savchuk, D

Explicit Generators for the Stabilizers of Rational Points in Thompson's Group $F$

Authors: Krystofer Baker, Dmytro Savchuk

Abstract: We construct explicit finite generating sets for the stabilizers in Thompson's group $F$ of rational points of a unit interval or a Cantor set. Our technique is based on the Reidemeister-Schreier procedure in the context of Schreier graphs of such stabilizers in $F$. It is well known that the stabilizers of dyadic rational points are isomorphic to $F\times F$ and can thus be generated by 4 explici… ▽ More We construct explicit finite generating sets for the stabilizers in Thompson's group $F$ of rational points of a unit interval or a Cantor set. Our technique is based on the Reidemeister-Schreier procedure in the context of Schreier graphs of such stabilizers in $F$. It is well known that the stabilizers of dyadic rational points are isomorphic to $F\times F$ and can thus be generated by 4 explicit elements. We show that the stabilizer of every non-dyadic rational point $b\in (0,1)$ is generated by 5 elements that are explicitly calculated as words in generators $x_0, x_1$ of $F$ that depend on the binary expansion of $b$. We also provide an alternative simple proof that the stabilizers of all rational points are finitely presented. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 19 pages, 9 figures and pictures

MSC Class: 20F65

Liftable self-similar groups and scale groups

Authors: Rostislav Grigorchuk, Dmytro Savchuk

Abstract: We canonically identify the groups of isometries and dilations of local fields and their rings of integers with subgroups of the automorphism group of the $(d+1)$-regular tree $\widetilde T_{d+1}$, where $d$ is the residual degree. Then we introduce the class of liftable self-similar groups acting on a $d$-regular rooted tree whose ascending HNN extensions act faithfully and vertex transitively on… ▽ More We canonically identify the groups of isometries and dilations of local fields and their rings of integers with subgroups of the automorphism group of the $(d+1)$-regular tree $\widetilde T_{d+1}$, where $d$ is the residual degree. Then we introduce the class of liftable self-similar groups acting on a $d$-regular rooted tree whose ascending HNN extensions act faithfully and vertex transitively on $\widetilde T_{d+1}$ fixing one of the ends. The closures of these extensions in $\mathrm{Aut}(\widetilde T_{d+1})$ are totally disconnected locally compact group that belong to the class of scale groups. We give numerous examples of liftable groups coming from self-similar groups acting essentially freely or groups admitting finite $L$-presentations. In particular, we show that the finitely presented group constructed by the first author and the finitely presented HNN extension of the Basilica group embed into the group $\mathcal D(\mathbb Q_2)$ of dilations of the field $\mathbb Q_2$ of $2$-adic numbers. These actions, translated to $\widetilde T_3$, are 2-transitive on the punctured boundary of $\widetilde T_3$. Also we explore scale-invariant groups with the purpose of getting new examples of scale groups. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 49 pages, 9 figures

MSC Class: 20E08; 22D05

Solenoid Maps, Automatic Sequences, Van Der Put Series, and Mealy-Moore Automata

Authors: Rostislav Grigorchuk, Dmytro Savchuk

Abstract: The ring $\mathbb Z_d$ of $d$-adic integers has a natural interpretation as the boundary of a rooted $d$-ary tree $T_d$. Endomorphisms of this tree (i.e. solenoid maps) are in one-to-one correspondence with 1-Lipschitz map**s from $\mathbb Z_d$ to itself and automorphisms of $T_d$ constitute the group $\mathrm{Isom}(\mathbb Z_d)$. In the case when $d=p$ is prime, Anashin showed that… ▽ More The ring $\mathbb Z_d$ of $d$-adic integers has a natural interpretation as the boundary of a rooted $d$-ary tree $T_d$. Endomorphisms of this tree (i.e. solenoid maps) are in one-to-one correspondence with 1-Lipschitz map**s from $\mathbb Z_d$ to itself and automorphisms of $T_d$ constitute the group $\mathrm{Isom}(\mathbb Z_d)$. In the case when $d=p$ is prime, Anashin showed that $f\in\mathrm{Lip}^1(\mathbb Z_p)$ is defined by a finite Mealy automaton if and only if the reduced coefficients of its van der Put series constitute a $p$-automatic sequence over a finite subset of $\mathbb Z_p\cap\mathbb Q$. We generalize this result to arbitrary integer $d\geq 2$, describe the explicit connection between the Moore automaton producing such sequence and the Mealy automaton inducing the corresponding endomorphism. Along the process we produce two algorithms allowing to convert the Mealy automaton of an endomorphism to the corresponding Moore automaton generating the sequence of the reduced van der Put coefficients of the induced map on $\mathbb Z_d$ and vice versa. We demonstrate examples of applications of these algorithms for the case when the sequence of coefficients is Thue-Morse sequence, and also for one of the generators of the standard automaton representation of the lamplighter group. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Comments: 33 pages, 9 figures

MSC Class: 68Q70; 20M35; 20E08

The lamplighter group of rank two generated by a bireversible automaton

Authors: Elsayed Ahmed, Dmytro Savchuk

Abstract: We construct a 4-state 2-letter bireversible automaton generating the lamplighter group $(\mathbb Z_2^2)\wr\mathbb Z$ of rank two. The action of the generators on the boundary of the tree can be induced by the affine transformations on the ring $\mathbb Z_2[[t]]$ of formal power series over $\mathbb Z_2$. We construct a 4-state 2-letter bireversible automaton generating the lamplighter group $(\mathbb Z_2^2)\wr\mathbb Z$ of rank two. The action of the generators on the boundary of the tree can be induced by the affine transformations on the ring $\mathbb Z_2[[t]]$ of formal power series over $\mathbb Z_2$. △ Less

Submitted 11 February, 2018; originally announced February 2018.

Comments: 18 pages, 2 figures

MSC Class: 20E08; 20F65

Endomorphisms of regular rooted trees induced by the action of polynomials on the ring $\mathbb Z_d$ of $d$-adic integers

Authors: Elsayed Ahmed, Dmytro Savchuk

Abstract: We show that every polynomial in $\mathbb Z[x]$ defines an endomorphism of the $d$-ary rooted tree induced by its action on the ring $\mathbb Z_d$ of $d$-adic integers. The sections of this endomorphism also turn out to be induced by polynomials in $\mathbb Z[x]$ of the same degree. In the case of permutational polynomials acting on $\mathbb Z_d$ by bijections the induced endomorphisms are automor… ▽ More We show that every polynomial in $\mathbb Z[x]$ defines an endomorphism of the $d$-ary rooted tree induced by its action on the ring $\mathbb Z_d$ of $d$-adic integers. The sections of this endomorphism also turn out to be induced by polynomials in $\mathbb Z[x]$ of the same degree. In the case of permutational polynomials acting on $\mathbb Z_d$ by bijections the induced endomorphisms are automorphisms of the tree. In the case of $\mathbb Z_2$ such polynomials were completely characterized by Rivest. As our main application we utilize the result of Rivest to derive the condition on the coefficients of a permutational polynomial $f(x)\in\mathbb Z[x]$ that is necessary and sufficient for $f$ to induce a level transitive automorphism of the binary tree, which is equivalent to the ergodicity of the action of $f(x)$ on $\mathbb Z_2$ with respect to the normalized Haar measure. △ Less

Submitted 17 November, 2017; originally announced November 2017.

Comments: 16 pages, 4 figures

MSC Class: 20E08; 37A25

Affine Automorphisms of Rooted Trees

Authors: Dmytro M. Savchuk, Said N. Sidki

Abstract: We introduce a class of automorphisms of rooted $d$-regular trees arising from affine actions on their boundaries viewed as infinite dimensional vector spaces. This class includes, in particular, many examples of self-similar realizations of lamplighter groups. We show that for a regular binary tree this class coincides with the normalizer of the group of all spherically homogeneous automorphisms… ▽ More We introduce a class of automorphisms of rooted $d$-regular trees arising from affine actions on their boundaries viewed as infinite dimensional vector spaces. This class includes, in particular, many examples of self-similar realizations of lamplighter groups. We show that for a regular binary tree this class coincides with the normalizer of the group of all spherically homogeneous automorphisms of this tree: automorphisms whose states coincide at all vertices of each level. We study in detail a nontrivial example of an automaton group that contains an index two subgroup with elements from this class and show that it is isomorphic to the index 2 extension of the rank 2 lamplighter group $\mathbb Z_2^2\wr\mathbb Z$. △ Less

Submitted 28 October, 2015; originally announced October 2015.

Comments: 21 pages, 2 figures

MSC Class: 20E08; 20F65

Ergodic decomposition of group actions on rooted trees

Authors: Rostislav Grigorchuk, Dmytro Savchuk

Abstract: We prove a general result about the decomposition on ergodic components of group actions on boundaries of spherically homogeneous rooted trees. Namely, we identify the space of ergodic components with the boundary of the orbit tree associated with the action, and show that the canonical system of ergodic invariant probability measures coincides with the system of uniform measures on the boundaries… ▽ More We prove a general result about the decomposition on ergodic components of group actions on boundaries of spherically homogeneous rooted trees. Namely, we identify the space of ergodic components with the boundary of the orbit tree associated with the action, and show that the canonical system of ergodic invariant probability measures coincides with the system of uniform measures on the boundaries of minimal invariant subtrees of the tree. A special attention is given to the case of groups generated by finite automata. Few examples, including the lamplighter group, Sushchansky group, and the, so called, Universal group are considered in order to demonstrate applications of the theorem. △ Less

Submitted 18 February, 2015; v1 submitted 27 December, 2014; originally announced December 2014.

Comments: 24 pages, 9 figures; referee suggestions were taken into account

Orbit automata as a new tool to attack the order problem in automaton groups

Authors: Ines Klimann, Matthieu Picantin, Dmytro Savchuk

Abstract: We introduce a new tool, called the orbit automaton, that describes the action of an automaton group $G$ on the subtrees corresponding to the orbits of $G$ on levels of the tree. The connection between $G$ and the groups generated by the orbit automata is used to find elements of infinite order in certain automaton groups for which other methods failed to work. We introduce a new tool, called the orbit automaton, that describes the action of an automaton group $G$ on the subtrees corresponding to the orbits of $G$ on levels of the tree. The connection between $G$ and the groups generated by the orbit automata is used to find elements of infinite order in certain automaton groups for which other methods failed to work. △ Less

Submitted 2 December, 2014; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 19 pages, 9 figures; example with Bellaterra group added; references updated

MSC Class: 20E08; 20F10; 20K15; 68Q70

A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group

Authors: Ines Klimann, Matthieu Picantin, Dmytro Savchuk

Abstract: The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite B… ▽ More The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite Burnside groups. Here we extend this result to connected 3-state invertible-reversible Mealy automata, using new original techniques. The results provide the first uniform method to construct elements of infinite order in each infinite group in this class. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Comments: 12 pages, 4 figures

An Example of an Automatic Graph of Intermediate Growth

Authors: Alexei Miasnikov, Dmytro Savchuk

Abstract: We give an example of a 4-regular infinite automatic graph of intermediate growth. It is constructed as a Schreier graph of a certain group generated by 3-state automaton. The question was motivated by an open problem on the existence of Cayley automatic groups of intermediate growth. We give an example of a 4-regular infinite automatic graph of intermediate growth. It is constructed as a Schreier graph of a certain group generated by 3-state automaton. The question was motivated by an open problem on the existence of Cayley automatic groups of intermediate growth. △ Less

Submitted 18 February, 2015; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: 16 pages, 6 figures; referee's suggestions were incorporated; to appear in Annals of Pure and Applied Logic

Self-similar groups acting essentially freely on the boundary of the binary rooted tree

Authors: Rostislav Grigorchuk, Dmytro Savchuk

Abstract: We study the class of groups generated by automata that act essentially freely on the boundary of a rooted tree. In the process we establish and discuss some general tools for determining if a group belongs to this class, and explore the connections of this class to the classes of just-infinite and scale-invariant groups. Our main application is a complete classification of groups generated by 3-s… ▽ More We study the class of groups generated by automata that act essentially freely on the boundary of a rooted tree. In the process we establish and discuss some general tools for determining if a group belongs to this class, and explore the connections of this class to the classes of just-infinite and scale-invariant groups. Our main application is a complete classification of groups generated by 3-state automata over 2-letter alphabet that are in this class. △ Less

Submitted 11 August, 2013; v1 submitted 3 December, 2012; originally announced December 2012.

Comments: 41 pages, 3 figures; final version: referee suggestions incorporated; to appear in Contemporary Mathematics

MSC Class: 20F65

Submanifold Projection

Authors: Lucas Sabalka, Dmytro Savchuk

Abstract: One of the most useful tools for studying the geometry of the map** class group has been the subsurface projections of Masur and Minsky. Here we propose an analogue for the study of the geometry of Out(F_n) called submanifold projection. We use the doubled handlebody M_n = #^n S^2 \times S^1 as a geometric model of F_n, and consider essential embedded 2-spheres in M_n, isotopy classes of which c… ▽ More One of the most useful tools for studying the geometry of the map** class group has been the subsurface projections of Masur and Minsky. Here we propose an analogue for the study of the geometry of Out(F_n) called submanifold projection. We use the doubled handlebody M_n = #^n S^2 \times S^1 as a geometric model of F_n, and consider essential embedded 2-spheres in M_n, isotopy classes of which can be identified with free splittings of the free group. We interpret submanifold projection in the context of the sphere complex (also known as the splitting complex). We prove that submanifold projection satisfies a number of desirable properties, including a Behrstock inequality and a Bounded Geodesic Image theorem. Our proof of the latter relies on a method of canonically visualizing one sphere `with respect to' another given sphere, which we call a sphere tree. Sphere trees are related to Hatcher normal form for spheres, and coincide with an interpretation of certain slices of a Guirardel core. △ Less

Submitted 13 November, 2012; originally announced November 2012.

Comments: 30 pages, 12 figures. This is a preliminary version; comments and suggestions are welcome

MSC Class: 20F28

Schreier graphs of actions of Thompson's group F on the unit interval and on the Cantor set

Authors: Dmytro Savchuk

Abstract: Schreier graphs of the actions of Thompson's group $F$ on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set $\{x_0,x_1\}$ are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of $F$ on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular,… ▽ More Schreier graphs of the actions of Thompson's group $F$ on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set $\{x_0,x_1\}$ are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of $F$ on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular, we answer the question of Grigorchuk on the Cantor-Bendixson rank of the underlying space of the Schreier dynamical system in the context of $F$. As applications we prove that the pointed Schreier graphs of points from $(0,1)$ are amenable, have infinitely many ends, and are pairwise non-isomorphic. Moreover, we prove that points $x,y\in(0,1)$ have isomorphic non-pointed Schreier graphs if and only if they belong to the same orbit of $F$. △ Less

Submitted 8 January, 2014; v1 submitted 20 May, 2011; originally announced May 2011.

Comments: 19 pages; 9 figures; final version to appear in Geometriae Dedicata; referee's comments and suggestions were incorporated; references updated

MSC Class: 20F65; 05C25

On Restricting Subsets of Bases in Relatively Free Groups

Authors: Lucas Sabalka, Dmytro Savchuk

Abstract: Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a subset of a basis for G which may be expressed as a word in A without using elements from {a_{l+1},...,a_r}, then S is a subset of a basis for the relatively free g… ▽ More Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a subset of a basis for G which may be expressed as a word in A without using elements from {a_{l+1},...,a_r}, then S is a subset of a basis for the relatively free group on {a_1,...,a_l}. △ Less

Submitted 2 February, 2013; v1 submitted 15 March, 2011; originally announced March 2011.

Comments: 9 pages; the proof of Theorem 4.1.(2) in the previous version contained an error. We prove a weaker statement in a newly added section Section 6

MSC Class: 20E05; 20F18; 20F16

On the geometry of a proposed curve complex analogue for $Out(F_n)$

Authors: Lucas Sabalka, Dmytro Savchuk

Abstract: The group $\Out$ of outer automorphisms of the free group has been an object of active study for many years, yet its geometry is not well understood. Recently, effort has been focused on finding a hyperbolic complex on which $\Out$ acts, in analogy with the curve complex for the map** class group. Here, we focus on one of these proposed analogues: the edge splitting complex $\ESC$, equivalently… ▽ More The group $\Out$ of outer automorphisms of the free group has been an object of active study for many years, yet its geometry is not well understood. Recently, effort has been focused on finding a hyperbolic complex on which $\Out$ acts, in analogy with the curve complex for the map** class group. Here, we focus on one of these proposed analogues: the edge splitting complex $\ESC$, equivalently known as the separating sphere complex. We characterize geodesic paths in its 1-skeleton algebraically, and use our characterization to find lower bounds on distances between points in this graph. Our distance calculations allow us to find quasiflats of arbitrary dimension in $\ESC$. This shows that $\ESC$: is not hyperbolic, has infinite asymptotic dimension, and is such that every asymptotic cone is infinite dimensional. These quasiflats contain an unbounded orbit of a reducible element of $\Out$. As a consequence, there is no coarsely $\Out$-equivariant quasiisometry between $\ESC$ and other proposed curve complex analogues, including the regular free splitting complex $\FSC$, the (nontrivial intersection) free factorization complex $\FFZC$, and the free factor complex $\FFC$, leaving hope that some of these complexes are hyperbolic. △ Less

Submitted 1 March, 2011; v1 submitted 12 July, 2010; originally announced July 2010.

Comments: 23 pages, 6 figures

MSC Class: 20F28; 20E36; 20F65

Automata generating free products of groups of order 2

Authors: Dmytro Savchuk, Yaroslav Vorobets

Abstract: We construct a family of automata with n states, n>3, acting on a rooted binary tree that generate the free products of cyclic groups of order 2. We construct a family of automata with n states, n>3, acting on a rooted binary tree that generate the free products of cyclic groups of order 2. △ Less

Submitted 30 June, 2008; originally announced June 2008.

Comments: 19 pages, 4 figures

MSC Class: 20E05; 20E08

Classification of groups generated by 3-state automata over a 2-letter alphabet

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: This article contains most of the known results on the classification of groups generated by 3-state automata over a 2-letter alphabet, extending the previous papers 0704.3876 and math/0612178. This article contains most of the known results on the classification of groups generated by 3-state automata over a 2-letter alphabet, extending the previous papers 0704.3876 and math/0612178. △ Less

Submitted 25 March, 2008; originally announced March 2008.

Comments: 151 pages, 251 figures. Takes a looooong time to compile. Please, be patient

MSC Class: 20E08

Some graphs related to Thompson's group F

Authors: Dmytro Savchuk

Abstract: The Schreier graphs of Thompson's group F with respect to the stabilizer of 1/2 and generators x_0 and x_1, and of its unitary representation in L_2([0,1]) induced by the standard action on the interval [0,1] are explicitly described. The coamenability of the stabilizers of any finite set of dyadic rational numbers is established. The induced subgraph of the right Cayley graph of the positive mo… ▽ More The Schreier graphs of Thompson's group F with respect to the stabilizer of 1/2 and generators x_0 and x_1, and of its unitary representation in L_2([0,1]) induced by the standard action on the interval [0,1] are explicitly described. The coamenability of the stabilizers of any finite set of dyadic rational numbers is established. The induced subgraph of the right Cayley graph of the positive monoid of F containing all the vertices of the form x_nv, where n>=0 and v is any word over the alphabet {x_0, x_1}, is constructed. It is proved that the latter graph is non-amenable. △ Less

Submitted 15 August, 2008; v1 submitted 1 March, 2008; originally announced March 2008.

Comments: 20 pages, 13 figures

MSC Class: 20F65; 05C25

Groups generated by 3-state automata over a 2-letter alphabet, II

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: Classification of groups generated by 3-state automata over a 2-letter alphabet started in the first paper (see http://www.arxiv.longhoe.net/abs/math/0612178) is continued. Classification of groups generated by 3-state automata over a 2-letter alphabet started in the first paper (see http://www.arxiv.longhoe.net/abs/math/0612178) is continued. △ Less

Submitted 30 April, 2007; originally announced April 2007.

Comments: 26 pages, 31 figures

MSC Class: 20E08

The Spectral Problem, Substitutions and Iterated Monodromy

Authors: Rostislav Grigorchuk, Dmytro Savchuk, Zoran Sunic

Abstract: We provide a self-similar measure for the self-similar group $G$ acting faithfully on the binary rooted tree, defined as the iterated monodromy group of the quadratic polynomial $z^2+i$. We also provide an $L$-presentation for $G$ and calculations related to the spectrum of the Markov operator on the Schreier graph of the action of $G$ on the orbit of a point on the boundary of the binary rooted… ▽ More We provide a self-similar measure for the self-similar group $G$ acting faithfully on the binary rooted tree, defined as the iterated monodromy group of the quadratic polynomial $z^2+i$. We also provide an $L$-presentation for $G$ and calculations related to the spectrum of the Markov operator on the Schreier graph of the action of $G$ on the orbit of a point on the boundary of the binary rooted tree. △ Less

Submitted 15 March, 2007; originally announced March 2007.

Comments: 24 pages, 13 figures

MSC Class: 20E08

On Sushchansky p-groups

Authors: Ievgen Bondarenko, Dmytro Savchuk

Abstract: We study Sushchansky p-groups. We recall the original definition and translate it into the language of automata groups. The original actions of Sushchansky groups on p-ary tree are not level-transitive and we describe their orbit trees. This allows us to simplify the definition and prove that these groups admit faithful level-transitive actions on the same tree. Certain branch structures in thei… ▽ More We study Sushchansky p-groups. We recall the original definition and translate it into the language of automata groups. The original actions of Sushchansky groups on p-ary tree are not level-transitive and we describe their orbit trees. This allows us to simplify the definition and prove that these groups admit faithful level-transitive actions on the same tree. Certain branch structures in their self-similar closures are established. We provide the connection with, so-called, G groups that shows that all Sushchansky groups have intermediate growth and allows to obtain an upper bound on their period growth functions. △ Less

Submitted 2 May, 2007; v1 submitted 7 December, 2006; originally announced December 2006.

Comments: 14 pages, 3 figures

MSC Class: 20F69; 20F10; 20E08

Groups generated by 3-state automata over a 2-letter alphabet, I

Authors: Ievgen Bondarenko, Rostislav Grigorchuk, Rostyslav Kravchenko, Yevgen Muntyan, Volodymyr Nekrashevych, Dmytro Savchuk, Zoran Sunic

Abstract: An approach to a classification of groups generated by 3-state automata over a 2-letter alphabet and the current progress in this direction are presented. Several results related to the whole class are formulated. In particular, all finite, abelian, and free groups are classified. In addition, we provide detailed information and complete proofs for several groups from the class, with the intenti… ▽ More An approach to a classification of groups generated by 3-state automata over a 2-letter alphabet and the current progress in this direction are presented. Several results related to the whole class are formulated. In particular, all finite, abelian, and free groups are classified. In addition, we provide detailed information and complete proofs for several groups from the class, with the intention of showing the main methods and techniques used in the classification. △ Less

Submitted 6 December, 2006; originally announced December 2006.

Comments: 37 pages, 52 figures

MSC Class: 20E08