Entropy on abelian groups ∗

arXiv:1007.0533v2 [] 3 May 2016

Dikran Dikranjan

†

Anna Giordano Bruno

‡§

dikran.dikranjan@uniud.it

anna.giordanobruno@uniud.it

Dipartimento di Matematica e Informatica,

Dipartimento di Matematica e Informatica,

Università di Udine,

Università di Udine,

Via delle Scienze, 206 - 33100 Udine, Italy

Via delle Scienze, 206 - 33100 Udine, Italy

Dedicated to Professor Justin Peters

Abstract
We introduce the algebraic entropy for endomorphisms of arbitrary abelian groups, appropriately
modifying existing notions of entropy. The basic properties of the algebraic entropy are given, as well
as various examples. The main result of this paper is the Addition Theorem showing that the algebraic
entropy is additive in appropriate sense with respect to invariant subgroups. We give several applications
of the Addition Theorem, among them the Uniqueness Theorem for the algebraic entropy in the category
of all abelian groups and their endomorphisms. Furthermore, we point out the delicate connection of
the algebraic entropy with the Mahler measure and Lehmer Problem in Number Theory.

1

Introduction

Inspired by the notion of entropy invented by Clausius in Thermodynamics in the fifties of the nineteenth
century, Shannon introduced entropy in Information Theory by the end of the forties of the last century.
A couple of years later, Kolmogorov in [31] and Sinai in [42] introduced the measure entropy in Ergodic
Theory. By an appropriate modification of their definition, Adler, Konheim and McAndrew in [2]
obtained the topological entropy htop for continuous self-maps of compact topological spaces. Moreover,
they briefly sketched an idea on how to define an algebraic entropy for endomorphisms of discrete abelian
groups. Weiss in [48] developed this idea and studied the algebraic entropy for endomorphisms of torsion
abelian groups. Later on, Peters in [36] modified this notion of algebraic entropy for automorphisms
of arbitrary abelian groups. The interest in algebraic entropy was renewed after the recent article [16],
where the case of endomorphisms of torsion abelian groups is thoroughly studied.
We introduce some notation in order to discuss in detail the above mentioned notions of algebraic
entropy, with the aim to extend Peters’ definition to arbitrary endomorphisms of abelian groups.
Let G be an abelian group and let φ ∈ End(G). For a non-empty subset F of G and n ∈ N+ , the
n-th φ-trajectory of F is
Tn (φ, F ) = F + φ(F ) + . . . + φn−1 (F ),
∗

MSC2010: 20K30; 37A35; 37B40; 11R06. Keywords: discrete dynamical system, algebraic entropy, group endomorphism,
abelian group, addition theorem, Mahler measure, Lehmer problem.
†
The first named author gratefully acknowledges the FY2013 Long-term visitor grant L13710 by the Japan Society for the
Promotion of Science (JSPS).
‡
The second named author is supported by Programma SIR 2014 by MIUR (project GADYGR, number RBSI14V2LI, cup
G22I15000160008).
§
Work partially supported by the Fondazione Cassa di Risparmio di Padova e Rovigo (Progetto di Eccellenza “Algebraic structures and their applications”) and by the “National Group for Algebraic and Geometric Structures, and Their
Applications” (GNSAGA - INdAM).

1

and the φ-trajectory of F is

X

T (φ, F ) =

φn (F ).

n∈N

For a finite subgroup F of G, the limit

H(φ, F ) = lim

n→∞

log |Tn (φ, F )|
n

exists (see Fact 2.4) and it is the algebraic entropy of φ with respect to F . According to [2, 48], the
algebraic entropy ent of φ is defined as
ent(φ) = sup{H(φ, F ) : F finite subgroup of G}.
Clearly, this notion is more suitable for endomorphisms of torsion abelian groups, as ent(φ) = ent(φ ↾t(G)
), where t(G) is the torsion part of G. We refer to [16] as a convenient reference for the algebraic entropy
ent.
Peters introduced a different notion of algebraic entropy for automorphisms φ of abelian groups,
using instead of Tn (φ, F ) = F + φ(F ) + . . . + φn−1 (F ), the “negative part of the trajectory”
Tn− (φ, F ) = F + φ−1 (F ) + . . . + φ−n+1 (F ) = Tn (φ−1 , F ),
and instead of finite subgroups F of G just non-empty finite subsets F of G. Therefore, Peters’ algebraic
entropy may have non-zero values also for torsion-free abelian groups.
Obviously, this definition can be given using Tn (φ, F ) as well, since Tn− (φ, F ) = Tn (φ−1 , F ). The
approach with the “positive” partial trajectories Tn (φ, F ) has the advantage to be applicable to any
endomorphism φ (whereas Tn− (φ, F ) may be infinite when φ is not injective). Hence, we define the
algebraic entropy h for endomorphisms φ of abelian groups G as follows.
For a non-empty finite subset F of G, the limit
log |Tn (φ, F )|
n→∞
n

H(φ, F ) = lim

(1.1)

still exists (see Lemma 2.2(b)), and we call it the algebraic entropy of φ with respect to F . The algebraic
entropy of φ is
h(φ) = sup{H(φ, F ) : F ∈ [G]<ω },
where [G]<ω denotes the family of all non-empty finite subsets of G.
For endomorphisms of torsion abelian groups, h coincides with ent. More precisely, if G is an abelian
group and φ ∈ End(G), then ent(φ) = ent(φ ↾t(G) ) = h(φ ↾t(G) ).
The definition of h can be extended to the non-abelian case. However, here we prefer to keep the
exposition in the abelian setting, due to the differences and the technical difficulties that naturally appear
considering non-abelian groups. The reader interested in the non-abelian case and in the connection
to the growth rate of finitely generated groups may see [11, 13]. For other related algebraic entropy
functions see [5, 6, 15, 21].
The main result of this paper is the following key additivity property of the algebraic entropy, called
Addition Theorem. The torsion case of this theorem is covered by the Addition Theorem for ent proved
in [16].
Theorem 1.1 (Addition Theorem). Let G be an abelian group, φ ∈ End(G), H a φ-invariant subgroup
of G and φ ∈ End(G/H) the endomorphism induced by φ. Then
h(φ) = h(φ ↾H ) + h(φ).
In terms of the following diagram describing the above situation
H
φ↾H


H

/G
φ


/G

2

/ G/H
φ


/ G/H

(1.2)

the equality (1.2) of the Addition Theorem reads: the algebraic entropy of the mid endomorphism is
the sum of the algebraic entropies of the two side ones. We adopt the notation
ATh (G, φ, H)
for an abelian group G, φ ∈ End(G) and a φ-invariant subgroup H of G, to indicate briefly that “the
equality (1.2) holds for the triple (G, φ, H)”.
A relevant part of the proof of the Addition Theorem is based on the so called Algebraic Yuzvinski
Formula (see Theorem 1.2 below), recently proved in [25]. To state the Algebraic Yuzvinski Formula,
we need to recall the notion of Mahler measure, playing an important role in Number Theory and
Arithmetic Geometry (see [20, Chapter 1] and [29]).
For a primitive polynomial f (t) = a0 + a1 t + . . . + ak tk ∈ Z[t], let α1 , . . . , αk ∈ C be the roots of f (t)
taken with their multiplicity. The Mahler measure of f (t) is
X
log |αi |.
m(f (t)) = log |ak | +
|αi |>1

The Mahler measure of a linear transformation φ of a finite dimensional rational vector space Qn ,
n ∈ N+ , is defined as follows. Let g(t) ∈ Q[t] be the characteristic polynomial of φ. Then there
exists a smallest s ∈ N+ such that sg(t) ∈ Z[t] (so sg(t) is primitive). The Mahler measure of φ is
m(φ) = m(sg(t)).
Theorem 1.2 (Algebraic Yuzvinski Formula). For n ∈ N+ and φ ∈ End(Qn ),
h(φ) = m(φ).
The counterpart of this formula for the topological entropy was proved by Yuzvinski in [50] (see
also [33]). A direct proof (independent from the topological case) of the Algebraic Yuzvinski Formula
was recently given in [25], extending results from [46] and using the properties of the Haar measure on
locally compact abelian groups. A weaker form for the case of zero algebraic entropy is proved in [17]
using basic linear algebra.
The Algebraic Yuzvinski Formula gives one of the two “normalization axioms” that entail uniqueness
of h; in fact, Theorem 1.3(e) concerns the values h(φ) = m(φ), where φ ∈ End(Qn ) and n ∈ N+ . The
other one is furnished by the following family of group endomorphisms. For any abelian group K
the (right) Bernoulli shift βK : K (N) → K (N) is defined by (x0 , x1 , x2 , . . .) 7→ (0, x0 , x1 , . . .). Then
h(βK ) = log |K|, with the usual convention that log |K| = ∞ if K is infinite (see Example 2.10). The
value h(βK ), when K runs over all finite abelian groups, is the condition in Theorem 1.3(d).
The Uniqueness Theorem for the algebraic entropy is our second main result, its proof uses the
Addition Theorem and the Algebraic Yuzvinski Formula (see Theorem 1.3 below, where the algebraic
entropy h is considered as a collection h = {hG : G abelian group} of functions hG : End(G) →
R≥0 ∪ {∞} defined by hG (φ) = h(φ) for every φ ∈ End(G)). It extends the Uniqueness Theorem given
in [16] for ent in the class of torsion abelian groups, that was inspired, in turn, by the Uniqueness
Theorem for the topological entropy of Stojanov (see [44]).
If G and H are abelian groups, φ ∈ End(G) and η ∈ End(H), we say that φ and η are conjugated if
there exists an isomorphism ξ : G → H such that η = ξφξ −1 . Sometimes we specify also the isomorphism
ξ by saying that φ and η are conjugated by ξ.
Theorem 1.3 (Uniqueness Theorem). The algebraic entropy h of the endomorphisms of abelian groups
is the unique collection h = {hG : G abelian group} of functions hG : End(G) → R≥0 ∪ {∞} such that:
(a) if φ ∈ End(G) and η ∈ End(H) are conjugated, then hG (φ) = hH (η) (i.e., h is invariant under
conjugation);
(b) if G is an abelian group, φ ∈ End(G) and G is a direct limit of φ-invariant subgroups {Gi : i ∈ I},
then hG (φ) = supi∈I hGi (φ ↾Gi );
(c) AThG (G, φ, H) for every abelian group G, every φ ∈ End(G) and every φ-invariant subgroup H of
G;

3

(d) hK (N) (βK ) = log |K| for any finite abelian group K;
(e) hQn (φ) = m(φ) for every n ∈ N+ and every φ ∈ End(Qn ).
Another application of the Addition Theorem in this paper concerns Lehmer Problem from Number
Theory (see Problem 1.4), posed by Lehmer in 1933, and still open (see [20, 29, 34, 43]). Let
L := inf{m(f (t)) > 0 : f (t) ∈ Z[t] primitive}
(obviously, L = inf{m(f (t)) > 0 : f (t) ∈ Z[t] monic}).
Problem 1.4 (Lehmer Problem). Is L > 0?
Let us see the connection of Lehmer Problem to algebraic entropy. Note first that the finite values
of the algebraic entropy ent belong to the set log N+ := {log n : n ∈ N+ } (see Fact 2.4). Then
inf{ent(φ) > 0 : G abelian group, φ ∈ End(G)} = log 2.

(1.3)

Consider now the infimum of the positive values of the algebraic entropy h:
ε := inf{h(φ) > 0 : G abelian group, φ ∈ End(G)}.
The next theorem shows that the problem of deciding whether ε > 0 is equivalent to Lehmer Problem.
The counterpart of this theorem for the topological entropy is apparently well-known.
Theorem 1.5. The equalities ε = inf{h(φ) > 0 : n ∈ N+ , φ ∈ Aut(Qn )} = L hold.
Finally, we see that a positive solution to Lehmer Problem is equivalent to the realization of the
finite values of the algebraic entropy, in the following sense.
Definition 1.6. Let G be an abelian group and φ ∈ End(G) with h(φ) < ∞. We say that h(φ) realizes
if there exists F ∈ [G]<ω such that h(φ) = H(φ, F ).
Theorem 1.7 (Realization Theorem). The following conditions are equivalent:
(a) L > 0;
(b) h(φ) realizes for every abelian group G and every φ ∈ End(G) with h(φ) < ∞.
An application of the Addition Theorem and the Uniqueness Theorem is the so called Bridge Theorem, given in [10]. In more detail, both Weiss in [48] and Peters in [36] connected the algebraic entropy
to the topological entropy by using Pontryagin duality. For an abelian group G and φ ∈ End(G), we
b the Pontryagin dual of G and by φb : G
b→G
b the dual endomorphism of φ (see [28, 38]). It
denote by G
b
is known that G is compact, and it is also metrizable when G is countable.
Theorem 1.8 (Bridge Theorem). Let G be an abelian group and φ ∈ End(G).
b
(a) [48] If G is torsion, then ent(φ) = htop (φ).

b
(b) [36] If G is countable and φ is an automorphism, then h(φ) = htop (φ).

b remains true for arbitrary abelian groups
It was proved in [10] that the conclusion h(φ) = htop (φ)
and their endomorphisms φ. Two proofs of this result are given in [10], one is based on the Addition
Theorem, the Algebraic Yuzvinski Formula and their counterparts for the topological entropy, the second
uses the Uniqueness Theorem.
For another extension of Theorem 1.8(a) to the case of (totally disconnected) locally compact abelian
groups, see [14]. We do not discuss here this extension as well as similar results from [37, 47], since
this paper is limited to the discrete case; various definitions of algebraic entropy in the general case of
locally compact abelian groups can be found in [37, 46, 47].
Let us mention, finally, another application of the Addition Theorem given in [8], connecting the
algebraic entropy with the growth rate of abelian groups with respect to endomorphisms. For further
details on this and other applications of the Addition Theorem and the Algebraic Yuzvinski Formula
refer to [11, 13, 19, 26] (see also the survey [19]).

4

The paper is organized as follows.
Section 2 contains first of all the proof of the existence of the limit in (1.1) defining the algebraic
entropy h. Then, the basic properties of h are listed and verified (see Lemma 2.7 and Proposition 2.8);
they are counterpart of the properties of ent proved in [16, 48], as well as of the known properties of
the topological entropy. Moreover, basic examples are given, among them the Bernoulli shift.
In Section 3 we consider various properties of the algebraic entropy of endomorphisms φ of torsionfree abelian groups G. We underline the preservation of the algebraic entropy under the extension of
an endomorphism φ of G to the divisible hull of G (see Proposition 3.7). As examples, the algebraic
entropy of the endomorphisms of Z and Q is computed (see Examples 3.1 and 3.11).
The aim of Section 4 is to reduce the computation of the algebraic entropy to the case of appropriately
small groups. We see in a first reduction that this means endomorphisms of countable abelian groups
(see Lemma 4.6). Moreover, we consider the structure of Z[t]-module induced on an abelian group G
by the action of its endomorphism φ, and we denote by Gφ the group G considered as a Z[t]-module
under the action of φ. One can compute the algebraic entropy of φ as the supremum of the algebraic
entropies of the restrictions of φ to the finitely generated Z[t]-submodules of Gφ (see Lemma 4.4). In
particular, Proposition 4.7 reduces the proof of the Addition Theorem to the case when Gφ is a finitely
generated Z[t]-module and G has finite rank.
Section 5 is dedicated to the Addition Theorem. Its proof is exposed in several steps, which are
partial reductions gradually restricting the class of groups. We start by showing ATh (G, φ, t(G)) (see
Proposition 5.4). This allows us to focus on the case of torsion-free abelian groups. Using the properties
established in the previous sections, we reduce to endomorphisms of finite-rank divisible torsion-free
abelian groups, i.e., to endomorphisms φ : Qn → Qn for some n ∈ N+ . The next step (see Proposition 5.8) is to see that φ can be supposed injective (hence, also surjective). The ultimate case of
automorphisms of Qn can be managed through the Algebraic Yuzvinski Formula (see Theorem 5.9).
In Section 6 we prove the Uniqueness Theorem. We give a direct proof of this result, but we show
also how it can be deduced from a theorem by Vámos on length functions (see Definition 6.1 below, and
[35, 45]). The approach based on length functions is powerful and clarifies the role of the five axioms
in the statement of the Uniqueness Theorem. Indeed, the first three axioms witness the fact that the
algebraic entropy is a length function of the category ModZ[t] of all Z[t]-modules, while the fourth and
the fifth are used as normalizations. More precisely, a length function of ModZ[t] is determined by
its values on the cyclic modules of the form Z[t]/p, where p is a prime ideal of Z[t]. The “Bernoulli
normalization axiom” gives the value of the algebraic entropy in the first case, while the “Yuzvinski
axiom” in the second case. A different relation between algebraic entropy and length functions can be
found in [40].
In the final Section 7 we consider the relation of the algebraic entropy to the Mahler measure and
Lehmer Problem. We give the proof of Theorem 1.5, making use of the Addition Theorem. Moreover,
we end the section and the paper by proving the Realization Theorem.
The deduction of the Addition Theorem from the Algebraic Yuzvinski Formula was obtained already
in [7]. But at that time no direct proof of the Algebraic Yuzvinski Formula was available. On the other
hand, its validity for automorphisms of finite dimensional rational vector spaces could be deduced from
its counterpart for the topological entropy and Theorem 1.8(b). As it was underlined in [7], “the value
of the Addition Theorem would be much higher if a purely algebraic proof of the Algebraic Yuzvinski
Formula would be available”. Indeed, we apply the Algebraic Yuzvinski Formula in the proof of the
Addition Theorem and from these two results we deduce the Uniqueness Theorem and the Realization
Theorem. As mentioned above, another important application is given in [10], where Theorem 1.8(a) is
extended to a general Bridge Theorem for all the endomorphisms of arbitrary abelian groups, obtaining
in this way also a completely new proof of Theorem 1.8(b) (the original proof makes a heavy use of
convolutions). Finally, using the Bridge Theorem and the Uniqueness Theorem for the algebraic entropy,
one can obtain also a Uniqueness Theorem for the topological entropy of the endomorphisms of compact
abelian groups (see [10, Corollary 3.3]).

5

Notation and terminology
We denote by Z, N, N+ , Q and R respectively the set of integers, the set of natural numbers, the set of
positive integers, the set of rationals and the set of reals. Let R≥0 = {r ∈ R : r ≥ 0}. For m ∈ N+ , we
use Z(m) for the finite cyclic group of order m.
Let G be an abelian group. With a slight divergence with the standard use, we denote by [G]<ω the
set of all non-empty finite subsets of G. If H is a subgroup of G, we indicate this by H ≤ G. For a
subset X of G we denote by hXi the subgroup of G generated by X. The free rank of G is denoted by
r(G). The subgroup of torsion elements of G L
is t(G), while D(G) denotes the divisible hull of G. For a
cardinal α we denote by G(α) the direct sum α G of α many copies of G.
Moreover, End(G) is the ring of all endomorphisms of G. We denote by 0G and idG respectively the
endomorphism of G which is identically 0 and the identity endomorphism of G. If G is torsion-free and
φ ∈ End(G), we denote by φe : D(G) → D(G) the unique extension of φ to D(G).
If G is an abelian group, φ ∈ End(G) and H is a φ-invariant subgroup of G, we denote by φH ∈
End(G/H) the endomorphism induced by φ on the quotient G/H. When there is no possibility of
confusion, we write simply φ.
If R is a ring, M is an R-module and r ∈ R, we denote by µr : M → M the group endomorphism of
M defined by µr (x) = rx for every x ∈ M . To avoid confusion, we write also µM
r , when more precision
is necessary.

2

Basic properties of entropy

Let G be an abelian group and φ ∈ End(G). For F ∈ [G]<ω , the φ-trajectory T (φ, F ) need not be a
subgroup of G, so let
V (φ, F ) = hφn (F ) : n ∈ Ni = hT (φ, F )i .
This is the smallest φ-invariant subgroup of G containing F . For g ∈ G, we write simply V (φ, g) in
place of V (φ, {g}). So, for F ∈ [G]<ω , one has
X
V (φ, F ) =
V (φ, g).
g∈F

Definition 2.1. Let G be an abelian group and φ ∈ End(G). We say that G is finitely φ-generated by
F ∈ [G]<ω if G = V (φ, F ).
As a start, we prove that the limit in (1.1) defining the algebraic entropy exists.
Lemma 2.2. Let G be an abelian group, φ ∈ End(G) and F ∈ [G]<ω . For every n ∈ N+ let cn =
log |Tn (φ, F )|.
(a) The sequence {cn }n∈N+ is subadditive, i.e., cn+m ≤ cn + cm for every n, m ∈ N+ .
(b) The limit H(φ, F ) = limn→∞

cn
n

exists and H(φ, F ) = inf n∈N+

cn
n .

Proof. (a) By definition
Tn+m (φ, F ) = F + φ(F ) + . . . + φn−1 (F ) + φn (F ) + . . . + φn+m−1 (F )
= Tn (φ, F ) + φn (Tm (φ, F )).
Consequently,
cn+m = log |Tn+m (φ, F )| ≤ log(|Tn (φ, F )| · |Tm (φ, F )|) = cn + cm .
(b) By item (a) the sequence {cn }n∈N+ is subadditive. Then the sequence { cnn : n ∈ N+ } has limit
and limn→∞ cnn = inf n∈N+ cnn by a folklore fact from Calculus, due to Fekete (see [22]).
Remark 2.3. Let G be an abelian group and φ ∈ End(G).
(a) The function H(φ, −) is non-decreasing, that is, H(φ, F ) ≤ H(φ, F ′ ) for every F, F ′ ∈ [G]<ω with
F ⊆ F ′.

6

(b) By item (a), if F is a cofinal subfamily of [G]<ω with respect to inclusion, then h(φ) = sup{H(φ, F ) :
F ∈ F }. In particular, it is possible to calculate h(φ) supposing without loss of generality that
0 ∈ F , that is,
h(φ) = sup{H(φ, F ) : F ∈ [G]<ω , 0 ∈ F }.
The definition of H(φ, F ) in (1.1) shows that the algebraic entropy H(φ, F ) of φ with respect to
F ∈ [G]<ω measures the growth rate of the partial trajectories Tn (φ, F ) when they approximate the
trajectory T (φ, F ). Our next comment concerns the case when T (φ, F ) = V (φ, F ) is a subgroup.
This occurs for example when F is a finite subgroup of G. In such a case, it was proved in [16] that
H(φ, F ) = log m, where m > 0 is a divisor of |F |. The number m can be found, without any computation
of limits, as follows.
Fact 2.4. Let G be an abelian group, φ ∈ End(G) and F is finite subgroup of G. First, we note that
N = T (φ, F ) is a torsion subgroup of G. Moreover, with φ1 = φ ↾N , one has H(φ, F ) = H(φ1 , F ), i.e.,
the computation of H(φ, F ) can be carried out in the torsion φ-invariant subgroup N of G. The equality
N = F + φ(N ) shows that N/φ(N ) is a quotient of the finite subgroup F , so |N/φ(N )| is a divisor of
|F |. It was proved in [9] that H(φ, F ) = log |N/φ(N )|, provided φ is injective. This formula was stated
without a proof and without asking φ to be injective by Yuzvinski in [49]. A first proof was provided
in [19], where it was pointed out that the formula is wrong if φ is not injective (e.g., when φ = 0G and
|F | > 1). Finally, in [9, Lemma 4.1] ker φ ∩ N was proved to be finite and the following more precise
equality was obtained in the general case:
H(φ, F ) = log

T (φ, F )
− log | ker φ ∩ T (φ, F )|.
φ(T (φ, F ))

We consider now the two most natural examples.
Example 2.5. If G is an abelian group, then h(0G ) = h(idG ) = 0.
The equality h(0G ) = 0 is obvious. To show that also h(idG ) = 0, let F = {f1 , . . . , ft } be a
finite subset of G. As Tn (idG , F ) = F + . . . + F for all n ∈ N+ , every x ∈ Tn (idG , F ) can be written
{z
}
|
n
Pt
Pt
t
as x =
i=1 mi fi , for some mi ∈ N with
i=1 mi = n. Clearly, (m1 , . . . , mt ) ∈ {0, 1, . . . , n} , so
t
|Tn (idG , F )| ≤ (n + 1) . Hence, H(idG , F ) = 0, and consequently h(idG ) = 0 by the arbitrariness of
F ∈ [G]<ω .
For G an abelian group and φ ∈ End(G), the hyperkernel of φ is
[
ker φn .
ker∞ φ =
n∈N+

The subgroup ker∞ φ is φ-invariant and also invariant for inverse images. Hence, the induced endomorphism φ : G/ ker∞ φ → G/ ker∞ φ is injective.
Proposition 2.6. Let G be an abelian group and φ ∈ End(G). Then h(φ ↾ker∞ φ ) = 0.
Proof. Let F ∈ [G]<ω with F ⊆ ker∞ φ and assume without loss of generality that 0 ∈ F (see Remark
2.3(b)). There exists m ∈ N+ such that φm (F ) = 0. Consequently, Tn (φ, F ) = Tm (φ, F ) for every n ∈ N
with n ≥ m. Hence, H(φ, F ) = 0, and we conclude that h(φ ↾ker∞ φ ) = 0 by the arbitrariness of F .
In the next lemma we show that h is monotone under taking restrictions to invariant subgroups and
under taking induced endomorphisms on quotients over invariant subgroups.
Lemma 2.7. Let G be an abelian group, φ ∈ End(G) and H a φ-invariant subgroup of G. Then
h(φ) ≥ max{h(φ ↾H ), h(φ)}.
Proof. For every F ∈ [H]<ω , obviously H(φ ↾H , F ) = H(φ, F ), so H(φ ↾H , F ) ≤ h(φ). Hence, h(φ ↾H
) ≤ h(φ).
Now assume that F ∈ [G/H]<ω and F = π(F0 ) for some F0 ∈ [G]<ω , where π : G → G/H is the
canonical projection. Then π(Tn (φ, F0 )) = Tn (φ, F ) for every n ∈ N+ . Therefore, h(φ) ≥ H(φ, F0 ) ≥
H(φ, F ) and by the arbitrariness of F this proves h(φ) ≥ h(φ).

7

The next proposition collects the basic properties of h, which are also typical properties of the known
entropy functions. Indeed, they are inspired by similar properties of the algebraic entropy ent (see [48]
and [16]) and the topological entropy (see [2] and [44]). In the case of h they were proved in [36]
for automorphisms, here we extend them for endomorphisms. We shall refer to them as, respectively,
Invariance under conjugation, Logarithmic Law, Continuity for direct limits and weak Addition Theorem.
Proposition 2.8. Let G be an abelian group and φ ∈ End(G).
(a) If H is another abelian group, η ∈ End(H) and φ and η are conjugated, then H(φ, F ) = H(η, ξ(F ))
for every F ∈ [G]<ω ; in particular, h(φ) = h(η).
(b) For every k ∈ N+ , h(φk ) = kh(φ). If φ is an automorphism, then h(φk ) = |k|h(φ) for every k ∈ Z.
(c) If G is a direct limit of φ-invariant subgroups {Gi : i ∈ I}, then h(φ) = supi∈I h(φ ↾Gi ).
(d) If G = G1 × G2 , φ = φ1 × φ2 with φi ∈ End(Gi ) and Fi ∈ [Gi ]<ω , i = 1, 2, then H(φ, F1 × F2 ) =
H(φ1 , F1 ) + H(φ2 , F2 ); consequently, h(φ1 × φ2 ) = h(φ1 ) + h(φ2 )
Proof. (a) For F ∈ [G]<ω and n ∈ N+ , Tn (η, ξ(F )) = ξ(F )+ξ(φ(F ))+. . .+ξ(φn−1 (F )), as ξφk = φk ξ for
k = 1, 2, . . . , n − 1. Since ξ is an isomorphism, |Tn (φ, F )| = |Tn (η, ξ(F ))|, and so H(φ, F ) = H(η, ξ(F )).
This proves that h(φ) = h(η).
(b) Fix k ∈ N+ . First, we prove the inequality h(φk ) ≤ kh(φ). Let F ∈ [G]<ω , assuming without
loss of generality that 0 ∈ F (see Remark 2.3(b)). Let n ∈ N+ , then Tn (φk , F ) ⊆ Tkn−k+1 (φ, F ) and so
log |Tn (φk , F )|
log |Tkn−k+1 (φ, F )|
≤ lim
n→∞
n→∞
n
n
kn − k + 1
log |Tkn−k+1 (φ, F )|
· lim
= lim
n→∞
n→∞
kn − k + 1
n
log |Tkn−n+1 (φ, F )|
= k lim
= kH(φ, F ) ≤ kh(φ).
n→∞
kn − k + 1

H(φk , F ) = lim

Therefore, h(φk ) ≤ kh(φ).
To check the inequality h(φk ) ≥ kh(φ), let F ∈ [G]<ω and n ∈ N+ . With F1 = Tk (φ, F ) one has
Tn (φk , F1 ) = Tkn (φ, F ). Then
1
log |Tn (φk , F1 )|
log |Tkn (φ, F )|
1
h(φk ) ≥ H(φk , F1 ) = lim
= lim
= H(φ, F ).
n→∞
n→∞
k
k
kn
kn
Therefore, h(φk ) ≥ kh(φ).
Now assume that φ is an automorphism. It suffices to prove that h(φ−1 ) = h(φ). Let F ∈ [G]<ω
and n ∈ N+ . Then Tn (φ−1 , F ) = φ−n+1 (Tn (φ, F )); in particular, |Tn (φ−1 , F )| = |Tn (φ, F )|, as φ is an
automorphism. This yields H(φ−1 , F ) = H(φ, F ), hence h(φ−1 ) = h(φ).
(c) By Lemma 2.7, h(φ) ≥ h(φ ↾Gi ) for every i ∈ I and so h(φ) ≥ supi∈I h(φ ↾Gi ). To check the
converse inequality, let F ∈ [G]<ω . Since G = lim{Gi : i ∈ I} and {Gi : i ∈ I} is a directed family,
−→
there exists j ∈ I such that F ⊆ Gj . Then H(φ, F ) = H(φ ↾Gj , F ) ≤ h(φ ↾Gj ). This proves that
h(φ) ≤ supi∈I h(φ ↾Gi ).
(d) For every n ∈ N+ ,
Tn (φ, F1 × F2 ) = Tn (φ1 , F1 ) × Tn (φ2 , F2 )
Hence,
H(φ, F1 × F2 ) = H(φ1 , F1 ) + H(φ2 , F2 ).

(2.1)

<ω

Consequently, h(φ) ≥ h(φ1 )+h(φ2 ). Since every F ∈ [G] is contained in some F1 ×F2 , for Fi ∈ [Gi ]<ω ,
i = 1, 2, and so H(φ, F ) ≤ H(φ, F1 × F2 ). Therefore, (2.1) proves also that h(φ) ≤ h(φ1 ) + h(φ2 ).
The following easy remark can be deduced directly either from item (a) or from item (b) of Proposition 2.8: if G is an abelian group and φ ∈ End(G), then
h(−φ) = h(φ).
The next is a direct consequence of Proposition 2.8(b).

8

(2.2)

Corollary 2.9. Let G be an abelian group and φ ∈ End(G). Then:
(a) h(φ) = 0 if and only if h(φk ) = 0 for some k ∈ N+ ;
(b) h(φ) = ∞ if and only if h(φk ) = ∞ for some k ∈ N+ .
The next somewhat technical consequence of Proposition 2.8(a) is frequently applied in the following
sections. Let G be an abelian group, φ ∈ End(G) and H, K two φ-invariant subgroups of G. Consider
φH ∈ End(G/H) and let π : G → G/H be the canonical projection. The subgroup π(K) of G/H
is φH -invariant, and π(K) = K + H/H ∼
= K/H ∩ K. Let φ ↾K ∈ End(K/H ∩ K) be the induced
endomorphism, then φH ↾π(K) is conjugated to φ ↾K , so Proposition 2.8(a) gives the equality
h(φH ↾π(K) ) = h(φ ↾K ).

(2.3)

In the following example we compute the algebraic entropy of the Bernoulli shift.
Example 2.10. For any abelian group K,
h(βK ) = log |K|,
with the usual convention that log |K| = ∞, if |K| is infinite.
It is proved in [16] that h(βK ) = ent(βK ) = log |K| for every finite abelian group K. We verify now
that h(βZ ) = ∞. Indeed, let G = Z(N) ; for every prime p, the subgroup pG of G is βZ -invariant, so βZ
induces an endomorphism βZ : G/pG → G/pG. Since G/pG ∼
= Z(p)(N) , and βZ is conjugated to βZ(p)
through this isomorphism, h(βZ ) = h(βZ(p) ) = log p by Proposition 2.8(a). Therefore, h(βZ ) ≥ log p for
every prime p by Lemma 2.7, and so h(βZ ) = ∞.
Assume that K is an infinite abelian group. If K is non-torsion, then K contains a subgroup
C∼
= Z, so K (N) contains the βK -invariant subgroup C (N) isomorphic to Z(N) . Moreover, βK ↾C (N) = βC
is conjugated to βZ . Hence, by Lemma 2.7, Proposition 2.8(a) and the previous part of this example,
h(βK ) ≥ h(βC ) = h(βZ ) = ∞. If K is torsion, then K contains arbitrarily large finite subgroups H.
Consequently, K (N) contains the βK -invariant subgroup H (N) . By Lemma 2.7 and the first part of this
example, h(βK ) ≥ h(βH ) = log |H| for every H. So h(βK ) = ∞.
In [3], extending the notion of Bernoulli shift, for every self-map λ : X → X of a non-empty set
X, the generalized shift σλ of an arbitrary Cartesian power K X of an abelian group K was introduced
by letting σλ ((xi )i∈X ) = (xλ(i) )i∈X for every (xi )i∈X ∈ K X . In case λ is finitely many-to-one, the
subgroup K (X) is σλ -invariant, so one can consider also the generalized shift σλ : K (X) → K (X) . In [3]
and [24], h(σλ ) was computed on direct sums and on direct products, respectively.
Remark 2.11. There is a remarkable connection between entropy and recurrence in the spirit of
Poincaré recurrence theorem. We do not pursue this topic in the present paper, here we only recall
some recent results from [8].
Let G be an abelian group and φ ∈ End(G). An element x ∈ G is quasi-periodic if there exist n > m
in N such that φn (x) = φm (x); φ is locally quasi-periodic if every x ∈ G is a quasi-periodic point of φ.
Moreover, φ is quasi-periodic if there exist n > m in N such that φn (x) = φm (x) for every x ∈ G. If G
is finitely φ-generated and φ is locally quasi-periodic, then φ is quasi-periodic. The set Q(G, φ) of all
quasi-periodic points of φ in G is a φ-invariant subgroup of G containing ker∞ φ.
It follows from Proposition 2.8(b) that either h(φ) = 0 or h(φ) = ∞ whenever φ is quasi-periodic,
but one can prove more. According to [8], there exists a greatest φ-invariant subgroup P = P (G, φ) of
G such that h(φ ↾P ) = 0. Moreover, P (G/P, φ̄) = 0 and P contains Q(G, φ) (so h(φ) = 0 in case φ is
locally quasi-periodic). On the other hand, φ ∈ End(G) is called algebraically ergodic if Q(G, φ) = 0.
Then φ is algebraically ergodic if and only if P is trivial. Therefore, φ ∈ End(G/P ) is algebraically
ergodic and h(φ) = h(φ) (see [8]).

3

Entropy on torsion-free abelian groups

Here we dedicate more attention to the torsion-free abelian groups. We start by computing the algebraic
entropy of the endomorphisms of Z, for the counterpart for Q see Example 3.11.

9

Example 3.1. (a) For every non-zero k ∈ Z, µk ∈ End(Z) has h(µk ) = log |k|. As h(µk ) = h(µ−k )
by (2.2), we may assume without loss of generality that k ∈ N+ .
For k = 1 the conclusion follows from Example 2.5. Assume that k > 1 and let F0 = {0, 1, . . . , k −
1} ∈ [Z]<ω and n ∈ N+ . Every m ∈ N with m < k n can be uniquely written in the form
m = f0 + f1 k + . . . + fn−1 k n−1 with all fi ∈ F0 . Then Tn (µk , F0 ) = {m ∈ N : m < k n }, and
so |Tn (µk , F0 )| = k n . Consequently H(µk , F0 ) = log k and this yields h(µk ) ≥ log k. To prove
the converse inequality h(µk ) ≤ log k, fix m ∈ N+ and let Fm = {0, ±1, ±2, . . . , ±m} ∈ [Z]<ω
and n ∈ N+ . Then |x| ≤ mk n for every x ∈ Tn (µk , Fm ). So |Tn (µk , Fm )| ≤ 3mk n , hence
H(µk , Fm ) ≤ log k. Since each F ∈ [Z]<ω is contained in Fm for some m ∈ N+ , we obtain
h(µk ) ≤ log k.
(b) For n, k ∈ N+ and µk : Zn → Zn , h(µk ) = n log k. This follows from Proposition 2.8(d) and item
(a).
Item (a) of the above example shows a difference with the torsion case. In fact, for an abelian group
G and φ ∈ End(G), φ is integral if there exists f (t) ∈ Z[t] \ {0} such that f (φ) = 0. According to
[16, Lemma 2.2], if G is torsion and φ is integral, then ent(φ) = 0. On the other hand, for k > 1 the
endomorphism µk : Z → Z in (a) of the above example is integral over Z (as µk (x) − kx = 0 for all
x ∈ Z), nevertheless, h(µk ) = log k > 0.
Example 3.2. Fix k ∈ Z and consider the automorphism φ : Z2 → Z2 defined by φ(x, y) = (x + ky, y)
for all (x, y) ∈ Z2 . Then h(φ) = 0.
Let m ∈ N+ and Fm = {0, ±1, ±2, . . . , ±m} × {0, ±1, ±2, . . . , ±m} ∈ [Z2 ]<ω . Every F ∈ [Z2 ]<ω is
contained in Fm for some m ∈ N. Therefore, it suffices to show that H(φ, Fm ) = 0. One can prove
by induction that, for every n ∈ N+ , Tn (φ, Fm ) is contained in a parallelogram with sides 2nm and
nm(2 + nk − k), so |Tn (φ, Fm )| ≤ 2n2 m2 (2 + nk − k). Thus H(φ, Fm ) = 0 for every m ∈ N and so
h(φ) = 0.
Next we give some properties of the algebraic entropy for endomorphisms φ of (finitely φ-generated)
abelian groups.
Lemma 3.3. Let G be an abelian group and φ ∈ End(G). If V (φ, g) has infinite rank for some g ∈ G,
then V (φ, g) is torsion-free and h(φ ↾V (φ,g) ) = h(φ) = h(φ) = ∞, where φ ∈ End(G/t(G)) is the induced
endomorphism.
Proof. Let H := V (φ, g). To prove that H is torsion-free consider the canonical projection π : H →
H/t(H),
where
H/t(H) = π(V (φ, g)) = V (φ, π(g)) is torsion-free and D
has infinite
D m
E
E rank. Hence,
Lm−1 k
φ (π(g)) ∩Tm (φ, hπ(g)i) = 0 for every m ∈ N+ , so Tm (φ, hπ(g)i) = k=0 φ (π(g)) and π(V (φ, g)) =
D k
E
L
∼
φ
(π(g))
= Z(N) . Suppose that x ∈ H is torsion, then π(x) is torsion as well, so π(x) = 0
k∈N
Pm
Pm
i
i
as H/t(H) is torsion-free. If x =
i=0 ki φ (g), then π(x) =
i=0 ki φ (π(g)) = 0. This entails
k0 = . . . = km = 0, so x = 0. Hence, t(H) = 0, and so H is torsion-free.
Since φ ↾H is conjugated to βZ , by Proposition 2.8(a) and Example 2.10 we conclude that h(φ ↾H
) = h(βZ ) = ∞. Therefore, h(φ) = ∞ and h(φ) = ∞ by Lemma 2.7.
The following are consequences of Lemma 3.3.
Corollary 3.4. Let G be a torsion-free abelian group and φ ∈ End(G).
(a) If G is finitely φ-generated, then G has finite rank if and only if h(φ) < ∞.
(b) If h(φ ↾V (φ,g) ) = ∞ for some g ∈ G, then h(φ ↾V (φ,z) ) = ∞ for every z ∈ V (φ, g) \ {0}.
e < ∞, and so h(φ) ≤ h(φ)
e <∞
Proof. (a) If r(G) = n is finite, then D(G) ∼
= Qn . Theorem 1.2 gives h(φ)
by Lemma 2.7.
Now assume that h(φ) < ∞. Since G is finitely φ-generated, then G is a sum of φ-invariant subgroups
of the form V (φ, gi ) for finitely many gi ∈ G. Lemma 3.3 implies that all r(V (φ, gi )) are finite, hence
r(G) is finite as well.
(b) By item (a), h(φ ↾V (φ,g) ) = ∞ implies r(V (φ, g)) infinite. For z ∈ V (φ, g) \ {0}, it is easy to see
that r(V (φ, z)) is infinite as well, and so h(φ ↾V (φ,z) ) = ∞ by Lemma 3.3.

10

By Corollary 3.4(a), if G is a torsion-free abelian group, φ ∈ End(G) and g ∈ G, then
h(φ ↾V (φ,g) ) = ∞ if and only if r(V (φ, g)) is infinite.
Moreover, in view of Corollary 3.4(b), if h(φ ↾V (φ,g) ) = ∞, then for every φ-invariant subgroup H of
V (φ, g) one has the following striking dichotomy:
either H = 0 or h(φ ↾H ) = ∞.
The next is a consequence of Lemma 3.3 and Corollary 3.4 that completes Lemma 3.3 from the point
of view of the Addition Theorem.
Lemma 3.5. Let G be an abelian group and φ ∈ End(G) such that V (φ, g) has infinite rank for some
g ∈ G. Then h(φ) = ∞ and ATh (G, φ, H) for every subgroup H of G.
Proof. As V (φ, g) has infinite rank, h(φ) = ∞ and V (φ, g) is torsion-free by Lemma 3.3. Let H be a
subgroup of G and suppose that V (φ, g) ∩ H 6= 0. As V (φ, g) is torsion-free, we can apply Corollary
3.4(b) to φ ↾V (φ,g) to deduce that h(φ ↾V (φ,g)∩H ) = ∞. By Lemma 2.7, h(φ ↾H ) = ∞ as well. Then
h(φ) = h(φ ↾H ) = ∞ and in particular ATh (G, φ, H).
Assume now that V (φ, g)∩H = 0. Let π : G → G/H be the canonical projection. Therefore, V (φ, g)
projects injectively in the quotient G/H and so π(V (φ, g)) = V (φ, π(g)) has infinite rank. So h(φ) = ∞
by Lemma 3.3. Hence, h(φ) = h(φ) = ∞ by Lemma 2.7 and in particular ATh (G, φ, H).
A subgroup H of an abelian group G is essential if and only if for every x ∈ G \ {0} there exists
k ∈ Z such that kx ∈ H \ {0}. In case G is torsion-free, H is an essential subgroup of G if and only if
G/H is torsion.
Corollary 3.6. Let G be a torsion-free abelian group, φ ∈ End(G) and let H be an essential φ-invariant
subgroup of G. If h(φ) < ∞, then h(φ) = 0.
Proof. Since G/H is torsion, it suffices to see that h(φ ↾(G/H)[p] ) = 0 for every prime p, by [16, Proposition 1.18]. To this end we have to show that every x ∈ (G/H)[p] has finite trajectory under φ. By
Lemma 3.3, V (φ, x) has finite rank, say n ∈ N. Then there exist ki ∈ Z, i = 0, . . . , n, such that
P
n
i
i=0 ki φ (x) = 0. Since G is torsion-free, we can assume without loss of generality that at least one of
P
i
these coefficient is not divisible by p. Now, projecting in G/H, we conclude that ni=0 ki φ (x) = 0 is a
non-trivial linear combination in (G/H)[p]. Hence, x ∈ (G/H)[p] has finite trajectory under φ.
The next result reduces the computation of the algebraic entropy for endomorphisms of torsion-free
abelian groups to the case of endomorphisms of divisible torsion-free abelian groups. Item (b) was
announced without proof by Yuzvinski in [50].
Proposition 3.7. Let G be a torsion-free abelian group and φ ∈ End(G). Then:
e mF ) = H(φ,
e F );
(a) if F ∈ [D(G)]<ω and m ∈ N+ satisfy mF ⊆ G, then H(φ, mF ) = H(φ,
e
(b) h(φ) = h(φ).

e Hence, Proposition 2.8(a) yields H(φ, mF ) =
Proof. (a) The automorphism µm of D(G) commutes with φ.
e
e
H(φ, mF ) = H(φ, F ).
e by Lemma 2.7. By the arbitrariness of F in item (a), we have also
(b) Obviously, h(φ) ≤ h(φ)
e
h(φ) ≥ h(φ).
Proposition 3.7 may fail if the abelian group G is not torsion-free. Indeed, for G = Z(2)(N) and
βZ(2) ∈ End(G) one has h(βZ(2) ) = ent(βZ(2) ) = log 2. On the other hand, for D(G) = Z(2∞ )(N) the
endomorphism βZ(2∞ ) extends βZ(2) and has h(βZ(2∞ ) ) = ent(βZ(2∞ ) ) = ∞ (see Example 2.10).

The properties from the next lemma, frequently used in the sequel, are well known and easy to prove.
Recall that a subgroup H of an abelian group G is pure in G if H ∩ mG = mH for every m ∈ Z. The
purification H∗ of H in G is the smallest pure subgroup of G containing H.
Lemma 3.8. Let G be an abelian group and H a subgroup of G.

11

(a) If H is divisible, then H is pure.
(b) If G is divisible, then H is divisible if and only if H is pure.
(c) If G is torsion-free, then H is pure if and only if G/H is torsion-free.
Now we see that in the torsion-free case it suffices to compute the algebraic entropy in an essential
invariant subgroup. As a by-product, this proves ATh (G, φ, H) for a torsion-free abelian group G,
φ ∈ End(G) and an essential φ-invariant subgroup H of G.
Corollary 3.9. Let G be a torsion-free abelian group, φ ∈ End(G) and H a φ-invariant subgroup of G.
(a) The purification H∗ of H in G is φ-invariant and h(φ ↾H ) = h(φ ↾H∗ ).
(b) If H is essential in G, then h(φ) = h(φ ↾H ). Consequently, ATh (G, φ, H).
Proof. Even if (b) follows from (a) with H∗ = G, we shall prove first (b). Consider the common divisible
hull D of H and G. Then φe : D → D is the (unique) common extension of φ and φ ↾H . Proposition 3.7
e = h(φ ↾H ). For the second assertion note that
applies to the pairs D, G and D, H, giving h(φ) = h(φ)
this equality implies ATh (G, φ, H) in case h(φ) = ∞. If h(φ) < ∞, then h(φ) = 0 by Corollary 3.6 and
so ATh (G, φ, H) follows again.
Now we can deduce (a) from (b). The verification of the first assertion is immediate (see for example
[41, Lemma 3.3(a)]). The second assertion follows from (b) applied to H∗ , φ ↾H∗ ∈ End(H∗ ) and the
φ-invariant subgroup H of H∗ .
The final part of item (b) of this corollary can be stated equivalently as ATh (G, φ, H) whenever G
is torsion-free and G/H is torsion.
The next corollary is another consequence of Proposition 3.7 and Corollary 3.9. It shows that the
verification of the Addition Theorem for torsion-free abelian groups and their pure subgroups can be
reduced to the case of divisible ones.
Corollary 3.10. Let G be a torsion-free abelian group, φ ∈ End(G) and H a pure φ-invariant subgroup
of G. Considering D(H) as a subgroup of D(G), one has
e h(φ ↾H ) = h(φe ↾D(H) ) and h(φ) = h(φ),
e
h(φ) = h(φ),

where φ ∈ End(G/H) and φe ∈ End(D(G)/D(H)). In particular,

e D(H)).
ATh (G, φ, H) ⇔ ATh (D(G), φ,

(3.1)

e and h(φ ↾H ) = h(φe ↾D(H) ).
h(φ) = h(φ)

(3.2)

Proof. Since the purification H∗ of H in D(G) is divisible in view of Lemma 3.8(b), H∗ = D(H) and
H = D(H) ∩ G, by the purity of H in G. By Proposition 3.7,

Let π : D(G) → D(G)/D(H) be the canonical projection. Then π(G) is essential in D(G)/D(H) and
e = h(φe ↾π(G) ) by Corollary 3.9(b). Since G/H ∼
h(φ)
= π(G), and φ is conjugated to φe ↾π(G) by this
e The conclusion follows
isomorphism, h(φ) = h(φe ↾π(G) ) by Proposition 2.8(a). Hence, h(φ) = h(φ).
from this equality and (3.2).

The validity of the right-hand-side of (3.1), i.e., ATh (D, ψ, K), for a finite-rank divisible torsion-free
abelian group D, ψ ∈ End(D) and a pure ψ-invariant subgroup K of D, is established in Theorem 5.9
below.
We conclude the section computing the algebraic entropy of the endomorphisms of Q.

Example 3.11. (a) Let φ ∈ End(Q). Then there exists r ∈ Q such that φ = µr . If r = 0, ±1, then
h(φ) = 0 by Example 2.5 and (2.2). By (2.2) we can assume that r > 0, and applying Proposition
2.8(b) we may assume also that r > 1. Let r = ab , where (a, b) = 1. We prove that h(φ) = log a.

12

To prove that h(φ) ≥ log a, take F0 = {0, 1, . . . , a − 1} and let n ∈ N+ . It is easy to check
n−1
that all sums f0 + f1 ab + . . . + fn−1 abn−1 , with fi ∈ F0 , are pairwise distinct. This shows that
|Tn (φ, F0 )| = an , and so H(φ, F0 ) = log a, witnessing h(φ) ≥ log a.
To prove the inequality h(φ) ≤ log a, note that the subgroup H of Q formed by all fractions
having as denominators powers of b (i.e., the subring of Q generated by 1b ) is essential and φinvariant.
Hence, h(φ) = h(φ ↾H ) by Corollary 3.9(b). Now for any m ∈ N+ consider Fm =
 r
± bm : 0 ≤ r ≤ mbm . So Fm = b1mh ∩ [−m, m],i where the interval [−m, m] is taken in H. Let
us observe that φk (Fm ) ⊆

1
bm+k

k

k

∩ −m abk , m abk , consequently
Tn (φ, Fm ) ⊆ M
. . + M}
| + .{z
n

where M =

1
bm+n−1

i
h
n−1
n−1
n−1
∩ −m abn−1 , m abn−1 . Therefore, |Tn (φ, Fm )| ≤ 2nbm+n−1 m abn−1 . Hence,
log |Tn (φ, Fm )| ≤ log 2n + m log b + (n − 1) log a.

Thus H(φ, Fm ) ≤ log a. Since each F ∈ [H]<ω is contained in Fm for some m ∈ N+ , this proves
that h(φ) = h(φ ↾H ) ≤ log a.
(b) For n ∈ N+ and r = ab ∈ Q with a > b > 0, consider µr : Qn → Qn . Applying Proposition 2.8(d)
and item (a) we conclude that h(µr ) = n log a.
(c) Let G be a torsion-free abelian group and consider µk : G → G for some k ∈ N with k > 1. Then
(
r(G) log k if r(G) is finite,
h(µk ) =
∞
if r(G) is infinite.
According to Proposition 3.7, we can assume without loss of generality that G is divisible. Let
Q(α)
α = r(G). Then G ∼
: Q(α) → Q(α) . If α ∈ N, then
= Q(α) , with µk conjugated to µk
(α)

h(µk ) = h(µQ
) = α log k, by item (b) and Proposition 2.8(a). If α is infinite, by Lemma 2.7 and
k
in view of the finite case, h(µk ) > n log k for every n ∈ N. Hence, h(µk ) = ∞.
In item (a) of the above example we have computed explicitly the algebraic entropy of µr : Q → Q,
with r = ab > 1 and (a, b) = 1. One can also apply the Algebraic Yuzvinski Formula; indeed, the unique
eigenvalue of µr is ab > 1, and so the Algebraic Yuzvinski Formula 1.2 gives h(µr ) = log a. This formula
b
was proved by Abramov in [1] for the topological entropy of the automorphisms of Q.

4

Entropy of finitely generated flows

Consider the category AbGrp of all abelian groups and their homomorphisms. One can introduce the
category FlowAbGrp of flows of AbGrp with objects the pairs (G, φ) with G ∈ AbGrp and φ ∈ End(G)
(named algebraic flows in [12]). A morphism u : (G, φ) → (H, ψ) in FlowAbGrp between two algebraic
flows (G, φ) and (H, ψ) is given by a homomorphism u : G → H such that the diagram
φ

G −−−−→


uy

G

u
y

(4.1)

H −−−−→ H
ψ

in AbGrp commutes. Two algebraic flows (G, φ) and (H, ψ) are isomorphic in FlowAbGrp precisely
when the homomorphism u : G → H in (4.1) is an isomorphism in AbGrp.
If G is an abelian group and φ ∈ End(G), then G admits a structure of Z[t]-module with multiplication determined by tx = φ(x) for every x ∈ G; we denote by Gφ the abelian group G seen as a
Z[t]-module under the action of φ. One has an isomorphism of categories
FlowAbGrp ∼
= ModZ[t] ,

13

(4.2)

given by the functor F : FlowAbGrp → ModZ[t] , associating to an algebraic flow (G, φ) the Z[t]module Gφ (see [12, Theorem 3.2]). In particular, for a morphism u : (G, φ) → (H, ψ) in FlowAbGrp ,
F (u) = u : Gφ → Hψ is a homomorphism of Z[t]-modules. In the opposite direction consider the functor
F ′ : ModZ[t] → FlowAbGrp , which associates to M ∈ ModZ[t] the algebraic flow (M, µt ), where we
denote still by M the underling abelian group of the module M . If u : M → N is a homomorphism in
ModZ[t] , then F ′ (u) = u : (M, µt ) → (N, µt ) is a morphism in FlowAbGrp .
Remark 4.1. By the isomorphism (4.2), every function f : FlowAbGrp → R≥0 ∪ {∞} defined on
endomorphisms of abelian groups can be viewed as a function f : ModZ[t] → R≥0 ∪ {∞} by letting
f (M ) = f (M, µt ) = f (µt ).
In particular, this holds for the algebraic entropy, so we can consider
h : ModZ[t] → R≥0 ∪ {∞},
letting h(Gφ ) = h(φ) for every Gφ ∈ ModZ[t] .
Definition 4.2 (see Definition 2.1). Let (G, φ) be an algebraic flow. We say that (G, φ) is a finitely
generated flow if Gφ is a finitely generated Z[t]-module (i.e., G is finitely φ-generated).
Clearly, the supporting group of a finitely generated flow is countable.
Our aim is to reduce the computation of algebraic entropy to the case of finitely generated flows.
We start from basic properties.
Lemma 4.3. Let G be an abelian group, φ ∈ End(G) and assume that G is finitely φ-generated.
(a) If H is a φ-invariant subgroup of G, then H is finitely φ ↾H -generated and G/H is finitely φgenerated.
(b) There exists m ∈ N+ such that m · t(G) = 0; so there exists a torsion-free subgroup K of G such
that G ∼
= K × t(G).
Proof. (a) The first assertion follows from the fact that the ring Z[t] is Noetherian, the second one is
obvious.
(b) By (a) t(G) is finitely generated as a Z[t]-module, that is, t(G) = V (φ, F ′ ) for some F ′ ∈ [t(G)]<ω .
Since F ′ is finite, there exists m ∈ N+ such that mF ′ = 0. Then m · t(G) = 0. The second assertion
follows from a theorem of Kulikov (see [23, Section 27.5]).
For an abelian group G and φ ∈ End(G), let
F(G, φ) := {V (φ, F ) : F ∈ [G]<ω }
be the family of all finitely φ-generated subgroups of G. All these subgroups are clearly φ-invariant.
Lemma 4.4. Let G be an abelian group and φ ∈ End(G). Then G = lim F(G, φ), and so
−→
h(φ) = sup{h(φ ↾N ) : N ∈ F(G, φ)}.

(4.3)

Proof. The family F(G, φ) is a direct system, as N1 + N2 ∈ F(G, φ) for N1 , N2 ∈ F(G, φ). That
h(φ) = sup{h(φ ↾N ) : N ∈ F(G, φ)} follows from Proposition 2.8(c).
Since h is defined “locally”, Lemma 4.4 permits to reduce the computation of the algebraic entropy
to finitely generated flows.
We see now that for every algebraic flow (G, φ) there exists a countable φ-invariant subgroup S of
G such that h(φ) = h(φ ↾S ).
Definition 4.5. Let G be an abelian group and φ ∈ End(G). An entropy support of (G, φ) is a countable
φ-invariant subgroup S of G such that h(φ ↾S ) = h(φ).
Clearly, every countable φ-invariant subgroup of G containing an entropy support of (G, φ) has the
same property. This means that such a subgroup is not uniquely determined. The family S(G, φ) of all
entropy supports of (G, φ) is always non-empty:

14

Lemma 4.6. Let G be an abelian group and φ ∈ End(G). Then there exists an entropy support of
(G, φ).
<ω
Proof.
such that h(φ) = supn∈N H(φ, Fn ). Then
P By (4.3), there exists a subfamily {Fn }n∈N ⊆ [G]
S = n∈N V (φ, Fn ) is a countable φ-invariant subgroup of G such that

h(φ) = sup H(φ, Fn ) = sup H(φ ↾S , Fn ) = h(φ ↾S ).
n∈N

n∈N

Hence, S ∈ S(G, φ).
The next proposition reduces the proof of the Addition Theorem to the case of finitely φ-generated
abelian groups of finite rank.
Proposition 4.7. Let G be an abelian group, φ ∈ End(G) and H a φ-invariant subgroup of G. Denote
by π : G → G/H the canonical projection. Then:
(a) F(H, φ ↾H ) = {L ∩ H : L ∈ F(G, φ)} and F(G/H, φ) = {π(L) : L ∈ F(G, φ)};
(b) there exists a chain {Ln }n∈N in F(G, φ) such that
h(φ) = lim h(φ ↾Ln ), h(φ ↾H ) = lim h(φ ↾Ln ∩H ) and h(φ) = lim h(φ ↾π(Ln ) );
n→∞

n→∞

n→∞

(4.4)

(c) if ATh (N, φ, N ∩ H) for all N ∈ F(G, φ), then ATh (G, φ, H);
(d) if ATh (N, φ, N ∩ H) for all N ∈ F(G, φ) of finite rank, then ATh (G, φ, H).
Proof. (a) The first equality follows from Lemma 4.3(a) and the second is clear.
(b) By Lemma 4.6, there exist S ∈ S(G, φ), S1 ∈ S(H, φ ↾H ) and S2 ∈ S(G/H, φ). We can
assume without loss of generality that S ⊇ S1 and π(S) ⊇ S2 . Then π(S) ∈ S(G/H, φ). Moreover,
K := ker π ↾S = S ∩ H ⊇ S1 , K ∈ S(H, φ ↾H ), and K is a φ-invariant subgroup of S such that
S/K ∼
= π(S). Let φ ↾S ∈ End(S/K), which is conjugated to φ ↾π(S) . By hypothesis and by Proposition
2.8(a),
(4.5)
h(φ) = h(φ ↾S ), h(φ ↾H ) = h(φ ↾K ) and h(φ) = h(φ ↾π(S) ) = h(φ ↾S ).
Let S = {gn : n ∈ N}, and for every n ∈ N let Fn = {g0 , . . . , gn }. Then S is increasing union of the
subsets Fn and consequently of the subgroups Ln = V (φ, Fn ), n ∈ N. For every F ∈ [S]<ω there exists
n ∈ N such that F ⊆ Fn , hence V (φ, F ) ⊆ Ln and this shows that the countable chain {Ln }n∈N is cofinal
in F(S, φ). Since Ln ∩ K = Ln ∩ H for every n ∈ N, it follows from (a) that {Ln ∩ H}n∈N is a countable
cofinal chain in F(K, φ ↾K ); moreover, {π(Ln )}n∈N is a countable cofinal chain in F(π(S), φ ↾π(S) ).
By the cofinality of {Ln }n∈N in F(S, φ), and by Lemma 4.4, one has h(φ ↾S ) = supn∈N h(φ ↾Ln ).
Since {h(φ ↾Ln ) : n ∈ N} is a non-decreasing sequence, this supremum becomes a limit h(φ ↾S ) =
limn→∞ h(φ ↾Ln ). Analogously, h(φ ↾K ) = limn→∞ h(φ ↾Ln ∩K ) and h(φ ↾π(S) ) = limn→∞ h(φ ↾π(Ln) ).
Now the required equalities follow from (4.5).
(c) According to the hypothesis, for every N ∈ F(G, φ),
h(φ ↾N ) = h(φ ↾N ∩H ) + h(φ ↾N ),
where φ ↾N ∈ End(N/(N ∩ H)) is the induced endomorphism. In view of (2.3),
h(φ ↾N ) = h(φ ↾N/(N ∩H) ).

(4.6)

By item (b), there exists a chain {Ln }n∈N in F(G, φ) with (4.4). Moreover, (4.6) (applied to N = Ln )
entails
h(φ) = lim h(φ ↾π(Ln) ) = lim h(φ ↾Ln ).
n→∞

n→∞

As Ln ∈ F(G, φ), one has
h(φ) = lim h(φ ↾Ln ) = lim h(φ ↾Ln∩H ) + lim h(φ ↾Ln ) = h(φ ↾H ) + h(φ),
n→∞

n→∞

n→∞

that is, ATh (G, φ, H).
(d) If r(V (φ, g)) is infinite for some g ∈ G, then ATh (G, φ, H)) by Lemma 3.5. Hence, we can assume
that r(V (φ, g)) is finite for all g ∈ G. Then r(N ) is finite for all N ∈ F(G, φ). Hence, our hypothesis
entails ATh (N, φ, N ∩ H)) for all N ∈ F(G, φ). Now (c) yields ATh (G, φ, H).

15

5

The Addition Theorem

The aim of this section is to give a complete proof of the Addition Theorem.

5.1

Skew products

Let K and H be abelian groups, and let φ1 ∈ End(K) and φ2 ∈ End(H). The direct product π =
φ1 × φ2 : K × H → K × H is defined by π(x, y) = (φ1 (x), φ2 (y)) for every pair (x, y) ∈ K × H. For a
homomorphism s : K → H, the skew product of φ1 and φ2 via s is φ ∈ End(K × H) defined by
φ(x, y) = (φ1 (x), φ2 (y) + s(x)) for every (x, y) ∈ K × H.
We say that the homomorphism s is associated to the skew product φ.
When s = 0 one obtains the usual direct product endomorphism φ = π = φ1 × φ2 .
Identifying H with the φ-invariant subgroup 0 × H of K × H, the endomorphism induced by φ on
K∼
= (K ×H)/H is precisely φ1 . Let us see that the skew products arise precisely in such a circumstance.
Remark 5.1. If G is an abelian group and φ ∈ End(G), suppose to have a φ-invariant subgroup H of
G that splits as a direct summand, that is G = K × H for some subgroup K of G. Let us see that φ is
a skew product. Indeed, let ι : G/H → K be the natural isomorphism and let φ ∈ End(G/H). Denote
by φ1 : K → K the endomorphism φ1 = ιφι−1 of K, and let φ2 = φ ↾H . It follows from the definition
of φ1 that for every x ∈ K there exists an element sφ (x) ∈ H such that φ(x, 0) − (φ1 (x), 0) = (0, sφ (x)).
The map sφ : K → H is a homomorphism with φ(x, 0) = (φ1 (x), sφ (x)) for every x ∈ K. Hence,
φ(x, y) = (φ1 (x), φ2 (y) + sφ (x)) for every (x, y) ∈ G = K × H. Therefore, φ is the skew product of φ1
and φ2 via sφ .
As the next example shows, a natural instance to this effect are the fully invariant subgroups.
Example 5.2. If G is a abelian group and φ ∈ End(G), then t(G) is fully invariant, so necessarily
φ-invariant. According to Remark 5.1, φ is a skew product when t(G) splits in G, that is, G = K × t(G)
where K is a torsion-free subgroup of G.
In the sequel, for a skew product φ : G = K × H → K × H, we denote by φ1 : K → K the
endomorphism of K conjugated to φ, and we let φ2 = φ ↾H . We refer to πφ = φ1 × φ2 as the direct
product associated to the skew product φ. We can extend to G = K × H the homomorphism sφ : K → H
associated to the skew product, defining it to be 0 on H. This allows us to consider sφ ∈ End(G × H)
and to speak of the composition s2φ = 0, as well as φ = πφ + sφ in the ring End(G). In other words,
the difference sφ = φ − πφ measures how much the skew product φ fails to coincide with its associated
direct product πφ .
Proposition 5.3. Let G be an abelian group and φ ∈ End(G). Assume that G = K × T for some
subgroups K and T of G, with T torsion and φ-invariant, and suppose that φ is a skew product such
that sφ (K) is finite. Then:
(a) for every n ∈ N+ we have Tn (πφ , F1 × F2 ) = Tn (φ, F1 × F2 ) for every F1 ∈ [K]<ω and F2 ∈ [T ]<ω
with F2 a subgroup of T containing sφ (K);
(b) h(φ) = h(πφ ), consequently ATh (G, φ, T ).
Proof. (a) We have πφn (F1 × F2 ) = φn1 (F1 ) × φn2 (F2 ) and so Tn (πφ , F1 × F2 ) = Tn (φ1 , F1 ) × Tn (φ2 , F2 )
for every n ∈ N+ .
One can prove by induction that, for every x ∈ K and every n ∈ N+ ,
φn (x, 0) = (φn1 (x), φ2n−1 (sφ (x)) + φ2n−2 (sφ (φ1 (x))) + . . . + φ2 (sφ (φ1n−2 (x))) + sφ (φ1n−1 (x))).
Since sφ (K) ⊆ F2 , we conclude that
φn (x, 0) ∈ (φn1 (x), 0) + (0 × (φ2n−1 (F2 ) + φ2n−2 (F2 ) + . . . + φ2 (F2 ) + F2 )) = (φn1 (x), 0) + (0 × Tn (φ2 , F2 ));
as 0 × Tn (φ2 , F2 ) = Tn (φ, 0 × F2 ) is a subgroup of G, we deduce that
φn (x, 0) ∈ (φn1 (x), 0) + (0 × Tn (φ2 , F2 )) and (φn1 (x), 0) ∈ φn (x, 0) + Tn (φ, 0 × F2 ).

16

(5.1)

Fix m ∈ N and an m-tuple a0 , a1 , . . . , am−1 ∈ F1 . Applying the first and the second part of (5.1) to an
for n = 0, 1, . . . , m − 1, we get respectively
m−1
X

φn (an , 0) ∈

n=0

and

m−1
X

(φn1 (an ), 0) ∈

n=0

m−1
X

(φn1 (an ), 0) + (0 × Tm (φ2 , F2 )) ⊆ Tm (φ1 , F1 ) × Tm (φ2 , F2 )

(5.2)

φn (an , 0) + Tm (φ, 0 × F2 ) ⊆ Tm (φ, F1 × 0) + Tm (φ, 0 × F2 ).

(5.3)

n=0

m−1
X
n=0

In other words, (5.2) and (5.3) yield
Tm (φ, F1 × 0) ⊆ Tm (φ1 , F1 ) × Tm (φ2 , F2 ) and Tm (φ1 , F1 ) × 0 ⊆ Tm (φ, F1 × 0) + Tm (φ, 0 × F2 ). (5.4)
As 0 × Tm (φ2 , F2 ) = Tm (φ, 0 × F2 ) is a subgroup of G, the two parts of (5.4) give respectively
Tm (φ, F1 × F2 ) = Tm (φ, F1 × 0) + Tm (φ, 0 × F2 ) ⊆ Tm (φ1 , F1 ) × Tm (φ2 , F2 ) = Tm (πφ , F1 × F2 )
and
Tm (πφ , F1 × F2 ) = Tm (φ1 , F1 ) × Tm (φ2 , F2 ) ⊆ Tm (φ, F1 × 0) + Tm (φ, 0 × F2 ) = Tm (φ, F1 × F2 ).
These two inclusions prove the required equality Tn (πφ , F1 × F2 ) = Tn (φ, F1 × F2 ).
(b) Let F ∈ [G]<ω . Then F ⊆ F1 × F2 , for some F1 ∈ [K]<ω and F2 ∈ [T ]<ω . By Remark 2.3(b),
we can assume without loss of generality that (0, 0) ∈ F1 × F2 and that F2 is a subgroup of T with
F2 ⊇ sφ (K). The conclusion follows from item (a) and Remark 2.3(b).
To prove the second assertion of (b), consider φ ∈ End(G/T ). By Proposition 2.8(d), h(πφ ) =
h(φ1 ) + h(φ2 ). Moreover, by definition, φ2 = φ ↾T and φ1 is conjugated to φ, so h(φ) = h(φ1 ) by
Proposition 2.8(a).
Now we show that the Addition Theorem holds with respect to the torsion subgroup.
Proposition 5.4. Let G be an abelian group and φ ∈ End(G). Then ATh (G, φ, t(G)).
Proof. By Proposition 4.7(d), we can assume that r(G) is finite and G is finitely φ-generated. By
Lemma 4.3(b) there exists m ∈ N+ such that m · t(G) = 0 and there exists a torsion-free subgroup
K of G such that G ∼
= K × t(G). Since t(G) is a φ-invariant subgroup of G that splits, by Remark
5.1 this gives rise to a skew product, that is, there exists a homomorphism sφ : K → t(G) such
that φ(x, y) = (φ1 (x), φ2 (y) + sφ (x)) for every (x, y) ∈ G; moreover, φ1 ∈ End(K) is conjugated to
φ ∈ End(G/t(G)) by the isomorphism K ∼
= G/t(G), and φ2 = φ ↾t(G) .
To show that sφ (K) is finite, we notice first that K/mK is finite by [4, Theorem 0.1], since K is
torsion-free of finite rank. As sφ (mK) = msφ (K) ⊆ mt(G) = 0, sφ factorizes through the canonical
projection π : K → K/mK, i.e., there exists a homomorphism ψ : K/mK → t(G) such that sφ = ψ ◦ π.
Therefore, sφ (K) = ψ(K/mK) is finite.
Now Proposition 5.3 applies and gives ATh (G, φ, t(G)).

5.2

Addition Theorem with respect to two invariant subgroups

In the sequel ∧ stays for conjunction.
Proposition 5.5. Let G be an abelian group, φ ∈ End(G) and H, K two φ-invariant subgroups of G.
Then
ATh (G, φ, K) ∧ ATh (H, φ ↾H , H ∩ K) ∧ ATh (K, φ ↾K , H ∩ K)∧
∧ ATh (G/H, φH , (H + K)/H) ∧ ATh (G/K, φK , (H + K)/K) =⇒ ATh (G, φ, H).

17

Proof. The situation is described by the following diagrams involving the triples (G, φ, H) and (G/K, φK , (H+
K)/K).
H


φ↾H

/ H


(H + K)/K


φK ↾(H+K)/K

/ (H + K)/K



G

φ


/G


G/K

φK


/ G/K


G/H

φH


/ G/H


(G/K)/((H + K)/K)

φK


/ (G/K)/((H + K)/K)

Our hypotheses imply that:
(i) h(φ) = h(φ ↾K ) + h(φK );
(ii) h(φ ↾H ) = h(φ ↾H∩K ) + h(φ ↾H );
(iii) h(φ ↾K ) = h(φ ↾H∩K ) + h(φ ↾K );
(iv) h(φH ) = h(φH ↾(H+K)/H ) + h(φH );
(v) h(φK ) = h(φK ↾(H+K)/K ) + h(φK ).
The composition of the isomorphisms (G/K)/((H + K)/K) ∼
= G/(H + K) ∼
= (G/H)/((H + K)/H)
commutes with
φK : (G/K)/((H+K)/K) → (G/K)/((H+K)/K) and φH : (G/H)/((H+K)/H) → (G/H)/((H+K)/H),
i.e., φK and φH are conjugated. So Proposition 2.8(a) yields
h(φH ) = h(φK ),

(5.5)

h(φ ↾H ) = h(φK ↾H+K/K ) and h(φ ↾K ) = h(φH ↾H+K/H ).

(5.6)

Moreover, by (2.3), we have

From (i), (iii), (v), (5.5), (5.6), (ii) and (iv), we deduce
h(φ) = h(φ ↾K ) + h(φK )
= (h(φ ↾H∩K ) + h(φ ↾K )) + (h(φK ↾(H+K)/K ) + h(φK ))
= h(φ ↾H∩K ) + h(φH ↾H+K/H ) + h(φ ↾H ) + h(φH )
= (h(φ ↾H∩K ) + h(φ ↾H )) + (h(φH ↾H+K/H ) + h(φH ))
= h(φ ↾H ) + h(φH ).
Therefore, h(φ) = h(φ ↾H ) + h(φH ).
The following corollary can be deduced easily from Proposition 5.5.
Corollary 5.6. Let G be an abelian group, φ ∈ End(G) and H, K two φ-invariant subgroups of G with
H ⊆ K. Then:
(a) ATh (G, φ, H) ∧ ATh (K, φ ↾K , H) ∧ ATh (G/H, φ, K/H) =⇒ ATh (G, φ, K); and
(b) ATh (G, φ, K) ∧ ATh (K, φ ↾K , H) ∧ ATh (G/H, φ, K/H) =⇒ ATh (G, φ, H).
Proposition 5.5 and Corollary 5.6 have the following useful consequences, that are applied below in
the proof of the Addition Theorem.

18

Lemma 5.7. Let G be an abelian group, φ ∈ End(G) and H a φ-invariant subgroup of G. Then
ATh (G, φ, H) if one of the following conditions holds:
(a) G/H is torsion;
(b) H is torsion.
Proof. (a) Our aim is to apply Proposition 5.5 with K = t(G), so we check that its hypotheses are
satisfied:
(i) ATh (G, φ, t(G)) and ATh (H, φ ↾H , t(H)), according to Proposition 5.4;
(ii) ATh (t(G), φ ↾t(G) , t(H)) and ATh (G/H, φH , (H + t(G))/H), because t(G) and G/H are torsion,
so the Addition Theorem for torsion abelian groups from [16] applies;
(iii) ATh (G/t(G), φt(G) , (H+t(G))/t(G)) by Corollary 3.9, as G/t(G) is torsion-free and (H+t(G))/t(G)
is essential in G/t(G), being G/(H + t(G)) torsion as a quotient of the torsion abelian group G/H.
As t(H) = H ∩ t(G), Proposition 5.5 applies to conclude the proof.
(b) The subgroup t(G)/H of G/H is precisely t(G/H), so both ATh (G/H, φ, t(G)/H) and ATh (G, φ, t(G))
by Proposition 5.4. On the other hand, ATh (t(G), φ ↾t(G) , H) as t(G) is torsion (apply the Addition Theorem for the torsion abelian groups from [16]). Now Corollary 5.6(b) applies to the triple
H ⊆ t(G) ⊆ G.

5.3

The torsion-free case

If the abelian group G is torsion-free, then for any φ ∈ End(G) the subgroup ker∞ φ is pure in G. The
next result reduces the computation of the algebraic entropy of endomorphisms of finite-rank torsion-free
abelian groups to the case of injective ones.
Proposition 5.8. Let G be a torsion-free abelian group of finite rank and φ ∈ End(G). Then h(φ) =
h(φker∞ φ ). Consequently, ATh (G, φ, ker∞ φ).
Proof. We prove that h(φ) = h(φ), then this implies immediately ATh (G, φ, ker∞ φ), since h(φ ↾ker∞ φ
) = 0 by Proposition 2.6.
Suppose first that G is divisible. Since G has finite rank, ker∞ φ has finite rank as well. Then
there exists n ∈ N, such that ker∞ φ = ker φn . Let γ = φn and γ ∈ End(G/ ker γ) the endomorphism
n
induced by γ. Then h(γ) = nh(φ) by Proposition 2.8(b). Since γ = φ , it follows that h(γ) = nh(φ)
again by Proposition 2.8(b). So, if we prove that h(γ) = h(γ), it follows that h(φ) = h(φ). Note that
γ 2 (G) = γ(G).
This shows that we can suppose without loss of generality that ker∞ φ = ker φ and φ2 (G) = φ(G).
Let φ ∈ End(G/ ker φ). From [27, Section 58, Theorem 1] it follows that
G∼
= ker φ × φ(G).
Proposition 2.6 gives h(φ ↾ker φ ) = 0 and so h(φ) = h(φ ↾φ(G) ) by Proposition 2.8(d). Since φ(G) ∼
=
G/ ker φ, and φ ↾φ(G) and φ are conjugated by this isomorphism, h(φ ↾φ(G) ) = h(φ) by Proposition
2.8(a). Hence, h(φ) = h(φ).
We consider now the general case. Since ker∞ φe is pure in D(G), it is divisible by Lemma 3.8(b).
e i.e., there exists n ∈ N+ such that
e Indeed, let x ∈ ker∞ φ,
Moreover, ker∞ φ is essential in ker∞ φ.
n
e
φ (x) = 0. Since G is essential in D(G) there exists k ∈ Z such that kx ∈ G \ {0}. Furthermore,
φn (kx) = φen (kx) = k φen (x) = 0 and so kx ∈ ker∞ φ \ {0}. It follows that ker∞ φe = D(ker∞ φ). By the
e = h(φ),
e is the induced endomorphism. By
e where φe ∈ End(D(G)/ ker∞ φ)
first part of the proof, h(φ)
e
e
Proposition 3.7 h(φ) = h(φ) and by Corollary 3.10 h(φ) = h(φ). Hence, h(φ) = h(φ).
Our next aim is to prove the Addition Theorem for torsion-free abelian groups (see Proposition 5.10).
We start from the divisible case in Theorem 5.9, where we apply the Algebraic Yuzvinski Formula.
Theorem 5.9. Let n ∈ N+ , φ ∈ End(Qn ) and let H be a pure φ-invariant subgroup of Qn . Then
h(φ) < ∞ and ATh (Qn , φ, H).

19

Proof. Let D = Qn . Theorem 1.2 implies h(φ) < ∞.
Assume first that φ is an automorphism. Let r(H) = k ∈ N, that is, H ∼
= Qk . Let B =
{v1 , . . . , vk , vk+1 , . . . , vn } be a basis of D over Q such that BH = {v1 , . . . , vk } is a basis of H over
Q. Then the matrix of φ with respect to B has the following block-wise form:


A1 B
,
A=
0 A2
where A1 is the matrix of φ ↾H with respect to BH . Let π : D → D/H be the canonical projection
and φ ∈ End(D/H) the endomorphism induced by φ. Then B = {π(vk+1 ), . . . , π(vn )} is a basis of
D/H ∼
= Qn−k and A2 is the matrix of φ with respect to B. Let α1 , . . . , αk be the eigenvalues of A1 and
let αk+1 , . . . , αn be the eigenvalues of A2 . Then α1 , . . . , αn are the eigenvalues of A.
Let χ and χ1 , χ2 ∈ Q[t] be the characteristic polynomials of A and A1 , A2 respectively. Then
χ = χ1 χ2 . Let s1 and s2 be the least common multiples of the denominators of the coefficients of χ1
and χ2 respectively. This means that p1 = s1 χ1 and p2 = s2 χ2 ∈ Z[t] are primitive. By Gauss Lemma
p = p1 p2 is primitive and so for s = s1 s2 the polynomial p = sχ ∈ Z[t] is primitive. Now the Algebraic
Yuzvinski Formula 1.2 applied to φ, φ ↾H , φ gives
X
log |αi |
h(φ) = log s +
1≤i≤n,|αi |>1

X

= log(s1 s2 ) +

log |αi | +

1≤i≤k,|αi |>1



= log s1 +

X

1≤i≤k,|αi |>1

= h(φ ↾H ) + h(φ).

X

log |αi |



k+1≤i≤n,|αi |>1



log |αi | + log s2 +

X

k+1≤i≤n,|αi |>1



log |αi |

This proves ATh (Qn , φ, H).
Consider now the general case of φ ∈ End(G) and let π : D → D/ ker∞ φ be the canonical projection.
Then π(H) = (H + ker∞ φ)/ ker∞ φ is a φ-invariant pure (i.e., divisible) subgroup of D/ ker∞ φ and we
have the following two diagrams.
H


φ↾H

/ H


π(H)



D

φ


/D


D/ ker∞ φ


D/H

φH


/ D/H


(D/ ker∞ φ)/π(H)

φ↾π(H)

/ π(H)


φ


/ D/ ker∞ φ

φπ(H)


/ (D/ ker∞ φ)/π(H)

To establish ATh (D, φ, H) we intend to apply Proposition 5.5. To this end we check in the sequel
the validity of its hypotheses:
(i) ATh (D, φ, ker∞ φ), ATh (H, φ ↾H , H ∩ker∞ φ) and ATh (D/H, φH , (H +ker∞ φ)/H) by Proposition
5.8, as H ∩ ker∞ φ = ker∞ φ ↾H and (H + ker∞ φ)/H = ker∞ φ;
(ii) ATh (ker∞ φ, φ ↾ker∞ φ , H ∩ ker∞ φ), as h(φ ↾ker∞ φ ) = 0 by Proposition 2.6;
(iii) ATh (D/ ker∞ φ, φ, (H + ker∞ φ)/ ker∞ φ) by the the first part of the proof (as φ is bijective, being
injective).
Now Proposition 5.5 yields that ATh (D, φ, H).
The next result settles the torsion-free case of the Addition Theorem.

20

Proposition 5.10. Let G be a torsion-free abelian group, φ ∈ End(G) and let H be a φ-invariant
subgroup of G. Then ATh (G, φ, H).
Proof. By Proposition 4.7(d), we can assume that G has finite rank. The purification H∗ of H is
φ-invariant too. We are going to deduce ATh (G, φ, H) from Corollary 5.6(b) applied to the chain
H ⊆ H∗ ⊆ G. The validity of ATh (G, φ, H∗ ) is granted by Theorem 5.9 and Corollary 3.10. Since H is
an essential subgroup of H∗ , Corollary 3.9(a) yields ATh (H∗ , φ ↾H∗ , H). Finally, ATh (G/H, φ, H∗ /H)
follows from Proposition 5.4, as H∗ /H = t(G/H).
Now we can prove the Addition Theorem:
Proof of Theorem 1.1. One has ATh (G, φ, t(G)) and ATh (H + t(G), φ ↾H+t(G) , t(G)) by Proposition
5.4, and ATh (G/t(G), φ, H + t(G)/t(G)) by Proposition 5.10. Then
ATh (G, φ, H + t(G))
by Corollary 5.6(a) applied to the triple t(G) ⊆ H + t(G) ⊆ G. Since H + t(G)/H is torsion, Lemma
5.7(a) yields
ATh (H + t(G), φ ↾H+t(G) , H).
Finally, as the subgroup (H + t(G))/H of G/H is torsion, by Lemma 5.7(b)
ATh (G/H, φ, (H + t(G))/H).
Now Corollary 5.6(b) applies to the triple H ⊆ H + t(G) ⊆ G to conclude the proof.

6

The Uniqueness Theorem

We start this section by proving the Uniqueness Theorem for the algebraic entropy h in the category of all
abelian groups. In other words, we have to show that, whenever a collection h∗ = {h∗G : G abelian group}
of functions h∗G : End(G) → R≥0 ∪ {∞} satisfies (a)–(e) of Theorem 1.3, then h∗ (φ) = h(φ) for every
abelian group G and every φ ∈ End(G).
We shall provide two proofs of this fact, but first we need to point out three easy consequences of
the hypotheses (a)–(e) of Theorem 1.3 to be used in both proofs.
(A) Item (c) implies that h∗ is monotone with respect to taking restrictions to invariant subgroups
and to taking induced endomorphisms of the quotient groups with respect to invariant subgroups.
(B) Item (d) says that h∗ and h coincide on all Bernoulli shifts βK , where K is a finite abelian
group. This can be extended also to βZ , by showing that h∗ (βZ ) = ∞ as follows. Let G = Z(N) .
For every prime p, the subgroup pG of G is βZ -invariant, so βZ induces an endomorphism βZ :
G/pG → G/pG. Since G/pG ∼
= Z(p)(N) and βZ is conjugated to βZ(p) through this isomorphism,
∗
∗
h (βZ ) = h (βZ(p) ) = log p by item (a). Therefore, h∗ (βZ ) ≥ log p for every prime p by (A), and
so h∗ (βZ ) = ∞.
(C) Item (e) means that h∗ and h coincide on all endomorphisms of Qn , when n ∈ N+ varies.
Roughly speaking, (B) and (C) (that are (d) and (e) of Theorem 1.3, respectively) ensure the
coincidence of h and h∗ on all endomorphisms of Qn for every n ∈ N+ and all Bernoulli shifts. We
have to show that along with the properties (a), (b) and (c), this forces h∗ to coincide with h on all
endomorphisms of all abelian groups.
Proof of Theorem 1.3. In the sequel G is an arbitrary abelian group, φ ∈ End(G) and H a φinvariant subgroup of G. To prove that h∗ (φ) = h(φ) we consider various cases depending on the group
G.
(i) If G is torsion, then h∗ (φ) = ent(φ) = h(φ) by the Uniqueness Theorem for ent [16, Theorem
6.1]. Obviously, item (e) becomes vacuous in this case.
(ii) It suffices to consider the torsion-free case. Indeed, assume that h and h∗ coincide on endomorphisms of torsion-free abelian groups. One has h∗ (φ) = h∗ (φ ↾t(G) ) + h∗ (φ) by (c) and h(φ) = h(φ ↾t(G)

21

)+h(φ) by the Addition Theorem 1.1. Since G/t(G) is torsion-free, our hypothesis implies h∗ (φ) = h(φ).
Since h∗ (φ ↾t(G) ) = h(φ ↾t(G) ) by (i), we conclude that h∗ (φ) = h(φ).
(iii) If G is torsion-free and r(G) = n is finite, then h∗ (φ) = h(φ). Indeed, D(G) ∼
= Qn and
D(G)/G is torsion. Let φ ∈ End(D(G)/G) be the endomorphism induced by φe : D(G) → D(G). By
e = h(φ),
e and this value is finite. Since D(G)/G
the Algebraic Yuzvinski Formula 1.2 and by (e) h∗ (φ)
∗ e
∗
∗
is torsion, h (φ) = h(φ) by (i). By (c) h (φ) = h (φ) + h∗ (φ) and by the Addition Theorem 1.1
e = h(φ) + h(φ). Then h∗ (φ) = h∗ (φ)
e − h∗ (φ) = h(φ)
e − h(φ) = h(φ).
h(φ)
(iv) If G is torsion-free, G = V (φ, g) for some g ∈ G and r(G) is infinite, thenLh∗ (φ) = ∞ = h(φ).
The second equality follows from Lemma 3.5. To check the first one, note that G ∼
= Z(N)
= n∈N hφn (g)i ∼
and φ is conjugated to βZ through this isomorphism. Hence, h∗ (φ) = ∞, because h∗ (φ) = h∗ (βZ ) by
(a) and h∗ (βZ ) = ∞ by (B).
(v) If G is torsion-free and G = V (φ, F ) for some F ∈ [G]<ω , then h∗ (φ) = h(φ). To prove this, let
F = {f1 , . . . , fk }. Then G = V (φ, f1 ) + . . . + V (φ, fk ). If r(V (φ, fi )) is finite for every i ∈ {1, . . . , k},
then r(G) is finite as well, and h∗ (φ) = h(φ) by (iii). If r(V (φ, fi )) is infinite for some i ∈ {1, . . . , k},
then h∗ (φ ↾V (φ,fi ) ) = ∞ = h(φ ↾V (φ,fi ) ) by (iv). By (A) and by Lemma 2.7, h∗ (φ) = ∞ = h(φ).

Consider now the general case. By (ii) we can suppose without loss of generality that G is torsionfree. By Lemma 4.4, G = lim{V (φ, F ) : F ∈ [G]<ω }, and by (v), h∗ (φ ↾V (φ,F ) ) = h(φ ↾V (φ,F ) ) for
−→
every F ∈ [G]<ω . Therefore, (b) and Proposition 2.8(c) give h∗ (φ) = supF ∈[G]<ω h∗ (φ ↾V (φ,F ) ) =
supF ∈[G]<ω h(φ ↾V (φ,F ) ) = h(φ).
Note that the Uniqueness Theorem [16, Theorem 6.1] for ent in the torsion case uses one more axiom
that is not present in our list (a)–(e), namely the Logarithmic Law. As shown in [39], in the torsion
case it follows from (a)–(d). We have seen in the Uniqueness Theorem for h that also in the general
case the Logarithmic Law is not among the properties necessary to give uniqueness of h in the category
of all abelian groups, that is, the Logarithmic Law follows automatically from (a)–(e).
It is possible to prove the Uniqueness Theorem also in a less direct way, that is, using a known
theorem by Vámos [45] on length functions. We expose this alternative proof in the remaining part of
the section, considering the algebraic entropy as a function h : ModZ[t] → R≥0 ∪ {∞} (see Remark 4.1).
Let R be a unitary commutative ring, and consider the category ModR of all R-modules and
their homomorphisms. An invariant i : ModR → R≥0 ∪ {∞} is a function such that i(0) = 0 and
i(M ) = i(M ′ ) if M ∼
= M ′ in ModR . For M ∈ ModR , denote by F (M ) the family of all finitely
generated submodules of M .
Definition 6.1. [35, 45] Let R be a unitary commutative ring. A length function L of ModR is an
invariant L : ModR → R≥0 ∪ {∞} such that:
(a) L(M ) = L(M ′ ) + L(M ′′ ) for every exact sequence 0 → M ′ → M → M ′′ → 0 in ModR ;
(b) L(M ) = sup{L(F ) : F ∈ F (M )}.
An invariant satisfying (a) is said additive and an invariant with the property in (b) is called upper
continuous. So a length function is an additive upper continuous invariant of ModR .
Proposition 6.2. If h∗ = {h∗G : G abelian group} is a collection of functions h∗G : End(G) → R≥0 ∪{∞}
satisfying (a)–(e) of Theorem 1.3, then h∗ is a length function of ModZ[t] . In particular, h is a length
function of ModZ[t] .
Proof. In terms of Definition 6.1, h∗ and h are upper continuous and additive invariants of ModZ[t] ,
respectively in view of the properties (a), (b) and (c) of Theorem 1.3, and by Example 2.5, the Addition
Theorem 1.1 and Proposition 2.8(c).
As noted in [45], the values of a length function L of ModR are determined by its values on the
finitely generated R-modules. In case R is a Noetherian commutative ring, L is determined by its values
L(R/p) for prime ideals p of R (see [45, Corollary of Lemma 2]).

22

Second proof of Theorem 1.3. Let h∗ = {h∗G : G abelian group} be a collection of functions h∗G :
End(G) → R≥0 satisfying (a)–(e) of Theorem 1.3. Let R = Z[t]. By Proposition 6.2, h∗ is a length
function of ModR . In view of the above mentioned results from [45], it suffices only to check that
h∗ (R/p) = h(R/p) for all prime ideals p of R.
Let us recall that R has Krull dimension 2, so the non-zero prime ideals p of R are either minimal of
maximal. In particular, if p is a minimal prime ideal of R, then p = (f (t)), where f (t) ∈ R is irreducible
(either f (t) = p is a prime in Z, or f (t) is irreducible with deg f (t) > 0). On the other hand, a maximal
ideal m of R is of the form m = (p, f (t)), where p is a prime in Z and f (t) ∈ R is irreducible modulo p
and deg f (t) > 0.
(i) For p = 0, we prove that h∗ (R) = ∞ = h(R). To this end we have to show that µt : R → R has
h (µt ) = ∞ = h(µt ). The flow (R, µt ) is isomorphic to the flow (Z(N) , βZ ). By (a) and by Proposition
2.8(a) respectively, this yields h∗ (µt ) = h∗ (βZ ) and h(µt ) = h(βZ ). As h∗ (βZ ) = ∞ = h(βZ ) by (B) and
Example 2.10, we are done.
∗

(ii) To see that h∗ (R/m) = h(R/m) for a maximal ideal p = m of R, it suffices to show that R/m is
finite and apply the Uniqueness Theorem for the torsion case [16, Theorem 6.1]. Indeed, m = (p, f (t)),
where p ∈ Z is a prime and f (t) ∈ R is irreducible modulo p. So, R/m ∼
= (Z/pZ)[t]/(fp (t)), where fp (t)
is the reduction of f (t) modulo p. Hence, R/m is finite.
(iii) It remains to see that h∗ (R/p) = h(R/p) when p is a minimal prime ideal of R.
Assume first that p = (p) for some prime p ∈ Z. We show that h∗ (R/p) = log p = h(R/p).
Indeed, R/(p) ∼
= (Z/pZ)[t] and (Z/pZ)[t] ∼
= Z(p)(N) as abelian groups. Moreover, µt : (Z/pZ)[t] →
(Z/pZ)[t] is conjugated to βZ(p) through this isomorphism. By (a), (B) and Proposition 2.8(a), we get
the required equality.
Suppose now that p = (f (t)), where f (t) = a0 + a1 t + . . . + an tn ∈ Z[t] is irreducible (so, primitive)
with deg f (t) = n > 0. Let M = R/p. We verify that h∗ (M ) = h(M ).
Let J be the principal ideal generated by f (t) in Q[t] and D = Q[t]/J. Let π : Q[t] → D be the
canonical projection. Since J ∩ R = p, π induces an injective homomorphism M → D and we can think
without loss of generality that M is a subgroup of D (identifying M with π(R)). Since D ∼
= Qn as
abelian groups and r(M ) ≥ n, M is essential in D. Consider µt : D → D and µt ↾M : M → M . Since
D/M is torsion, h∗ (µt ) = h(µt ) = 0 by the Uniqueness Theorem for the torsion case [16, Theorem
6.1]. By (C), h∗ (µt ) = m(f (t)) = h(µt ) < ∞. Moreover, h∗ (µt ↾M ) = h∗ (µt ) − h∗ (µt ), by (c); while
h(µt ↾M ) = h(µt ) − h(µt ) by the Addition Theorem 1.1. This yields h∗ (µt ↾M ) = h(µt ↾M ), i.e.,
h∗ (M ) = h(M ).

7
7.1

Entropy vs Mahler measure
Computation of entropy via Mahler measure

For an algebraic number α ∈ C, the Mahler measure m(α) of α is the Mahler measure of sf (t), where f (t)
is the minimal polynomial of α over Q and s is the least positive common multiple of the denominators
of f . In order to characterize the algebraic numbers α with m(α) = 0 one need the following:
Theorem 7.1 (Kronecker Theorem). [30] Let f (t) ∈ Z[t] be a monic polynomial with roots α1 , . . . , αk .
If α1 is not a root of unity, then |αi | > 1 for at least one i ∈ {1, . . . , k}.
Corollary 7.2. Let f (t) ∈ Z[t] \ {0} be a primitive polynomial. Then m(f (t)) = 0 if and only if f (t)
is cyclotomic (i.e., all the roots of f (t) are roots of unity). Consequently, if α is an algebraic integer,
then m(α) = 0 if and only if α is a root of unity.
Proof. Let f (t) = a0 + a1 t + . . . + ak tk and deg f (t) = k. Assume that all roots α1 , . . . , αk of f (t) are
roots of unity. Then there exists m ∈ N+ such that every αi is a root of tm − 1. By Gauss Lemma f (t)
divides tm − 1 in Z[t]. Therefore, ak = ±1, and hence m(f (t)) = 0. Suppose now that m(f (t)) = 0.
This entails that f (t) is monic. Moreover, |αi | ≤ 1 for every i ∈ {1, . . . , k}. By Kronecker Theorem 7.1
each αi is a root of unity.

23

This determines completely the case of zero Mahler measure. For the greatest lower bound of the
positive values of the Mahler measure one has Lehmer Problem 1.4, that can be reformulated also as
follows:
Problem 7.3. Is inf{m(α) > 0 : α algebraic integer} > 0?
Obviously, the problem can be formulated equivalently for algebraic numbers, as m(α) ≥ log 2 for
every algebraic number α that is not an algebraic integer.
We prove now that L = ε, that is, that the infimum of the positive values of the Mahler measure
coincides with the infimum of the positive values of the algebraic entropy.
Proof of Theorem 1.5. We start by proving the first equality in Theorem 1.5, namely
ε = inf{h(φ) > 0 : n ∈ N+ , φ ∈ Aut(Qn )}.

(7.1)

We split the proof in three steps of reductions.
(i) Let G be an abelian group, φ ∈ End(G) and φ ∈ End(G/t(G)). Since h(φ ↾t(G) ) = ent(φ ↾t(G) ),
we can suppose that h(φ ↾t(G) ) = 0, otherwise h(φ) ≥ h(φ ↾t(G) ) ≥ log 2 by Lemma 2.7 and (1.3). By
the Addition Theorem 1.1 h(φ) = h(φ). In other words, we can consider only torsion-free abelian groups
G.
(ii) By (i), we can assume that G is a torsion-free abelian group and φ ∈ End(G). If there exists
g ∈ G such that r(V (φ, g)) is infinite, then h(φ) ≥ h(φ ↾V (φ,g) ) = ∞ by Lemma 2.7 and Corollary
3.4(b). Hence, we can assume that r(V (φ, g)) is finite for every g ∈ G. Then r(V (φ, F )) is finite for
every F ∈ [G]<ω . By Lemma 4.4, h(φ) = supF ∈[G]<ω h(φ ↾V (φ,F ) ). So, we can consider only torsion-free
e by Theorem 3.7, and hence we can reduce to
abelian groups of finite rank. Furthermore, h(φ) = h(φ)
divisible torsion-free abelian groups of finite rank.
(iii) By (ii) and by Proposition 2.8(a), we can assume that G = Qn for some n ∈ N+ . Let φ ∈
End(Qn ). By Proposition 5.8 h(φ) = h(φ), where the induced endomorphism φ ∈ End(Qn / ker∞ φ) is
injective (hence, surjective). Moreover, Qn / ker∞ φ ∼
= Qm for some m ∈ N, m ≤ n, as ker∞ φ is pure in
n
n
Q (so Q / ker∞ φ is divisible and torsion-free by Lemma 3.8(c)). Therefore, φ ∈ Aut(Qm ), and this
proves the equality in (7.1).
The equality L = ε follows from (7.1) and the Algebraic Yuzvinski Formula 1.2.
Following [11], for an abelian group G, let Ealg (G) = {h(φ) : φ ∈ End(G)} and let Ealg be the union
of all Ealg (G) when G varies among the class of all abelian groups. Then Ealg is a submonoid of the
monoid (R≥0 ∪ {∞}, +, 0), and L = inf(Ealg \ {0}) by Theorem 1.5. Moreover, let
A = {log |α| : α algebraic number, |α| ≥ 1},
which is a dense countable submonoid of (R≥0 , +, 0). The next theorem collects some equivalent forms
of L = 0 (a proof can be found in [11]).
Theorem 7.4. The following conditions are equivalent:
(a) Ealg = R≥0 ∪ {∞};
(b) L = 0;
S
(c) inf( n∈N+ Ealg (Zn ) \ {0}) = 0.

If L > 0, then Ealg ⊆ A ∪ {∞}, so in particular it is countable.
The inclusion Ealg ⊆ A ∪ {∞} is proper in case L > 0 by the density of the set A in R≥0 .
Remark 7.5. By the Algebraic Yuzvinski Formula 1.2, the algebraic entropy h(φ) of an endomorphism
φ : Qn → Qn , n ∈ N+ , is equal to the Mahler measure of a polynomial f (t) ∈ Z[t], namely f (t) =
sg(t) ∈ Z[t], where g(t) ∈ Q[t] is the characteristic polynomial of φ and s is the least positive common
multiple of the denominators of g(t). One can read this in the opposite direction, that is, the Mahler

24

measure of a polynomial f (t) ∈ Z[t] of degree n is equal to the algebraic entropy of some endomorphism
φ of Qn . Indeed, let f (t) = a0 + a1 t + . . . + an tn ∈ Z[t] with deg f (t) = n and let

0
1


C(f ) = 
0
.
 ..
0

0
0
1
..
.
0

...
...
..
.
..
.
...

0
0


− aan0
a1 
− an


a2 
− an 
.. 
. 

0
..
.
1 − an−1
an

(7.2)

be the companion matrix associated to f (t). The characteristic polynomial of C(f ) is f (t), and C(f )
is associated to an endomorphism φ of Qn (see also Remark 7.6 about this endomorphism). Then
m(f (t)) = h(φ) by the Algebraic Yuzvinski Formula 1.2.
Finally, we present the above situation from a different point of view, namely the algebraic entropy
associated to the multiplication by an element in a commutative ring, defined in [51].
Remark 7.6. Let α ∈ C be an algebraic number of degree n ∈ N+ over Q and let f (t) ∈ Q[t] be its
minimal polynomial, with deg f (t) = n. Let K = Q(α) be the simple field extension of Q associated
to α; then K ∼
= Qn as abelian groups. Inspired by [51], call algebraic entropy h(α) of α the algebraic
entropy h(µα ), where µα is the multiplication by α in K. Let an be the smallest positive integer such
that an f (t) = a0 + a1 t + . . . + an tn ∈ Z[t]. With respect to the basis {1, α, . . . , αn−1 } of K, the matrix
associated to µα is the companion matrix C(f ) in (7.2). The characteristic polynomial of C(f ) is f (t).
By the Algebraic Yuzvinski Formula 1.2, h(µα ) = m(f (t)), i.e., h(α) = m(α). This means that the
algebraic entropy of an algebraic number coincides with its Mahler measure.

7.2

Lehmer Problem and realization of entropy

This section is dedicated to the proof of the Realization Theorem, showing that Lehmer Problem is
equivalent to the “realization problem” of the finite values of the algebraic entropy.
In the next lemma we collect known results showing the validity of the Realization Theorem for
finitely generated flows satisfying some additional restraint.
Lemma 7.7. Let G be an abelian group, φ ∈ End(G) and assume that G is finitely φ-generated by
F ∈ [G]<ω .
(a) [16] If G is torsion, then h(φ) = H(φ, F ).
(b) [8] If H(φ, F ) = 0, then h(φ) = 0 (in particular, h(φ) = H(φ, F )).
The conclusion h(φ) = H(φ, F ) in the above lemma does not hold true in general. Indeed, consider
µ3 : Z → Z and F = {0, 1}; now H(µ3 , F ) ≤ log |F | = log 2, while h(µ3 ) = log 3. This can be generalized
to any non-torsion infinite finitely generated abelian group G with F a finite set of generators of G; in
this case, for every k ∈ N+ with k > |F |, one has h(µk ) ≥ log k > log |F |.
The following is a direct consequence of Proposition 3.7.
e
Corollary 7.8. Let G be a torsion-free abelian group and φ ∈ End(G) with h(φ) < ∞. Then h(φ)
realizes if and only if h(φ) realizes.

e by Proposition 3.7(b), then also h(φ)
e realizes. Assume now
Proof. If h(φ) realizes, since h(φ) = h(φ)
<ω
e
e
e
that h(φ) realizes. Then there exists F ∈ [D(G)]
such that h(φ) = H(φ, F ). By Proposition 3.7 there
e = H(φ,
e F ) = H(φ, mF ), therefore, h(φ) realizes.
exists m ∈ N+ such that mF ⊆ G and h(φ) = h(φ)
The following technical lemma is needed in the proof of Proposition 7.10.

Lemma 7.9. Let G be an abelian group and φ ∈ End(G) with h(φ) < ∞. Let {Vn }n∈N be an increasing
chain of φ-invariant subgroups of G, such that V0 = 0 and h(φ) = supn∈N h(φ ↾Vn ). Let φn = φ ↾Vn and
φn ∈ End(Vn /Vn−1 ) be the induced endomorphism for n ∈ N+ . Assume that η > 0 and that h(φn ) is
either 0 or ≥ η for every n ∈ N+ . Then h(φ) = h(φn ) for some n ∈ N.

25

Proof. For the sake of completeness let φ0 = φ ↾V0 and note that φ1 = φ1 . The sequence {h(φn )}n∈N is
an increasing sequence of non-negative real numbers. For every n ∈ N+ , let
dn = h(φn ) − h(φn−1 ).
By the Addition Theorem 1.1, h(φn ) = h(φn−1 ) + h(φn ) for every n ∈ N+ . Hence, dn = h(φn ), and so
dn is either 0 or ≥ η by hypothesis. Therefore, for every n ∈ N,
h(φn ) =

n
X

di ≥ mn η, where mn = |{di 6= 0 : 1 ≤ i ≤ n}|.

i=1

Since h(φn ) ≤ h(φ) for every n ∈ N, we have that
mn ≤

h(φ)
.
η

Consequently, there are finitely many dn 6= 0, and this means that the sequence {h(φn )}n∈N stabilizes.
By hypothesis, h(φ) = supn∈N h(φn ), hence h(φ) = h(φn ) for every sufficiently large n ∈ N.
From Lemma 7.9 and Corollary 7.8 we deduce respectively item (a) and item (b) of the following
result.
Proposition 7.10. Let G be an abelian group and φ ∈ End(G) with h(φ) < ∞. Then h(φ) realizes
when:
(a) G is torsion;
(b) G is torsion-free of finite rank.
Proof. (a) By Proposition 4.7 there exists a chain {Vn }n∈N in F(G, φ) such that h(φ) = limn→∞ h(φ ↾Vn ).
We can apply Lemma 7.9 with η = log 2 to find n ∈ N such that h(φ) = h(φ ↾Vn ). We have Vn = V (φ, F )
for some F ∈ [G]<ω . Since G is torsion, F ′ = hF i is finite and Vn = V (φ, F ′ ) = T (φ, F ′ ). By Lemma
7.7(a), h(φ ↾Vn ) = H(φ, F ′ ), and hence h(φ) = h(φ ↾Vn ) = H(φ, F ′ ).
(b) If G is a torsion-free abelian group of finite rank, by Corollary 7.8 we can assume that G is
also divisible and then G ∼
= Qn for some n ∈ N+ . By [25, Theorem 4.18] there exist infinitely many
<ω
F ∈ [G]
such that h(φ) = H(φ, F ).
We are now in position to prove the Realization Theorem for the algebraic entropy:
Proof of Theorem 1.7. (b)⇒(a) Assume that L = 0. By Theorem 7.4 this is equivalent to Ealg =
R≥0 ∪ {∞}. Hence, for every
P φn ∈ End(Gn ) such that
Lan abelian group Gn and
L n ∈ N there exist
h(φn ) = 21n . Now let G = n∈N Gn and φ = n∈N φn . Then h(φ) = n∈N 21n = 1 by Proposition
2.8(c,d). To conclude it suffices to note that for every FP∈ [G]<ω there exists n ∈ N such that
n
F ⊆ G0 ⊕ . . . ⊕ Gn , and so H(φ, F ) ≤ h(φ0 ⊕ . . . ⊕ φn ) = i=0 21i < 1 by Proposition 2.8(d). Then
h(φ) = 1, but h(φ) does not realize.
(a)⇒(b) By Proposition 4.7 there exists a chain {Vn }n∈N in F(G, φ) such that h(φ) = limn→∞ h(φ ↾Vn
). As L > 0, by Lemma 7.9 (with η = L) there exists n ∈ N such that h(φ) = h(φ ↾Vn ). Hence, we can
assume without loss of generality that G is finitely φ-generated by some F ∈ [G]<ω .
Since h(φ) < ∞, Lemma 3.3 implies that V (φ, g) has finite rank for every g ∈ G. Then G has finite
rank as well, and by Lemma 4.3(b) there exists a finite-rank torsion-free subgroup K of G such that
G∼
= K × t(G). By Example 5.2, φ is the skew product of φ1 and φ2 , where φ1 : K → K is conjugated
to φ : G/t(G) → G/t(G) by the isomorphism K ∼
= G/t(G), and φ2 = φ ↾t(G) ; moreover, sφ (K) is finite.
By Proposition 7.10(a) there exists F2 ∈ [t(G)]<ω such that h(φ2 ) = H(φ2 , F2 ). We can assume without
loss of generality that sφ (K) ⊆ F2 . Since K ∼
= G/t(G) is torsion-free of finite rank, by Proposition
7.10(b) there exists F1 ∈ [K]<ω such that h(φ1 ) = H(φ1 , F1 ). By Proposition 2.8(d) and Proposition
5.3, for πφ = φ1 × φ2 one has
h(φ) = h(πφ ) = h(φ1 ) + h(φ2 ) = H(φ1 , F1 ) + H(φ2 , F2 ) = H(φ1 × φ2 , F1 × F2 ) = H(φ, F1 × F2 ),
as Tn (πφ , F1 ×F2 ) = Tn (φ, F1 ×F2 ) for every n ∈ N+ . This concludes the proof for the case G = V (φ, F ),
and so the proof of the theorem.

26

References
[1] L. M. Abramov, The entropy of an automorphism of a solenoidal group, Teor. Veroyatnost. i
Primenen 4 (3) (1959) 249–254.
[2] R. L. Adler, A. G. Konheim, M. H. McAndrew, Topological entropy, Trans. Amer. Math. Soc. 114
(1965) 309–319.
[3] M. Akhavin, F. Ayatollah Zadeh Shirazi, D. Dikranjan, A. Giordano Bruno, A. Hosseini, Algebraic
entropy of shift endomorphisms on abelian groups, Quaest. Math. 32 (4) (2009) 529–550.
[4] D. Arnold, Finite Rank Torsion Free Abelian Groups and Rings, L.N.M. n. 931, Springer 1982.
[5] R. Bowen, Entropy and the fundamental group, in: The Structure of Attractors in Dynamical
Systems (Proc. Conf. North Dakota State Univ., Frago, 1977), Lecture Notes in Math. 668 (1978)
21–29.
[6] D. Dikranjan, A. Giordano Bruno, L. Salce, Adjoint algebraic entropy, Journal of Algebra 324
(2010) 442–463.
[7] D. Dikranjan, A. Giordano Bruno, Entropy on abelian groups, arxiv.org/pdf/1007.0533v1.pdf
(2010).
[8] D. Dikranjan, A. Giordano Bruno, The Pinsker subgroup of an algebraic flow, Jour. Pure Appl.
Algebra 216 (2012) 364–376.
[9] D. Dikranjan, A. Giordano Bruno, Limit free computation of entropy, Rend. Istit. Mat. Univ.
Trieste 44 (2012) 297–312.
[10] D. Dikranjan, A. Giordano Bruno, The connection between topological and algebraic entropy, Topology Appl. 159 (13) (2012) 2980–2989.
[11] D. Dikranjan, A. Giordano Bruno, Topological and algebraic entropy for group endomorphisms,
Proceedings ICTA2011 Islamabad, Pakistan July 4-10, 2011 Cambridge Scientific Publishers (2012)
133–214.
[12] D. Dikranjan, A. Giordano Bruno, Entropy in a category, Appl. Categ. Structures 21 (1) (2013)
67–101.
[13] D. Dikranjan, A. Giordano Bruno, Discrete dynamical systems in group theory, Note Mat. 33 (1)
(2013) 1-48.
[14] D. Dikranjan, A. Giordano Bruno, The Bridge Theorem for totally disconnected LCA groups, Topology Appl. 169 (1) (2014) 21–32.
[15] D. Dikranjan, A. Giordano Bruno, L. Salce, S. Virili, Intrinsic algebraic entropy, J. Pure Appl.
Algebra 219 (2015) 2933–2961.
[16] D. Dikranjan, B. Goldsmith, L. Salce, P. Zanardo, Algebraic entropy of endomorphisms of abelian
groups, Trans. Amer. Math. Soc. 361 (2009) 3401–3434.
[17] D. Dikranjan, K. Gong, P. Zanardo, Endomorphisms of abelian groups with small algebraic entropy,
Linear Algebra Appl. 439 (7) (2013) 1894–1904.
[18] D. Dikranjan, I. Prodanov, L. Stoyanov, Topological Groups: Characters, Dualities and Minimal
Group Topologies, Pure and Applied Mathematics, Vol. 130, Marcel Dekker Inc., New York-Basel,
1989.
[19] D. Dikranjan, M. Sanchis, S. Virili, New and old facts about entropy on uniform spaces and topological groups, Topology Appl. 159 (7) (2012) 1916–1942.
[20] G. Everest, T. Ward, Heights of polynomials and entropy in algebraic dynamics, Universitext.
Springer-Verlag London Ltd., London 1999.
[21] K. Falconer, B. Fine, D. Kahrobaei, Growth rate of an endomorphism of a group, Groups Complex.
Cryptol. 3 (2011) no. 2 285–300.
[22] M. Fekete, Über die Verteilung der Wurzeln bei gewisser algebraichen Gleichungen mit ganzzahlingen Koeffizienten, Math. Zeitschr. 17 (1923) 228–249.
[23] L. Fuchs, Infinite Abelian Groups, Vol. I and II, Academic Press, 1970 and 1973.

27

[24] A. Giordano Bruno, Algebraic entropy of shift endomorphisms on products, Comm. Algebra 38 (11)
(2010) 4155–4174.
[25] A. Giordano Bruno, S. Virili, The Algebraic Yuzvinski Formula, J. Algebra 423 (2015) 114–147.
[26] A. Giordano Bruno, S. Virili, About the Algebraic Yuzvinski Formula, Topol. Algebra and its Appl.
3 (1) (2015) 86–103.
[27] P. Halmos, Finite-Dimensional Vector Spaces, Undergraduate Texts in Mathematics, SpringerVerlag, New York - Heidelberg - Berlin, 1987.
[28] E. Hewitt, K. A. Ross, Abstract harmonic analysis I, Springer-Verlag, Berlin-Heidelberg-New York,
1963.
[29] E. Hironaka, What is. . . Lehmer’s number?, Not. Amer. Math. Soc. 56 (3) (2009) 374–375.
[30] L. Kronecker, Zwei Sätze über Gleichungen mit ganzzahligen Coefficienten, Jour. Reine Angew.
Math. 53 (1857) 173–175.
[31] A. N. Kolmogorov, New metric invariants of transitive dynamical systems and automorphisms of
Lebesgue spaces, Doklady Akad. Nauk. SSSR 119 (1958) 861–864 (in Russian).
[32] D. H. Lehmer, Factorization of certain cyclotomic functions, Ann. of Math. 34 (1933) 461–469.
[33] D. Lind, T. Ward, Automorphisms of solenoids and p-adic entropy, Ergodic Theory Dynam. Systems 8 (3) (1988) 411–419.
[34] M. J. Mossinghoff, G. Rhin, Q. Wu, Minimal Mahler measures, Experiment. Math. 17 (4) (2008)
451–458.
[35] D. G. Northcott, M. Reufel, A generalization of the concept of length, Quart. J. of Math. (Oxford)
(2) 16 (1965) 297–321.
[36] J. Peters, Entropy on discrete Abelian groups, Adv. Math. 33 (1979) 1–13.
[37] J. Peters, Entropy of automorphisms on L.C.A. groups, Pacific J. Math. 96 (2) (1981) 475–488.
[38] L. S. Pontryagin, Topological Groups, Gordon and Breach, New York 1966.
[39] L. Salce, Some results on the algebraic entropy, Groups and Model Theory, Contemporary Math.
576 (2012) 297–304.
[40] L. Salce, P. Vámos, S. Virili, Length functions, multiplicities and algebraic entropy, Forum Math.
25 (2) (2013) 255–282.
[41] L. Salce, P. Zanardo, A general notion of algebraic entropy and the rank entropy, Forum Math. 21
(4) (2009) 579–599.
[42] Y. G. Sinai, On the concept of entropy of a dynamical system, Doklady Akad. Nauk. SSSR 124
(1959) 786–781 (in Russian).
[43] C. Smyth, On the product of conjugates outside the unit circle of an algebraic integer, Bull. London
Math. Soc. 3 (1971) 169–175.
[44] L. N. Stoyanov, Uniqueness of topological entropy for endomorphisms on compact groups, Boll. Un.
Mat. Ital. B (7) 1 (3) (1987) 829–847.
[45] P. Vámos, Additive Functions and Duality over Noetherian Rings, Quart. J. of Math. (Oxford) (2)
19 (1968) 43–55.
[46] S. Virili, Entropy for endomorphisms of LCA groups, Topology Appl. 159 (9) (2012) 2546–2556.
[47] S. Virili, Algebraic and topological entropy of group actions, preprint.
[48] M. D. Weiss, Algebraic and other entropies of group endomorphisms, Math. Systems Theory 8 (3)
(1974/75) 243–248.
[49] S. Yuzvinski, Metric properties of endomorphisms of compact groups, Izv. Acad. Nauk SSSR, Ser.
Mat. 29 (1965) 1295–1328 (in Russian). English Translation: Amer. Math. Soc. Transl. (2) 66
(1968) 63–98.
[50] S. A. Yuzvinski, Calculation of the entropy of a group-endomorphism, Sibirsk. Mat. Z̆. 8 (1967)
230–239.
[51] P. Zanardo, Algebraic entropy of endomorphisms over local one-dimensional domains, J. Algebra
Appl. 8 (6) (2009) 759–777.

28

