# Mathematics - Group Theory Publications (50)

## Search

## Mathematics - Group Theory Publications

In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations. Read More

This paper studies intersections of principal blocks of a finite group with respect to different primes. We first define the block graph of a finite group G, whose vertices are the prime divisors of |G| and there is an edge between two vertices p \ne q if and only if the principal p- and q-blocks of G have a nontrivial common complex irreducible character of G. Then we determine the block graphs of finite simple groups, which turn out to be complete except those of J_1 and J_4. Read More

Let $n$ and $k$ be natural numbers such that $2^k < n$. We study the restriction to $\mathfrak{S}_{n-2^k}$ of odd-degree irreducible characters of the symmetric group $\mathfrak{S}_n$. This analysis completes the study begun in "Odd partitions in Young's lattice" by A. Read More

Given a finite group $G$, the generating graph $\Gamma(G)$ of $G$ has as vertices the (nontrivial) elements of $G$ and two vertices are adjacent if and only if they are distinct and generate $G$ as group elements. In this paper we investigate properties about the degrees of the vertices of $\Gamma(G)$ when $G$ is an alternating group or a symmetric group. In particular, we determine the vertices of $\Gamma(G)$ having even degree and show that $\Gamma(G)$ is Eulerian if and only if $n$ and $n-1$ are not equal to a prime number congruent to 3 modulo 4. Read More

Kleiner's theorem states that for a finitely generated group $\mathbb{G}$, polynomial growth implies that the space of harmonic functions with polynomial growth of degree at most $k$ is finite dimensional. We show a generalization to the class of measures with exponential tail. This has implications to the structure of the space of polynomially growing harmonic functions. Read More

We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient group to be compactly generated. Read More

We provide sufficient conditions to guarantee that a translation based cipher is not vulnerable with respect to the partition-based trapdoor. This trapdoor has been introduced, recently, by Bannier et al. (2016) and it generalizes that introduced by Paterson in 1999. Read More

Warped cones are metric spaces introduced by John Roe from discrete group actions on compact metric spaces to produce interesting examples in coarse geometry. We show that a certain class of warped cones $\mathcal{O}_\Gamma (M)$ admit a fibred coarse embedding into a $L_p$-space ($1\leq p<\infty$) if and only if the discrete group $\Gamma$ admits a proper affine isometric action on a $L_p$-space. This actually holds for any class of Banach spaces stable under taking Lebesgue-Bochner $L_p$-spaces and ultraproducts, e. Read More

We show that there exists a positive number $M_0$ such that for any odd $M\geq M_0$ a random group of exponent $M$ with overwhelming probability is infinite in the few relator model and in the density $d$ model for small $d$. Read More

Let $(X,T,\mu)$ be a Cantor minimal sytem and $[[T]]$ the associated topological full group. We analyze $C^*_\pi([[T]])$, where $\pi$ is the Koopman representation attached to the action of $[[T]]$ on $(X,\mu)$. Specifically, we show that $C^*_\pi([[T]])=C^*_\pi([[T]]')$ and that the kernel of the character $\tau$ on $C^*_\pi([[T]])$ coming from weak containment of the trivial representation is a hereditary $C^*$-subalgebra of $C(X)\rtimes\mathbb{Z}$. Read More

Let $W$ be a quasiprojective variety over an algebraically closed field of characteristic zero. Assume that $W$ is birational to a product of a smooth projective variety $A$ and the projective line. We prove that if $A$ contains no rational curves then the automorphism group $G:=Aut(W)$ of $W$ is Jordan. Read More

A group K is said to be a B-group if every permutation group containing K as a regular subgroup is either imprimitive or 2-transitive. In the second edition of his influential textbook on finite groups, Burnside published a proof that cyclic groups of composite prime-power degree are B-groups. Ten years later in 1921 he published a proof that every abelian group of composite degree is a B-group. Read More

We prove that if a right-angled Artin group $A_\Gamma$ is abstractly commensurable to a group splitting non-trivially as an amalgam or HNN-extension over $\mathbb{Z}^n$, then $A_\Gamma$ must itself split non-trivially over $\mathbb{Z}^k$ for some $k\le n$. Consequently, if two right-angled Artin groups $A_\Gamma$ and $A_\Delta$ are commensurable and $\Gamma$ has no separating $k$-cliques for any $k\le n$ then neither does $\Delta$, so "smallest size of separating clique" is a commensurability invariant. We also discuss some implications for issues of quasi-isometry. Read More

In this note I give a formula for calculating the number of orbits of irreducible binary forms of degree $n$ over GF$(p)$ under the action of GL$(2,p)$. This formula has applications to the classification of class two groups of exponent $p$ with derived groups of order $p^2$. Read More

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. Read More

We give some background on uniform pro-p groups and the model theory of profinite NIP groups. Read More

Categorical equivalences between block algebras of finite groups - such as Morita and derived equivalences - are well-known to induce character bijections which commute with the Galois groups of field extensions. This is the motivation for attempting to realise known Morita and derived equivalences over non splitting fields. This article presents various result on the theme of descent. Read More

We study the decomposition of certain reducible characters of classical groups as the sum of irreducible ones. Let ${\mathbf G}$ be an algebraic group of classical type with defining characteristic $p>0$, $\mu$ a dominant weight and $W$ the Weyl group of ${\mathbf G}$. Let $G=G(q)$ be a finite classical group, where $q$ is a $p$-power. Read More

We prove that $Out(F_N)$ is boundary amenable. This also holds more generally for $Out(G)$, where $G$ is either a toral relatively hyperbolic group or a right-angled Artin group. As a consequence, all these groups satisfy the Novikov conjecture on higher signatures. Read More

Braces are generalizations of radical rings, introduced by Rump to study involutive nondegenerate solutions of the Yang--Baxter equation (YBE). Skew braces were also recently introduced as a tool to study not necessarily involutive solutions. Roughly speaking, skew braces provide group-theoretical and ring-theoretical methods to understand solutions of the YBE. Read More

Let $n$ be a positive integer and $G(n)$ denote the number of non-isomorphic finite groups of order $n$. It is well-known that $G(n) = 1$ if and only if $(n,\phi(n)) = 1$, where $\phi(n)$ and $(a, b)$ denote the Euler's totient function and the greatest common divisor of $a$ and $b$, respectively. The aim of this paper is to first present a new proof for the case of $G(n) = 2$ and then give a solution to the equation of $G(n) = 3$. Read More

We study groups $G$ where the $\varphi$-conjugacy class $[e]_{\varphi}=\{g^{-1}\varphi(g)~|~g\in G\}$ of the unit element is a subgroup of $G$ for every automorphism $\varphi$ of $G$. If $G$ has $n$ generators, then we prove that the $k$-th member of the lower central series has a finite verbal width bounded in terms of $n,k$. Moreover, we prove that if such group $G$ satisfies the descending chain condition for normal subgroups, then $G$ is nilpotent. Read More

In this article a new concentration inequality is proven for Lipschitz maps on the infinite Hamming graphs and taking values in Tsirelson's original space. This concentration inequality is then used to disprove the conjecture that the separable infinite dimensional Hilbert space coarsely embeds into every infinite dimensional Banach space. Some positive embeddability results are proven for the infinite Hamming graphs and the countably branching trees using the theory of spreading models. Read More

We show that a graded Lie algebra admits a Levi decomposition that is compatible with the grading. Read More

In this paper, we compute the number of z-classes (conjugacy classes of centralizers of elements) in the symmetric group S_n, when n is greater or equal to 3 and alternating group A_n, when n is greater or equal to 4. It turns out that the difference between the number of conjugacy classes and the number of z-classes for S_n is determined by those restricted partitions of n-2 in which 1 and 2 do not appear as its part. And, in the case of alternating groups, it is determined by those restricted partitions of n-3 which has all its parts distinct, odd and in which 1 (and 2) does not appear as its part, along with an error term. Read More

A quasiantichain is a lattice consisting of a maximum, a minimum, and the atoms of the lattice. The width of a quasiantichian is the number of atoms. For a positive integer $w$ ($\ge 3$), a quasiantichain of width $w$ is denoted by $\mathcal{M}_{w}$. Read More

We introduce a new quasi-isometry invariant of 2-dimensional right-angled Coxeter groups, the hypergraph index, that partitions these groups into infinitely many quasi-isometry classes, each containing infinitely many groups. Furthermore, the hypergraph index of any right-angled Coxeter group can be directly computed from the group's defining graph. The hypergraph index yields an upper bound for a right-angled Coxeter group's order of thickness, order of algebraic thickness and divergence function. Read More

We study the class of groups having the property that every non-nilpotent subgroup is equal to its normalizer. These groups are either soluble or perfect. We completely describe the structure of soluble groups and finite perfect groups with the above property. Read More

We consider two manifestations of non-positive curvature: acylindrical actions (on hyperbolic spaces) and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for simultaneously studying many important families of groups, including mapping class groups, right-angled Coxeter groups, most 3-manifold groups, right-angled Artin groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces. Read More

Two-sided group digraphs, introduced by Iradmusa and Praeger, provide a generalization of Cayley digraphs in which arcs are determined by left and right multiplying by elements of two subsets of the group. We characterize when two-sided group digraphs are connected and count connected components, using both an explicit elementary perspective and group actions. Our results and examples address four open problems posed by Iradmusa and Praeger that concern connectedness and valency. Read More

A smallest generating set of a semigroup is a generating set of the smallest cardinality. Similarly, an irredundant generating set $X$ is a generating set such that no proper subset of $X$ is also a generating set. A semigroup $S$ is ubiquitous if every irredundant generating set of $S$ is of the same cardinality. Read More

The class of connected LOG (Labelled Oriented Graph) groups coincides with the class of fundamental groups of complements of closed, orientable 2-manifolds embedded in S^4, and so contains all knot groups. We investigate when Campbell and Robertson's generalized Fibonacci groups H(r,n,s) are connected LOG groups. In doing so, we use the theory of circulant matrices to calculate the Betti numbers of their abelianizations. Read More

**Affiliations:**

^{1}IMB,

^{2}IMB,

^{3}IMB

**Category:**Mathematics - Group Theory

We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group. Read More

Given a group $G$, we define the power graph $\mathcal{P}(G)$ as follows: the vertices are the elements of $G$ and two vertices $x$ and $y$ are joined by an edge if $\langle x\rangle\subseteq \langle y\rangle$ or $\langle y\rangle\subseteq \langle x\rangle$. Obviously the power graph of any group is always connected, because the identity element of the group is adjacent to all other vertices. In the present paper, among other results, we will find the number of spanning trees of the power graph associated with specific finite groups. Read More

The vertices of the four dimensional $120$-cell form a non-crystallographic root system whose corresponding symmetry group is the Coxeter group $H_{4}$. There are two special coordinate representations of this root system in which they and their corresponding Coxeter groups involve only rational numbers and the golden ratio $\tau$. The two are related by the conjugation $\tau \mapsto\tau' = -1/\tau$. Read More

The study of the set of limit roots associated to an infinite Coxeter group was initiated by Hohlweg, Labb\'{e} and Ripoll and further developed by Dyer, Hohlweg, P\'eaux and Ripoll. The Davis complex associated to a finitely generated Coxeter group $W$ is a piecewise Euclidean CAT(0) space on which $W$ acts properly, cocompactly by isometries. The one skeleton of the Davis complex can be identified with the Cayley graph of $W$. Read More

Motivated by expansion in Cayley graphs, we show that there exist infinitely many groups $G$ with a nontrivial irreducible unitary representation whose average over every set of $o(\log\log|G|)$ elements of $G$ has operator norm $1 - o(1)$. This answers a question of Lovett, Moore, and Russell, and strengthens their negative answer to a question of Wigderson. The construction is the affine group of $\mathbb{F}_p$ and uses the fact that for every $A \subset \mathbb{F}_p\setminus\{0\}$, there is a set of size $\exp(\exp(O(|A|)))$ that is almost invariant under both additive and multiplicatpive translations by elements of $A$. Read More

This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank $3$ into the direct product of two copies of the monoid of $3\times 3$ upper-triangular tropical matrices, giving a new proof that the plactic monoid of rank $3$ satisfies a non-trivial identity. Read More

A graph is said to be {\em vertex-transitive non-Cayley} if its full automorphism group acts transitively on its vertices and contains no subgroups acting regularly on its vertices. In this paper, a complete classification of cubic vertex-transitive non-Cayley graphs of order $12p$, where $p$ is a prime, is given. As a result, there are $11$ sporadic and one infinite family of such graphs, of which the sporadic ones occur when $p=5$, $7$ or $17$, and the infinite family exists if and only if $p\equiv1\ (\mod 4)$, and in this family there is a unique graph for a given order. Read More

Let K be a nontrivial knot in the 3-sphere with the exterior E(K). A slope element u in the knot group G(K) is a nontrivial element represented by a simple closed curve on the boundary of E(K). Each slope element u defines a normal subgroup, the normal closure of u. Read More

Every sequence of orbifolds corresponding to pairwise non-conjugate congruence lattices in a higher rank semisimple group over local fields of zero characteristic is Benjamini--Schramm convergent to the universal cover. Read More

We present a normal form for outer automorphisms $\phi$ of a non-abelian free group $F_N$ which grow quadratically (measured through the maximal growth of conjugacy classes in $F_N$ under iteration of $\phi$). In analogy to the known normal form for linear growing automorphisms as efficient Dehn twist, our normal form for $\phi$ is given in terms of a 2-level graph-of-groups $\cal{G}$ with $\pi_1 \cal{G} \cong F_N$, where a conjugacy class of $F_N$ grows at most linearly if and only if it is contained in a vertex group of $\cal{G}$. Our proof is based on earlier work of the second author and on a new cancellation result, which also allows us to show that the dynamics of the induced $\phi$-action on Outer space $CV_N$ consists entirely of parabolic orbits, with limit points all assembled in the simplex $\Delta_\cal{G} \subset \partial CV_N$ determined by $\cal{G}$. Read More

This text surveys classical and recent results in the field of amenability of groups, from a combinatorial standpoint. It has served as the support of courses at the University of G\"ottingen and the \'Ecole Normale Sup\'erieure. The goals of the text are (1) to be as self-contained as possible, so as to serve as a good introduction for newcomers to the field; (2) to stress the use of combinatorial tools, in collaboration with functional analysis, probability etc. Read More

We consider decidability problems in self-similar semigroups, and in particular in semigroups of automatic transformations of $X^*$. We describe algorithms answering the word problem, and bound its complexity under some additional assumptions. We give a partial algorithm that decides in a group generated by an automaton, given $x,y$, whether an Engel identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) is satisfied. Read More

We construct a family of right-angled Coxeter groups which provide counter-examples to questions about the stable boundary of a group, one-endedness of quasi-geodesically stable subgroups, and the commensurability types of right-angled Coxeter groups. Read More

We show that for any pair of non-trivial finite groups, their coproduct in the category of finite groups is not representable. Read More

By definition the identities $[x_1, x_2] + [x_2, x_1] = 0$ and $[x_1, x_2, x_3] + [x_2, x_3, x_1] + [x_3, x_1, x_2] = 0$ hold in any Lie algebra. It is easy to check that the identity $[x_1, x_2, x_3, x_4] + [x_2, x_1, x_4, x_3] + [x_3, x_4, x_1, x_2] + [x_4, x_3, x_2, x_1] = 0$ holds in any Lie algebra as well. I. Read More

Let $G$ be a finitely generated group of isometries of $\HH^m$, hyperbolic $m$-space, for some positive integer $m$. %or equivalently elements of $PSL(2,\CC)$. The discreteness problem is to determine whether or not $G$ is discrete. Read More