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.
For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showing that the generalized shifts provide a very useful universal tool for producing counter-examples.
The string number of self-maps arose in the context of algebraic entropy and it can be viewed as a kind of combinatorial entropy function. Later on its values for endomorphisms of abelian groups were calculated in full generality. We study its global version for abelian groups, providing several examples involving also Hopfian abelian groups. Moreover, we characterize the class of all abelian groups with string number zero in many cases and discuss its stability properties.
The new notion of adjoint algebraic entropy of endomorphisms of Abelian groups is introduced. Various examples and basic properties are provided. It is proved that the adjoint algebraic entropy of an endomorphism equals the algebraic entropy of the adjoint endomorphism of the Pontryagin dual. As applications, we compute the adjoint algebraic entropy of the shift endomorphisms of direct sums, and we prove an Addition Theorem for the adjoint algebraic entropy of bounded Abelian groups. A dichotomy is established, stating that the adjoint algebraic entropy of any endomorphism can take only values…
Recently the adjoint algebraic entropy of endomorphisms of abelian groups was introduced and studied. We generalize the notion of adjoint entropy to continuous endomorphisms of topological abelian groups. Indeed, the adjoint algebraic entropy is defined using the family of all finite-index subgroups, while we take only the subfamily of all open finite-index subgroups to define the topological adjoint entropy. This allows us to compare the (topological) adjoint entropy with the known topological entropy of continuous endomorphisms of compact abelian groups. In particular, the topological adjoin…
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We construct the JSJ decomposition of a vGBS group over abelian groups. We prove that this decomposition is explicitly computable, and may be obtained by local changes on the initial graph of groups.
We study the locally compact abelian groups in the class $\mathfrak E_{<\infty}$, that is, having only continuous endomorphisms of finite topological entropy, and in its subclass $\mathfrak E_0$, that is, having all continuous endomorphisms with vanishing topological entropy. We discuss the reduction of the problem to the case of periodic locally compact abelian groups, and then to locally compact abelian $p$-groups. We show that locally compact abelian $p$-groups of finite rank belong to $\mathfrak E_{<\infty}$, and that those of them that belong to $\mathfrak E_0$ are precisely the ones with…
Let $X$ be a compact torsion abelian group. In this paper, we show that an extension of $F_{p}$ by $X$ splits where $F_{p}$ is the p-adic number group and $p$ a prime number. Also, we show that an extension of a torsion-free, non-divisible LCA group by $X$ is not split.
We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attention to the case when S is an amenable group. For actions of cancellative right amenable monoids on torsion abelian groups, we prove the so called Addition Theorem. In the same setting, we see that a B…
In this article we present an extensive survey on the developments in the theory of non-abelian finite groups with abelian automorphism groups, and pose some problems and further research directions.
To solve a number of problems on varieties of groups, stated by Kleiman, Kuznetsov, Ol'shanskii, Shmel'kin in the 1970's and 1980's, we construct continuously many varieties of groups in which all periodic groups are abelian and whose pairwise intersections are the variety of all abelian groups.
We show that the Farrell-Jones Conjecture holds for fundamental groups of graphs of groups with abelian vertex groups. As a special case, this shows that the conjecture holds for generalized Baumslag-Solitar groups.
Every torsion--free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups.
We classify closed abelian subgroups of the simple groups $G_2$, $F_4$, $Aut(so(8))$ having centralizer the same dimension as the dimension of the subgroup, as well as finite abelian subgroups of certain spin and half-spin groups having finite centralizer.
A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We describe the compatibility JSJ decomposition over abelian groups. We prove that in general this decomposition is not algorithmically computable.
We classify elementary abelian 2 subgroups of compact simple Lie groups of adjoint type. This finishes the classification of elementary abelian $p$ subgroups of compact (or linear algebraic) simple groups of adjoint type.
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible group is a direct sum of copies of the additive rationals and quasicyclic groups.
Cannon has given an example of a virtually abelian group and a generating set where the full language of geodesics is not regular. We describe a virtually abelian group and a generating set so that no regular language of geodesics surjects to the group.
We prove a cohomological property for a class of finite $p$-groups introduced earlier by M. Y. Xu, which we call semi-abelian $p$-groups. This result implies that a semi-abelian $p$-group has non-inner automorphisms of order $p$, which settles a longstanding problem for this class. We answer also, independetly, an old question of M. Y. Xu about the power structure of semi-abelian $p$-groups.
We classify closed abelian subgroups of the automorphism group of any compact classical simple Lie algebra whose centralizer has the same dimension as the dimension of the subgroup, and describe Weyl groups of maximal abelian subgroups.
Let G be an abelian p-group sum of finite homocyclic groups Gi. Here, we determine in which cases the automorphism group of G splits over ker(h), where h: Aut(G)-->Xi Aut(Gi/pGi) is the natural epimorphism.
Let $G$ be a polycyclic, metabelian or soluble of type (FP)$_{\infty}$ group such that the class $Rat(G)$ of all rational subsets of $G$ is a boolean algebra. Then $G$ is virtually abelian. Every soluble biautomatic group is virtually abelian.
It is well known there is no finitely generated abelian group which has the $R_\infty$ property. We will show that also many non-finitely generated abelian groups do not have the $R_\infty$ property, but this does not hold for all of them. In fact we construct an uncountable number of infinite countable abelian groups which do have the $R_{\infty}$ property. We also construct an abelian group such that the cardinality of the Reidemeister classes is uncountable for any automorphism of that group. 8 pages, no figures
We describe the autotopism group Atp(G) of any abelian group G as being a semidirect product of its automorphism group Aut(G) and G^2. We then provide the subgroup structure of Atp(G) when G is a finite cyclic group.
We will show that every element of a finitely generated abelian group is automorphically equivalent what we will define to be a {\em representative element} in a {\em repeat-free subgroup}, and for finite abelian groups we can count the number of automorphism classes of elements.
In the current paper we study the groups, whose subnormal abelian subgroups are normal. We obtained a quite detailed description of such hyperabelian groups with a periodic Baer radical. The description of hyperabelian Lie algebras, whose abelian subideals are ideals, is also obtained.
We prove that Moufang sets with abelian root groups arising at infinity of a locally finite tree all come from rank one simple algebraic groups over local fields.
A group in which every element commutes with its endomorphic images is called an $E$-group. If $p$ is a prime number, a $p$-group $G$ which is an $E$-group is called a $pE$-group. Every abelian group is obviously an $E$-group. We prove that every 2-generator $E$-group is abelian and that all 3-generator $E$-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator $E$-group is abelian. We conjecture that every finite 3-generator $E$-group should be abelian. Moreover we show that the minimum order of a non-abelian $pE$-group is $p^8$ for any odd prime number $p$…
We extend the notion of a partial cohomology group $H^n(G,A)$ to the case of non-unital $A$ and find interpretations of $H^1(G,A)$ and $H^2(G,A)$ in the theory of extensions of semilattices of abelian groups by groups.
For every $p$-group of order $p^n$ with the derived subgroup of order $p^m$, Rocco in \cite{roc} has shown that the order of tensor square of $G$ is at most $p^{n(n-m)}$. In the present paper not only we improve his bound for non-abelian $p$-groups but also we describe the structure of all non-abelian $p$-groups when the bound is attained for a special case. Moreover, our results give as well an upper bound for the order of $π_3(SK(G, 1))$.
Shannon's Entropy Power Inequality can be viewed as characterizing the minimum differential entropy achievable by the sum of two independent random variables with fixed differential entropies. The entropy power inequality has played a key role in resolving a number of problems in information theory. It is therefore interesting to examine the existence of a similar inequality for discrete random variables. In this paper we obtain an entropy power inequality for random variables taking values in an abelian group of order 2^n, i.e. for such a group G we explicitly characterize the function f_G(x,…
The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in two directions. We introduce the concept of entropy function h of an abelian category and define the Pinsker radical with respect to h, so that the class of all objects with trivial Pinsker radical is the torsion class of a torsion theory.
In this paper, we study precompact abelian groups G that contain no sequence {x_n} such that {0} \cup {\pm x_n : n \in N} is infinite and quasi-convex in G, and x_n --> 0. We characterize groups with this property in the following classes of groups: (a) bounded precompact abelian groups; (b) minimal abelian groups; (c) totally minimal abelian groups; (d) ω-bounded abelian groups. We also provide examples of minimal abelian groups with this property, and show that there exists a minimal pseudocompact abelian group with the same property; furthermore, under Martin's Axiom, the group may be chose…
For a totally disconnected locally compact abelian group, we prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Pontryagin duality. Moreover, this result is extended to all locally compact abelian groups under the assumption of additivity with respect to some fully invariant subgroups for both the topological and the algebraic entropy.
We characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of abelian groups.
We give a reduction of Donovan's conjecture for abelian groups to a similar statement for quasisimple groups. Consequently we show that Donovan's conjecture holds for abelian $2$-groups.
We classify up to coarse equivalence all countable abelian groups of finite torsion free rank. The Q-cohomological dimension and the torsion free rank are the two invariants that give us such classification. We also prove that any countable abelian group of finite torsion free rank is coarsely equivalent to Z^n + H where H is a direct sum (possibly infinite) of cyclic groups. A partial generalization to countable abelian groups of the Gromov rigidity theorem for abelian groups is shown.
In this note we show that if $G$ is a countably infinite abelian group such that $nG=0$ for some integer $n$, then the only locally minimal group topology on $G$ is the discrete one.
For a locally quasi-convex (lqc) abelian group $G$, we give the first description of all compatible group topologies on $G$ and apply this result to the Mackey group problem for lqc groups. We characterize lqc abelian groups which are Mackey groups or admit a Mackey group topology and provide a characterization of two Mackey groups whose product is Mackey. We obtain the first characterization of locally convex spaces which are Mackey groups.
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and det…
Given an aleph_1-free abelian group G we characterize the class C_G of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes C_G for arbitrary torsion-free abelian G. It follows that there exist some ugly aleph_1-free abelian groups.
