scholarly journals Faithful group actions and Schreier graphs

2018 ◽  
Vol 9 (2) ◽  
pp. 202-207
Author(s):  
M. Fedorova

Each action of a finitely generated group on a set uniquely defines a labelled directed graph called the Schreier graph of the action. Schreier graphs are used mainly as a tool to establish geometrical and dynamical properties of corresponding group actions. In particilar, they are widely used in order to check amenability of different classed of groups. In the present paper Schreier graphs are utilized to construct new examples of faithful actions of free products of groups. Using Schreier graphs of group actions a sufficient condition for a group action to be faithful is presented. This result is applied to finite automaton actions on spaces of words i.e. actions defined by finite automata over finite alphabets. It is shown how to construct new faithful automaton presentations of groups upon given such a presentation. As an example a new countable series of faithful finite automaton presentations of free products of finite groups is constructed. The obtained results can be regarded as another way to construct new faithful actions of  groups  as soon as at least one such an action is provided.

2004 ◽  
Vol 14 (05n06) ◽  
pp. 751-772 ◽  
Author(s):  
LUIS RIBES ◽  
PAVEL ZALESSKII

Let [Formula: see text] be a nonempty class of finite groups closed under taking subgroups, quotients and extensions. We consider groups G endowed with their pro-[Formula: see text] topology, and say that G is 2-subgroup separable if whenever H and K are finitely generated closed subgroups of G, then the subset HK is closed. We prove that if the groups G1 and G2 are 2-subgroup separable, then so is their free product G1*G2. This extends a result to T. Coulbois. The proof uses actions of groups on abstract and profinite trees.


2020 ◽  
Vol 27 (04) ◽  
pp. 651-660
Author(s):  
Wei Zhou ◽  
Goansu Kim

We prove that generalized free products of certain abelian subgroup separable groups are abelian subgroup separable. Applying this, we show that tree products of polycyclic-by-finite groups, amalgamating central subgroups or retracts are abelian subgroup separable.


2007 ◽  
Vol 17 (08) ◽  
pp. 1493-1535 ◽  
Author(s):  
L. MARKUS-EPSTEIN

Stallings showed that every finitely generated subgroup of a free group is canonically represented by a finite minimal immersion of a bouquet of circles. In terms of the theory of automata, this is a minimal finite inverse automaton. This allows for the deep algorithmic theory of finite automata and finite inverse monoids to be used to answer questions about finitely generated subgroups of free groups. In this paper, we attempt to apply the same methods to other classes of groups. A fundamental new problem is that the Stallings folding algorithm must be modified to allow for "sewing" on relations of non-free groups. We look at the class of groups that are amalgams of finite groups. It is known that these groups are locally quasiconvex and thus, all finitely generated subgroups are represented by finite automata. We present an algorithm to compute such a finite automaton and use it to solve various algorithmic problems.


2019 ◽  
Vol 17 (1) ◽  
pp. 1303-1309 ◽  
Author(s):  
Ghulam Abbas ◽  
Usman Ali ◽  
Mobeen Munir ◽  
Syed Ahtsham Ul Haq Bokhary ◽  
Shin Min Kang

Abstract Classical applications of resolving sets and metric dimension can be observed in robot navigation, networking and pharmacy. In the present article, a formula for computing the metric dimension of a simple graph wihtout singleton twins is given. A sufficient condition for the graph to have the exchange property for resolving sets is found. Consequently, every minimal resolving set in the graph forms a basis for a matriod in the context of independence defined by Boutin [Determining sets, resolving set and the exchange property, Graphs Combin., 2009, 25, 789-806]. Also, a new way to define a matroid on finite ground is deduced. It is proved that the matroid is strongly base orderable and hence satisfies the conjecture of White [An unique exchange property for bases, Linear Algebra Appl., 1980, 31, 81-91]. As an application, it is shown that the power graphs of some finite groups can define a matroid. Moreover, we also compute the metric dimension of the power graphs of dihedral groups.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Naomi Andrew

AbstractWe provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore, this paper generalises the work of N. Leder [Serre’s Property FA for automorphism groups of free products, preprint (2018), https://arxiv.org/abs/1810.06287v1]. for finite cyclic groups, as well as resolving the open case of that paper.


2007 ◽  
Vol 310 (1) ◽  
pp. 57-69
Author(s):  
N.S. Romanovskii ◽  
John S. Wilson

Sign in / Sign up

Export Citation Format

Share Document