群论

If $H$ is a Hall subgroup of a finite group $G$, it was proven in 1989 using the classification of finite simple groups that all the irreducible complex characters of $H$ extend to $G$ if and only if there is $N\trianglelefteq G$ such that…

The M\"obius function of the subgroup lattice of a finite group has been introduced by Hall and applied to investigate several questions. In this paper, we consider the M\"obius function defined on an order ideal related to the lattice of…

Let $G$ be a group with a non-elementary action on a proper CAT(0) space $X$, and let $\mu$ be a measure on $G$ such that the random walk $(Z_n)_n$ generated by $\mu$ has finite second moment on $X$. Let $o$ be a basepoint in $X$, and…

A $\Lambda$-tree is a $\Lambda$-metric space satisfying three axioms (1), (2) and (3). We give a characterization of those ordered abelian groups $\Lambda$ for which axioms (1) and (2) imply axiom (3). As a special case, it follows that for…

A graph is called claw-free if it contains no induced subgraph isomorphic to the complete bipartite graph $K_{1, 3}$. The undirected power graph of a group $G$ has vertices the elements of $G$, with an edge between $g_1$ and $g_2$ if one of…

We compute the automorphism group of the intersection graph of many large-type Artin groups. This graph is an analogue of the curve graph of mapping class groups but in the context of Artin groups. As an application, we deduce a number of…

Let $[n]^{(k)}$ be the set of all ordered $k$-tuples of distinct elements in $[n]=\{1,2,...,n\}$. The $(n,k,r)$-arrangement graph $A(n,k,r)$ with $1\leq r\leq k\leq n$, is the graph with vertex set $[n]^{(k)}$ and with two $k$-tuples are…

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed…

The notion of essential submodules and essential extensions of modules are extended to groups (typically nonabelian), and several necessary and sufficient conditions for a group to possess a proper essential subgroup are investigated.…

We prove two results on some special generators of finite simple groups and use them to prove that every non-abelian finite simple group $S$ admits a non-congruence presentation (as conjectured in [CLT24]), and that if $S$ has a non-trivial…

In this note, we give a group-theoretic condition which is equivalent to the fact that the trivial character is the only complex irreducible character of a finite group G which is contained in the principal p-block for each prime p in a…

We show that the Morse boundary of a Morse local-to-global group is $\sigma$-compact. Moreover, we show that the converse holds for small cancellation groups. As an application, we show that the Morse boundary of a non-hyperbolic, Morse…

We aim to interpret important constructions in the theory of automorphisms of the shift dynamical system in terms of subgroups $\mathcal{L}_{n,r}$ of the outer-automorphism groups $\mathcal{O}_{n,r}$ of the Higman--Thompson group $G_{n,r}$,…

Let $G$ be a finite group and $H$ be a subgroup of $G$. Then $H$ is called a weakly $S\Phi$-supplemented subgroup of $G$, if there exists a subgroup $T$ of $G$ such that $G =HT$ and $H \cap T \leq \Phi (H) H_{sG}$, where $H_{sG}$ denotes…

We find all irreducible hypergeometric sheaves whose geometric monodromy group is finite, almost quasisimple and has the projective special linear group $PSL_n(q)$ with $n\geq 3$ as a composition factor. We use the classification of…

We address the following open problem, implicit in the 1990 article "Automorphisms of one-sided subshifts of finite type" of Boyle, Franks and Kitchens (BFK): "Does there exists an element $\psi$ in the group of automorphisms of the…

We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups.

We show that the enumeration of linear orbits and conjugacy classes of $\mathbf{Z}$-defined unipotent groups over finite fields is "wild" in the following sense: given an arbitrary scheme $Y$ of finite type over $\mathbf{Z}$ and integer…

We give a uniform vanishing criterion for products in bounded cohomology. This allows us to reprove and extend previous vanishing results for cup products and Massey triple products in the bounded cohomology of free groups and in the…

We prove that if $G$ is a finite simple group and $x, y \in G$ are involutions, then $|x^G \cap C_G(y)| \rightarrow \infty$ as $|G| \rightarrow \infty$. This extends results of Guralnick-Robinson and Skresanov. We also prove a related…