We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this paper, we study the structure of the rational cohomology groups of the IA-automorphism group $\mathrm {IA}_3$ of the free group of rank three by using combinatorial group theory and representation theory. In particular, we detect a nontrivial irreducible component in the second cohomology group of $\mathrm {IA}_3$, which is not contained in the image of the cup product map of the first cohomology groups. We also show that the triple cup product of the first cohomology groups is trivial. As a corollary, we obtain that the fourth term of the lower central series of $\mathrm {IA}_3$ has finite index in that of the Andreadakis–Johnson filtration of $\mathrm {IA}_3$.
We show that the dynamic asymptotic dimension of an action of an infinite virtually cyclic group on a compact Hausdorff space is always one if the action has the marker property. This in particular covers a well-known result of Guentner, Willett, and Yu for minimal free actions of infinite cyclic groups. As a direct consequence, we substantially extend a famous result by Toms and Winter on the nuclear dimension of $C^{*}$-algebras arising from minimal free $\mathbb {Z}$-actions. Moreover, we also prove the marker property for all free actions of countable groups on finite-dimensional compact Hausdorff spaces, generalizing a result of Szabó in the metrisable setting.
We construct a sofic approximation of ${\mathbb F}_2\times {\mathbb F}_2$ that is not essentially a ‘branched cover’ of a sofic approximation by homomorphisms. This answers a question of L. Bowen.
We prove that all invariant random subgroups of the lamplighter group L are co-sofic. It follows that L is permutation stable, providing an example of an infinitely presented such group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.
We extend work of Berdinsky and Khoussainov [‘Cayley automatic representations of wreath products’, International Journal of Foundations of Computer Science27(2) (2016), 147–159] to show that being Cayley automatic is closed under taking the restricted wreath product with a virtually infinite cyclic group. This adds to the list of known examples of Cayley automatic groups.
Generalising previous results on classical braid groups by Artin and Lin, we determine the values of m, n ∈ $\mathbb N$ for which there exists a surjection between the n- and m-string braid groups of an orientable surface without boundary. This result is essentially based on specific properties of their lower central series, and the proof is completely combinatorial. We provide similar but partial results in the case of orientable surfaces with boundary components and of non-orientable surfaces without boundary. We give also several results about the classification of different representations of surface braid groups in symmetric groups.
We consider the Birman–Hilden inclusion
$\phi\colon\Br_{2g+1}\to\Gamma_{g,1}$
of the braid group into the mapping class group of an orientable surface with boundary, and prove that
$\phi$
is stably trivial in homology with twisted coefficients in the symplectic representation
$H_1(\Sigma_{g,1})$
of the mapping class group; this generalises a result of Song and Tillmann regarding homology with constant coefficients. Furthermore we show that the stable homology of the braid group with coefficients in
$\phi^*(H_1(\Sigma_{g,1}))$
has only 4-torsion.
Let W be a 2-dimensional Coxeter group, that is, one with 1/mst + 1/msr + 1/mtr ≤ 1 for all triples of distinct s, t, r ∈ S. We prove that W is biautomatic. We do it by showing that a natural geodesic language is regular (for arbitrary W), and satisfies the fellow traveller property. As a consequence, by the work of Jacek Świątkowski, groups acting properly and cocompactly on buildings of type W are also biautomatic. We also show that the fellow traveller property for the natural language fails for $W=\widetilde {A}_3$.
This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive recurrence for random walks on relatively hyperbolic groups. We then use our estimates for the Green function to prove that $p_n\asymp R^{-n}n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the inverse of the spectral radius of the random walk.
We present a metric condition $\TTMetric$ which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition $\TTMetric$ are diagrammatically reducible in the sense of Sieradski and Gersten. In particular, we deduce that the standard presentation of an Artin group is aspherical if and only if it is diagrammatically reducible. We show that, under some extra hypotheses, $\TTMetric$-groups have quadratic Dehn functions and solvable conjugacy problem. In the spirit of Greendlinger's lemma, we prove that if a presentation P = 〈X| R〉 of group G satisfies conditions $\TTMetric -C'(\frac {1}{2})$, the length of any nontrivial word in the free group generated by X representing the trivial element in G is at least that of the shortest relator. We also introduce a strict metric condition $\TTMetricStrict$, which implies hyperbolicity.
Let G be a finite group and $\psi (G) = \sum _{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. There are many results on the influence of this function on the structure of a finite group G.
In this paper, as the main result, we answer a conjecture of Tărnăuceanu. In fact, we prove that if G is a group of order n and $\psi (G)>31\psi (C_n)/77$, where $C_n$ is the cyclic group of order n, then G is supersolvable. Also, we prove that if G is not a supersolvable group of order n and $\psi (G) = 31\psi (C_n)/77$, then $G\cong A_4 \times C_m$, where $(m, 6)=1$.
Finally, Herzog et al. in (2018, J. Algebra, 511, 215–226) posed the following conjecture: If $H\leq G$, then $\psi (G) \unicode[stix]{x02A7D} \psi (H) |G:H|^2$. By an example, we show that this conjecture is not satisfied in general.
The pronorm of a group G is the set
$P(G)$ of all elements
$g\in G$ such that X and
$X^g$ are conjugate in
${\langle {X,X^g}\rangle }$ for every subgroup X of G. In general the pronorm is not a subgroup, but we give evidence of some classes of groups in which this property holds. We also investigate the structure of a generalised soluble group G whose pronorm contains a subgroup of finite index.
We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal {R}_K)$, whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$.
For a group G, we define a graph $\Delta (G)$ by letting $G^{\scriptsize\#}=G{\setminus} \lbrace 1\rbrace $ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\scriptsize\#}$ if and only if the subgroup $\langle x,y\rangle $ is cyclic. Recall that a Z-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $\Delta (G)$ for a Z-group G.
It is conjectured that the central quotient of any irreducible Artin–Tits group is either virtually cyclic or acylindrically hyperbolic. We prove this conjecture for Artin–Tits groups that are known to be CAT(0) groups by a result of Brady and McCammond, that is, Artin–Tits groups associated with graphs having no 3-cycles and Artin–Tits groups of almost large type associated with graphs admitting appropriate directions. In particular, the latter family contains Artin–Tits groups of large type associated with cones over square-free bipartite graphs.
A right Engel sink of an element g of a group G is a set ${\mathscr R}(g)$ such that for every x ∈ G all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$. (Thus, g is a right Engel element precisely when we can choose ${\mathscr R}(g)=\{ 1\}$.) It is proved that if every element of a compact (Hausdorff) group G has a countable right Engel sink, then G has a finite normal subgroup N such that G/N is locally nilpotent.
Weshow that for every non-elementary hyperbolic group the Bowen–Margulis current associated with a strongly hyperbolic metric forms a unique group-invariant Radon measure class of maximal Hausdorff dimension on the boundary square. Applications include a characterization of roughly similar hyperbolic metrics via mean distortion.
The main objective of this paper is the following two results. (1) There exists a computable bi-orderable group that does not have a computable bi-ordering; (2) there exists a bi-orderable, two-generated computably presented solvable group with undecidable word problem. Both of the groups can be found among two-generated solvable groups of derived length $3$.
(1) [a]nswers a question posed by Downey and Kurtz; (2) answers a question posed by Bludov and Glass in Kourovka Notebook.
One of the technical tools used to obtain the main results is a computational extension of an embedding theorem of B. Neumann that was studied by the author earlier. In this paper we also compliment that result and derive new corollaries that might be of independent interest.
We consider the graph
$\Gamma _{\text {virt}}(G)$
whose vertices are the elements of a finitely generated profinite group G and where two vertices x and y are adjacent if and only if they topologically generate an open subgroup of G. We investigate the connectivity of the graph
$\Delta _{\text {virt}}(G)$
obtained from
$\Gamma _{\text {virt}}(G)$
by removing its isolated vertices. In particular, we prove that for every positive integer t, there exists a finitely generated prosoluble group G with the property that
$\Delta _{\operatorname {\mathrm {virt}}}(G)$
has precisely t connected components. Moreover, we study the graph
$\widetilde \Gamma _{\operatorname {\mathrm {virt}}}(G)$
, whose vertices are again the elements of G and where two vertices are adjacent if and only if there exists a minimal generating set of G containing them. In this case, we prove that the subgraph
$\widetilde \Delta _{\operatorname {\mathrm {virt}}}(G)$
obtained removing the isolated vertices is connected and has diameter at most 3.