A random walk on the profinite completion of a finitely generated group

2018 ◽  
Vol 143 ◽  
pp. 7-16
Author(s):  
Manuel Cruz-López ◽  
Samuel Estala-Arias
Keyword(s):  
Random Walk ◽  
Finitely Generated ◽  
Profinite Completion ◽  
Finitely Generated Group

Acylindrical hyperbolicity, non-simplicity and SQ\hbox{-}universality of groups splitting over ℤ

2017 ◽  
Vol 20 (2) ◽  
Author(s):  
Jack O. Button
Keyword(s):  
Finitely Generated ◽  
Finitely Generated Group

AbstractWe show, using acylindrical hyperbolicity, that a finitely generated group splitting over

ALGEBRO-GEOMETRIC INVARIANTS OF GROUPS (THE DIMENSION SEQUENCE OF A REPRESENTATION VARIETY)

2011 ◽  
Vol 21 (04) ◽  
pp. 595-614 ◽  
Author(s):  
S. LIRIANO ◽  
S. MAJEWICZ
Keyword(s):  
Algebraic Group ◽  
Free Group ◽  
Algebraic Variety ◽  
Commutator Subgroup ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Geometric Invariants ◽  
Torus Knot ◽  
Irreducible Components ◽  
Irreducible Variety

If G is a finitely generated group and A is an algebraic group, then RA(G) = Hom (G, A) is an algebraic variety. Define the "dimension sequence" of G over A as Pd(RA(G)) = (Nd(RA(G)), …, N0(RA(G))), where Ni(RA(G)) is the number of irreducible components of RA(G) of dimension i (0 ≤ i ≤ d) and d = Dim (RA(G)). We use this invariant in the study of groups and deduce various results. For instance, we prove the following: Theorem A.Let w be a nontrivial word in the commutator subgroup ofFn = 〈x1, …, xn〉, and letG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety andV-1 = {ρ | ρ ∈ RSL(2, ℂ)(Fn), ρ(w) = -I} ≠ ∅, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). Theorem B.Let w be a nontrivial word in the free group on{x1, …, xn}with even exponent sum on each generator and exponent sum not equal to zero on at least one generator. SupposeG = 〈x1, …, xn; w = 1〉. IfRSL(2, ℂ)(G)is an irreducible variety, thenPd(RSL(2, ℂ)(G)) ≠ Pd(RPSL(2, ℂ)(G)). We also show that if G = 〈x1, . ., xn, y; W = yp〉, where p ≥ 1 and W is a word in Fn = 〈x1, …, xn〉, and A = PSL(2, ℂ), then Dim (RA(G)) = Max {3n, Dim (RA(G′)) +2 } ≤ 3n + 1 for G′ = 〈x1, …, xn; W = 1〉. Another one of our results is that if G is a torus knot group with presentation 〈x, y; xp = yt〉 then Pd(RSL(2, ℂ)(G))≠Pd(RPSL(2, ℂ)(G)).

A finitely generated, infinitely related group with trivial multiplicator

1971 ◽  
Vol 5 (1) ◽  
pp. 131-136 ◽  
Author(s):  
Gilbert Baumslag
Keyword(s):  
Metabelian Group ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Related Group ◽  
Finitely Related

We exhibit a 3-generator metabelian group which is not finitely related but has a trivial multiplicator.1. The purpose of this note is to establish the exitense of a finitely generated group which is not finitely related, but whose multiplecator is finitely generated. This settles negatively a question whichb has been open for a few years (it was first brought to my attention by Michel Kervaire and Joan Landman Dyer in 1964, but I believe it is somewhat older). The group is given in the follwing theorem.

Numerical upper bounds on growth of automaton groups

2021 ◽  
pp. 1-33
Author(s):  
Jérémie Brieussel ◽  
Thibault Godin ◽  
Bijan Mohammadi
Keyword(s):  
Group Theory ◽  
Upper Bounds ◽  
Geometric Invariant ◽  
Finitely Generated ◽  
Grigorchuk Group ◽  
Finitely Generated Group ◽  
Intermediate Growth ◽  
Mealy Automata ◽  
Optimal Bounds ◽  
Algorithmic Procedure

The growth of a finitely generated group is an important geometric invariant which has been studied for decades. It can be either polynomial, for a well-understood class of groups, or exponential, for most groups studied by geometers, or intermediate, that is between polynomial and exponential. Despite recent spectacular progresses, the class of groups with intermediate growth remains largely mysterious. Many examples of such groups are constructed using Mealy automata. The aim of this paper is to give an algorithmic procedure to study the growth of such automaton groups, and more precisely to provide numerical upper bounds on their exponents. Our functions retrieve known optimal bounds on the famous first Grigorchuk group. They also improve known upper bounds on other automaton groups and permitted us to discover several new examples of automaton groups of intermediate growth. All the algorithms described are implemented in GAP, a language dedicated to computational group theory.

On the existence of ergodic automorphisms in ergodic ℤd-actions on compact groups

2009 ◽  
Vol 30 (6) ◽  
pp. 1803-1816 ◽  
Author(s):  
C. R. E. RAJA
Keyword(s):  
London Math ◽  
Abelian Groups ◽  
Chain Condition ◽  
Compact Groups ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Metrizable Group ◽  
Compact Abelian Groups ◽  
Descending Chain Condition

AbstractLet K be a compact metrizable group and Γ be a finitely generated group of commuting automorphisms of K. We show that ergodicity of Γ implies Γ contains ergodic automorphisms if center of the action, Z(Γ)={α∈Aut(K)∣α commutes with elements of Γ} has descending chain condition. To explain that the condition on the center of the action is not restrictive, we discuss certain abelian groups which, in particular, provide new proofs to the theorems of Berend [Ergodic semigroups of epimorphisms. Trans. Amer. Math. Soc.289(1) (1985), 393–407] and Schmidt [Automorphisms of compact abelian groups and affine varieties. Proc. London Math. Soc. (3) 61 (1990), 480–496].

On the profinite topology on solvable groups

2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Khadijeh Alibabaei
Keyword(s):  
Abelian Group ◽  
Wreath Product ◽  
Solvable Group ◽  
Solvable Groups ◽  
Polycyclic Group ◽  
Finitely Generated ◽  
Metabelian Groups ◽  
Finitely Generated Group ◽  
Hnn Extension ◽  
Profinite Topology

AbstractWe show that the wreath product of a finitely generated abelian group with a polycyclic group is a LERF group. This theorem yields as a corollary that finitely generated free metabelian groups are LERF, a result due to Coulbois. We also show that a free solvable group of class 3 and rank at least 2 does not contain a strictly ascending HNN-extension of a finitely generated group. Since such groups are known not to be LERF, this settles, in the negative, a question of J. O. Button.

scholarly journals Periodic groups with many permutable subgroups

1992 ◽  
Vol 53 (1) ◽  
pp. 116-119
Author(s):  
Patrizia Longobardi ◽  
Mercede Maj ◽  
Akbar Rhemtulla ◽  
Howard Smith
Keyword(s):  
Finitely Generated ◽  
Locally Finite ◽  
Finitely Generated Group ◽  
Periodic Groups ◽  
Permutable Subgroups ◽  
Infinite Set

AbstractGroups in which every infinite set of subgroups contains a pair that permute were studied by M. Curzio, J. Lennox, A. Rhemtulla and J. Wiegold. The question whether periodic groups in this class were locally finite was left open. Here we show that if the generators of such a group G are periodic then G is locally finite. This enables us to get the following characterisation. A finitely generated group G is centre-by-finite if and only if every infinite set of subgroups of G contains a pair that permute.

Second Fox Subgroups of Arbitrary Groups

1995 ◽  
Vol 38 (2) ◽  
pp. 177-181 ◽  
Author(s):  
Mario Curzio ◽  
C. Kanta Gupta
Keyword(s):  
Normal Subgroup ◽  
Finitely Generated ◽  
Finitely Generated Group

AbstractWe give a complete description of the second Fox subgroup G ∩ (1 + Δ2(G)Δ(H)) relative to a given normal subgroup H of an arbitrary finitely generated group G.

scholarly journals Operator algebras with hyperarithmetic theory

2020 ◽  
Author(s):  
Isaac Goldbring ◽  
Bradd Hart
Keyword(s):  
Word Problem ◽  
Operator Algebras ◽  
Cuntz Algebra ◽  
Finitely Generated ◽  
C Algebra ◽  
Finitely Generated Group ◽  
C Algebras ◽  
Existentially Closed ◽  
Solvable Word Problem ◽  
Solvable Word

Abstract We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C^*(\varGamma )$ for $\varGamma $ a finitely presented group, $C^*_\lambda (\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C(2^\omega )$ and $C(\mathbb P)$ (where $\mathbb P$ is the pseudoarc). We also show that the Cuntz algebra $\mathcal O_2$ has a hyperarithmetic theory provided that the Kirchberg embedding problems have affirmative answers. Finally, we prove that if there is an existentially closed (e.c.) II$_1$ factor (resp. $\textrm{C}^*$-algebra) that does not have hyperarithmetic theory, then there are continuum many theories of e.c. II$_1$ factors (resp. e.c. $\textrm{C}^*$-algebras).

scholarly journals Random spanning trees of Cayley graphs and an associated compactification of semigroups

1999 ◽  
Vol 42 (3) ◽  
pp. 611-620
Author(s):  
Steven N. Evans
Keyword(s):  
Random Walk ◽  
Cayley Graph ◽  
Spanning Tree ◽  
Spanning Trees ◽  
Cayley Graphs ◽  
Finitely Generated ◽  
Finite Tree ◽  
Generating Set ◽  
Countably Infinite

A sequential construction of a random spanning tree for the Cayley graph of a finitely generated, countably infinite subsemigroup V of a group G is considered. At stage n, the spanning tree T isapproximated by a finite tree Tn rooted at the identity.The approximation Tn+1 is obtained by connecting edges to the points of V that are not already vertices of Tn but can be obtained from vertices of Tn via multiplication by a random walk step taking values in the generating set of V. This construction leads to a compactification of the semigroup V inwhich a sequence of elements of V that is not eventually constant is convergent if the random geodesic through the spanning tree T that joins the identity to the nth element of the sequence converges in distribution as n→∞. The compactification is identified in a number of examples. Also, it is shown that if h(Tn) and #(Tn) denote, respectively, the height and size of the approximating tree Tn, then there are constants 0<ch≤1 and 0≥c# ≤log2 such that limn→∞ n–1 h(Tn)= ch and limn→∞n–1 log# (Tn)= c# almost surely.

Sign in / Sign up

Export Citation Format

Share Document