Home Mathematics Some properties of the growth and of the algebraic entropy of group endomorphisms
Article Publicly Available

Some properties of the growth and of the algebraic entropy of group endomorphisms

  • Anna Giordano Bruno EMAIL logo and Pablo Spiga
Published/Copyright: October 11, 2016

Abstract

We study the growth of group endomorphisms, a generalization of the classical notion of growth of finitely generated groups, which is strictly related to algebraic entropy. We prove that the inner automorphisms of a group have the same growth type and the same algebraic entropy as the identity automorphism. Moreover, we show that endomorphisms of locally finite groups cannot have intermediate growth. We also find an example showing that the Addition Theorem for algebraic entropy does not hold for endomorphisms of arbitrary groups.

1 Introduction

The notion of growth for finitely generated groups was introduced by Milnor in the 1960s and since then it has become a prominent field of current research. In particular, the famous Milnor Problem on group growth (see [11]) had a great impact in this context:

  1. Are there finitely generated groups of intermediate growth (that is, between polynomial and exponential)?

  2. What are the finitely generated groups of polynomial growth?

Part (i) was solved by Grigorchuk (see [8]) by constructing his famous examples of finitely generated groups of intermediate growth. Part (ii) was solved by Gromov in [9] by proving that a finitely generated group G has polynomial growth if and only if G is virtually nilpotent; recall that a group G is virtually nilpotent if it contains a nilpotent subgroup having finite index (equivalently, it admits a normal nilpotent subgroup having finite index). The fact that a virtually nilpotent finitely generated group has polynomial growth was already proved by Wolf in [14]. Moreover, Milnor–Wolf’s Theorem states that a soluble finitely generated group has either polynomial or exponential growth (see [10, 14]).

In [3], the classical notion of growth is extended to arbitrary groups (that is, not necessarily finitely generated), and also in a fairly natural way to group endomorphisms (see Section 2): these generalizations use the language of algebraic entropy. The first definition of algebraic entropy was given for endomorphisms of torsion abelian groups in [1], later studied by Weiss in [13] and more recently in [5]. Then, Peters in [12] extended the notion of algebraic entropy to automorphisms of abelian groups; more recently, in [3, 4] this definition is appropriately modified and extended to arbitrary group endomorphisms (see Section 2).

In Section 2, first we show that the Addition Theorem for algebraic entropy does not hold for endomorphisms of arbitrary groups, even for metabelian groups (see Example 2.7). This provides a counterexample and gives a negative answer to [3, Question 5.2.12 (b)] and also to the more general [3, Problem 5.2.10].

Then, we extend Gromov’s Theorem to arbitrary groups G, by showing that G has polynomial growth precisely when G is locally virtually nilpotent (i.e., every finitely generated subgroup of G is virtually nilpotent) (see Theorem 2.4).

We extend to this setting also Milnor–Wolf’s Theorem, by proving that if a group G is locally virtually soluble (i.e., every finitely generated subgroup of G has a soluble subgroup of finite index), then G has either polynomial or exponential growth.

In Section 3, we show that the inner automorphisms of an arbitrary group G have the same growth type and the same algebraic entropy as the identity automorphism of G (see Theorem 3.2).

In Section 4, we prove that if ϕ:GG is a group endomorphism of zero entropy, then every element of G is contained in a finitely generated ϕ-invariant subgroup of G. When G is locally finite, this means that every element of G belongs to a finite ϕ-invariant subgroup of G, and this answers [3, Problem 5.2.3]; we recall that a group G is locally finite if every finite subset of G generates a finite subgroup (i.e., every finite subset of G is contained in a finite subgroup of G).

Finally, in the spirit of the Milnor Problem, we consider the following problem on the growth of group endomorphisms.

Problem 1.1.

Characterize the groups G admitting no endomorphism of intermediate growth.

A motivation and a first insight to this problem is given by the abelian case; indeed, it is known from [2] that endomorphisms of abelian groups cannot have intermediate growth, that is, every endomorphism of an abelian group has either polynomial or exponential growth. Here we prove that exactly the same result holds for locally finite groups (see Corollary 4.7).

We are inclined to believe that Problem 1.1 has no easy answer, moreover it is conceivable that the class of groups arising from this problem might not have a natural algebraic description. Despite this, we dare to conjecture that locally virtually nilpotent groups admit no endomorphism of intermediate growth. If this were true, this would offer in our opinion a beautiful entropy-analogue to the celebrated theorem of Gromov.[1]

2 Growth and algebraic entropy

2.1 Growth for finitely generated groups

Given two maps γ,γ:{z:z0}, we write γγ if there exist n0,C such that γ(n)γ(Cn) for every nn0. Moreover, we say that γ and γ are equivalent, and write γγ, if γγ and γγ; indeed, is an equivalence relation. Routine computations show that, for every α,β{z:z0}, nαnβ if and only if α=β; moreover, for every a,b{z:z>1} we have anbn.

A map γ: is called:

  1. polynomial if γ(n)nd for some d+,

  2. exponential if γ(n)en,

  3. intermediate if ndγ(n) for every d+, γ(n)en and enγ(n).

Let G be a finitely generated group and let S be a finite set of generators for G. For every gG, denote by S(g) the smallest + with

g=s1ε1s2ε2sε,

where s1,,sS, ε1,,ε{-1,1}. In particular, S(g) is the length of a shortest word representing g in the alphabet SS-1, where S-1={s-1:sS}. By abuse of notation, we let S(eG)=0 where eG is the identity element of G. The growth function of G with respect to S is

γS:,n|BS(n)|,

where BS(n)={gG:S(g)n} is the ball of radius n in the word metric of G. Note that BS(0)={eG} and BS(1)=SS-1{eG}.

Routine computations show that γSγS, for every finite generating set S for G. This observation allows us to say that G has polynomial (respectively, exponential, intermediate) growth if γS is polynomial (respectively, exponential, intermediate), and to notice that this definition does not depend upon S.

We recall that the growth rate of G with respect to S is

λS=limnlogγS(n)n.

It is straightforward to prove that G has exponential growth if and only if λS>0.

2.2 Growth for group endomorphisms

For a group G, denote by (G) the family of all finite non-empty subsets of G. If ϕ:GG is an endomorphism and F(G), the growth function of ϕ with respect to F is

γϕ,F:,n|Tn(ϕ,F)|,

where

Tn(ϕ,F)=Fϕ(F)ϕn-1(F)

is the n-th ϕ-trajectory of F. Here, we define ϕ0(F)=F for every F(G), and, by abuse of notation, we write T0(ϕ,F)={eG}. When eGF, we get Tn(ϕ,F)Tn+1(ϕ,F) and hence {Tn(ϕ,F)}n is an increasing (with respect to inclusion) family of subsets of G.

In general, for every F(G), we have |F|γϕ,F(n)|F|n for every n+, hence the growth of γϕ,F is always at most exponential.

Definition 2.1 (see [2, 3]).

Let G be a group and let ϕ:GG be an endomorphism. Then:

  1. ϕ has polynomial growth if γϕ,F is polynomial for every F(G),

  2. ϕ has exponential growth if there exists F0(G) such that γϕ,F0 is exponential,

  3. ϕ has intermediate growth if γϕ,F is not exponential for every F(G) and there exists F0(G) such that γϕ,F0 is intermediate.

Actually the definition in [3] is slightly different from Definition 2.1; indeed the set (G) here is replaced by the smaller set {F(G):eGF} in [3]. However, it is straightforward to prove that these definitions are equivalent.

Remark 2.2.

The notion of growth for group endomorphisms extends the classical one. For instance, let G be a finitely generated group and let S be a finite set of generators for G. Then, for every n, we have BS(n)=Tn(idG,F) where F=BS(1)=SS-1{eG}; in other words the balls of radius n in the alphabet S are exactly the n-th idG-trajectories of F. Hence, for every n, γS(n)=γidG,F(n), and so the classical definition of growth for G coincides with the definition of growth for the identity automorphism idG:GG.

Now, in view of Definition 2.1 and Remark 2.2, one can extend the concept of growth to any group (not necessarily finitely generated):

Definition 2.3.

A group G has polynomial (respectively, intermediate, exponential) growth if the identity automorphism idG of G has polynomial (respectively, intermediate, exponential) growth.

By applying Gromov’s Theorem one can extend the characterization of groups of polynomial growth:

Theorem 2.4.

A group G has polynomial growth if and only if G is locally virtually nilpotent.

Proof.

Assume that G has polynomial growth and consider H=F with F(G). As G has polynomial growth, so does H. Then H is a finitely generated group of polynomial growth in the classical sense, and hence H is virtually nilpotent by Gromov’s Theorem (see [9]). Assume now that every finitely generated subgroup of G is virtually nilpotent and let F(G). Then H=F has polynomial growth by Wolf’s Theorem, and hence γidG,F is polynomial. Therefore, G has polynomial growth. ∎

Also Milnor–Wolf’s Theorem can be extended to our more general case:

Theorem 2.5.

A locally virtually soluble group G has either polynomial or exponential growth. Moreover, G has polynomial growth if and only if G is locally virtually nilpotent.

Proof.

Assume that G has non-exponential growth and consider H=F with F(G). Then H is a finitely generated virtually soluble group and H has non-exponential growth. Consequently, H has a soluble subgroup K of finite index in H. Then K is finitely generated and has the same growth type of H, hence K has polynomial growth by Milnor–Wolf’s Theorem. Thus, we conclude that H has polynomial growth and so G has polynomial growth as well.

The last assertion follows from Theorem 2.4. ∎

2.3 Algebraic entropy

For G a group, ϕ:GG an endomorphism and F(G), the algebraic entropy of ϕ with respect to F is

H(ϕ,F)=limnlogγϕ,F(n)n.

Observe that this limit exists because the sequence {logγϕ,F(n)}n is subadditive, and hence the Fekete Lemma applies (see [6]). Now, the algebraic entropy of ϕ is

h(ϕ)=supF(G)H(ϕ,F).

It was proved in [3] that H(ϕ,F)>0 if and only if γϕ,F is exponential, and

(2.1)h(ϕ)>0 if and only if ϕ has exponential growth.

Equivalently, h(ϕ)=0 if and only if ϕ has either polynomial or intermediate growth.

Remark 2.6.

Let G be a finitely generated group, let S be a finite set of generators for G and let F=BS(1)=SS-1{eG}. Since γS(n)=γidG,F(n) for every n as noted in Remark 2.2, the classical growth rate λS of G with respect to S coincides with the algebraic entropy H(idG,F) of idG with respect to F.

The main “working” property that one wishes to have for algebraic entropy is the so-called Addition Theorem: namely, for a group G, an endomorphism ϕ:GG and a ϕ-invariant normal subgroup H of G, wishful thinking asks for

h(ϕ)=h(ϕH)+h(ϕ¯),

where ϕ¯:G/HG/H is the endomorphism induced by ϕ on the quotient G/H and ϕH is the restriction of ϕ to the subgroup H. Remarkably, the Addition Theorem holds true when G is abelian (see [4]).

The next example shows that the Addition Theorem does not hold in general, even for metabelian groups.

Example 2.7.

Consider the lamplighter-type group G=() and the identity automorphism idG:GG. An easy computation shows that G has exponential growth, and hence h(idG)>0 by (2.1). Actually, h(idG)= because h((idG)n)=nh(idG) for every n+ (see [4]). On the other hand, () and =G/(()) are abelian groups and hence it is straightforward to prove directly that h(id())=0 and h(id)=0, otherwise apply Theorem 2.4 and (2.1) (or see [4]).

In particular, the Addition Theorem does not hold for G.

This example answers [3, Question 5.2.12(b)], and so also [3, Problem 5.2.10].

3 Growth and algebraic entropy of inner automorphisms

For a group G and gG, we denote by ϕg:GG the inner automorphism of G defined by xg-1xg, for every xG.

Lemma 3.1.

Let G be a group, let g be in G and let F be in F(G). Then

γϕg,F(n)=γidG,Fg-1(n)

for every nN.

Proof.

Let n. If n=0, then the result is obvious. Suppose that n>0. Then

Tn(ϕg,F)=Fϕg(F)ϕg2(F)ϕgn-1(F)
=F(g-1Fg)(g-2Fg2)(g-(n-1)Fgn-1)
=(Fg-1)(Fg-1)(Fg-1)gn-1
=Tn(idG,Fg-1)gn-1.

Therefore,

γϕg,F(n)=|Tn(ϕg,F)|
=|Tn(idG,Fg-1)gn-1|
=|Tn(idG,Fg-1)|
=γidG,Fg-1(n).

For finitely generated groups, in view of Remark 2.2, item (a) of the next theorem relates growth for inner automorphisms to the classical definition of growth.

Theorem 3.2.

Let G be a group and let g be in G. Then:

  1. ϕg has the same growth type of G (i.e., of idG).

  2. h(ϕg)=h(idG).

Proof.

Observe that the mapping FFg-1 defines a permutation of (G). By Lemma 3.1 we have γϕg,F(n)=γidG,Fg-1(n), so part (a) follows immediately from Lemma 3.1.

Moreover, for F(G), we have γϕg,F(n)=γidG,Fg-1(n) for every n, and hence

H(ϕg,F)=limnlogγϕg,F(n)n
=limnlogγidG,Fg-1(n)n
=H(idG,Fg-1).

Therefore,

h(ϕg)=supF(G)H(ϕg,F)
=supF(G)H(idG,Fg-1)
=supF(G)H(idG,F)
=h(idG).

4 Dichotomy theorem for locally finite groups

Let G be a group and let ϕ:GG be an endomorphism. For F(G) and n, we let

Vn(ϕ,F)=ϕi(F):i{0,,n},
V(ϕ,F)=ϕn(F):n=nVn(ϕ,F).

Observe that V(ϕ,F) is the smallest ϕ-invariant subgroup of G containing F. Similarly, if gG and n, we let

Vn(ϕ,g)=Vn(ϕ,{g}),
V(ϕ,g)=V(ϕ,{g}).

Note that V0(ϕ,F)=F and Tn+1(ϕ,F)Vn(ϕ,F) for every n. Moreover, if eGF, then Vn+1(ϕ,F)=Tn+1(ϕ,F).

Lemma 4.1.

Let G be a group and let ϕ:GG be an endomorphism. The subgroup V(ϕ,F) is finitely generated if and only if V(ϕ,F)=Vn(ϕ,F) for some nN.

Proof.

If V(ϕ,F)=Vn(ϕ,F) for some n, then V(ϕ,F) is generated by (n+1)|F| elements and hence it is finitely generated.

Assume that V(ϕ,F) is finitely generated. In particular, V(ϕ,F)=S, for some S(V(ϕ,F)). Observe that, by definition,

V(ϕ,F)=nVn(ϕ,F).

In particular, as S is finite, there exists n0 with SVn0(ϕ,F). Therefore, Vn0(ϕ,F)V(ϕ,F)=SVn0(ϕ,F) and the lemma follows. ∎

Lemma 4.2.

Let G be a group and let ϕ:GG be an endomorphism. If gG and V(ϕ,g) is not finitely generated, then H(ϕ,{eG,g})>0.

Proof.

By Lemma 4.1, Vn(ϕ,g)Vn+1(ϕ,g) for every n. Set F={eG,g}. We claim that γϕ,F(n)=2n for every n. We argue by induction on n. If n=0, then

γϕ,F(0)=|T0(ϕ,F)|=|{eG}|=1;

if n=1, then

γϕ,F(1)=|T1(ϕ,F)|=|F|=2.

Assume that n+ and γϕ,F(n)=2n. Note that

Tn+1(ϕ,F)=Fϕ(F)ϕn(F)
=Tn(ϕ,F)ϕn(F)
=Tn(ϕ,F){eG,ϕn(g)}
=Tn(ϕ,F)Tn(ϕ,F)ϕn(g).

Since Vn(ϕ,g)=Vn-1(ϕ,g),ϕn(g) and Vn-1(ϕ,g)Vn(ϕ,g), we see that ϕn(g)Vn(ϕ,g)Vn-1(ϕ,g). Therefore,

Tn(ϕ,F)Vn-1(ϕ,g)

and

Tn(ϕ,F)ϕn(g)Vn(ϕ,g)Vn-1(ϕ,g).

This shows that Tn(ϕ,F)Tn(ϕ,F)ϕn(g)=, and hence

γϕ,F(n+1)=2γϕ,F(n)=2n+1.

Corollary 4.4 is a direct consequence of Lemma 4.2 in view of the following.

Remark 4.3.

Let G be a group and let ϕ:GG be an endomorphism. The following conditions are equivalent:

  1. V(ϕ,F) is finitely generated for every F(G).

  2. V(ϕ,g) is finitely generated for every gG.

Corollary 4.4.

Let G be a group and let ϕ:GG be an endomorphism. If h(ϕ)=0, then V(ϕ,F) is finitely generated for every FF(G).

The converse implication of Lemma 4.2 does not hold true; indeed it is possible that each V(ϕ,g) is finitely generated while h(ϕ)>0: consider a group G of exponential growth and the identity automorphism; in this case, V(idG,F)=F is finitely generated for every F(G), while h(idG)= by (2.1).

On the other hand, the converse implication of Lemma 4.2 holds true assuming that G is locally finite:

Proposition 4.5.

Let G be a locally finite group, let ϕ:GG be an endomorphism and let F be in F(G). Then the following conditions are equivalent:

  1. H(ϕ,F)=0.

  2. γϕ,F is bounded (in particular, polynomial).

  3. V(ϕ,F) is finite (i.e., finitely generated).

Proof.

(a)  (c) Assume that V(ϕ,F) is infinite. By Remark 4.3, there exists gF such that V(ϕ,g) is infinite, that is, not finitely generated. By Lemma 4.2 we conclude that H(ϕ,F)>0.

(c)  (b) Suppose that V(ϕ,F) is finite. Then γϕ,F(n)|V(ϕ,F)| for every n. In particular, γϕ,F is bounded.

The implication (b)  (a) is clear. ∎

The following result is a consequence of Proposition 4.5 and gives an entirely complete solution to [3, Problem 5.2.3].

Theorem 4.6.

Let G be a locally finite group and let ϕ:GG be an endomorphism. Then the following conditions are equivalent:

  1. ϕ has polynomial growth.

  2. h(ϕ)=0.

  3. V(ϕ,F) is finite for every F(G).

Theorem 4.6 shows that, if ϕ is an endomorphism of a locally finite group G of zero entropy, then G is a direct limit of finite ϕ-invariant subgroups.

As a consequence of Theorem 4.6 and (2.1), we get that locally finite groups satisfy the condition of Problem 1.1 and indeed are in line with our conjecture: locally virtually nilpotent groups admit no endomorphism of intermediate growth.

Corollary 4.7 (Dichotomy Theorem).

Let G be a locally finite group and let ϕ:GG be an endomorphism. Then ϕ has either polynomial or exponential growth.

This solves [3, Problem 5.4.5] for locally finite groups.


Communicated by Andrea Lucchini


Funding statement: The first named author is supported by Programma SIR 2014 by MIUR (project GADYGR, number RBSI14V2LI, cup G22I15000160008).

Acknowledgements

It is a pleasure to thank the referee for the careful reading and his/her comments and suggestions.

References

[1] R. L. Adler, A. G. Konheim and M. H. McAndrew, Topological entropy, Trans. Amer. Math. 114 (1965), 309–319. 10.1090/S0002-9947-1965-0175106-9Search in Google Scholar

[2] D. Dikranjan and A. Giordano Bruno, The Pinsker subgroup of an algebraic flow, J. Pure Appl. Algebra 216 (2012), no. 2, 364–376. 10.1016/j.jpaa.2011.06.018Search in Google Scholar

[3] D. Dikranjan and A. Giordano Bruno, Topological entropy and algebraic entropy for group endomorphisms, Proceedings of the International Conference on Topology and Its Applications (ICTA 2011), Cambridge Scientific Publishers, Cambridge (2012), 133–214. Search in Google Scholar

[4] D. Dikranjan and A. Giordano Bruno, Entropy on abelian groups, Adv. Math. 298 (2016), 612–653. 10.1016/j.aim.2016.04.020Search in Google Scholar

[5] D. Dikranjan, B. Goldsmith, L. Salce and P. Zanardo, Algebraic entropy for abelian groups, Trans. Amer. Math. Soc. 361 (2009), 3401–3434. 10.1090/S0002-9947-09-04843-0Search in Google Scholar

[6] M. Fekete, Über die Verteilung der Wurzeln bei gewisser algebraichen Gleichungen mit ganzzahlingen Koeffizienten, Math. Z. 17 (1923), 228–249. 10.1007/BF01504345Search in Google Scholar

[7] A. Giordano Bruno and P. Spiga, Milnor–Wolf theorem for the growth of endomorphisms of locally virtually soluble groups, in preparation. Search in Google Scholar

[8] R. I. Grigorchuk, On Milnor’s problem of group growth (in Russian), Dokl. Akad. Nauk SSSR 271 (1983), 31–33; translation in Sov. Math. Dokl. 28 (1983), 23–26. Search in Google Scholar

[9] M. Gromov, Groups of polynomial growth and expanding maps, Publ. Math. Inst. Hautes Études Sci. 53 (1981), 53–73. 10.1007/BF02698687Search in Google Scholar

[10] J. Milnor, Growth in finitely generated solvable groups, J. Differential Geom. 2 (1968), 447–449. 10.4310/jdg/1214428659Search in Google Scholar

[11] J. Milnor, Problem 5603, Amer. Math. Monthly 75 (1968), 685–686. 10.1080/00029890.1968.11971045Search in Google Scholar

[12] J. Peters, Entropy on discrete abelian groups, Adv. Math. 33 (1979), 1–13. 10.1016/S0001-8708(79)80007-9Search in Google Scholar

[13] M. D. Weiss, Algebraic and other entropies of group endomorphisms, Math. Systems Theory 8 (1974/75), no. 3, 243–248. 10.1007/BF01762672Search in Google Scholar

[14] J. Wolf, Growth of finitely generated solvable groups and curvature of Riemannian manifolds, J. Differential Geom. 2 (1968), 424–446. 10.4310/jdg/1214428658Search in Google Scholar

Received: 2016-4-28
Revised: 2016-9-13
Published Online: 2016-10-11
Published in Print: 2017-7-1

© 2017 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 5.3.2026 from https://www.degruyterbrill.com/document/doi/10.1515/jgth-2016-0050/html
Scroll to top button