In this paper, we study intersection configurations – which describe the behaviour of multiple (finite) intersections of subgroups with respect to finite generability – in the realm of free and free times free-abelian (FTFA) groups. We say that a configuration is realizable in a group $G$ if there exist subgroups $H_1,\ldots, H_k \leqslant G$ realizing it. It is well known that free groups ${\mathbb {F}_{n}}$ satisfy the Howson property: the intersection of any two finitely generated subgroups is again finitely generated. We show that the Howson property is indeed the only obstruction for multiple intersection configurations to be realizable within nonabelian free groups. On the contrary, FTFA groups ${\mathbb {F}_{n}} \times \mathbb {Z}^m$ are well known to be non-Howson. We also study multiple intersections within FTFA groups, providing an algorithm to decide, given $k\geq 2$ finitely generated subgroups, whether their intersection is again finitely generated and, in the affirmative case, compute a ‘basis’ for it. We finally prove that any intersection configuration is realizable in an FTFA group ${\mathbb {F}_{n}} \times \mathbb {Z}^m$, for $n\geq 2$ and large enough $m$. As a consequence, we exhibit finitely presented groups where every intersection configuration is realizable.

In the setting of finite groups, suppose $J$ acts on $N$ via automorphisms so that the induced semidirect product $N\rtimes J$ acts on some non-empty set $\Omega$, with $N$ acting transitively. Glauberman proved that if the orders of $J$ and $N$ are coprime, then $J$ fixes a point in $\Omega$. We consider the non-coprime case and show that if $N$ is abelian and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$. We also show that if $N$ is nilpotent, $N\rtimes J$ is supersoluble, and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$.

In our paper, we study multiplicative properties of difference sets $A-A$ for large sets $A \subseteq {\mathbb {Z}}/q{\mathbb {Z}}$ in the case of composite q. We obtain a quantitative version of a result of A. Fish about the structure of the product sets $(A-A)(A-A)$. Also, we show that the multiplicative covering number of any difference set is always small.

This is a contribution to the study of $\mathrm {Irr}(G)$ as an $\mathrm {Aut}(G)$-set for G a finite quasisimple group. Focusing on the last open case of groups of Lie type $\mathrm {D}$ and $^2\mathrm {D}$, a crucial property is the so-called $A'(\infty )$ condition expressing that diagonal automorphisms and graph-field automorphisms of G have transversal orbits in $\mathrm {Irr}(G)$. This is part of the stronger $A(\infty )$ condition introduced in the context of the reduction of the McKay conjecture to a question about quasisimple groups. Our main theorem is that a minimal counterexample to condition $A(\infty )$ for groups of type $\mathrm {D}$ would still satisfy $A'(\infty )$. This will be used in a second paper to fully establish $A(\infty )$ for any type and rank. The present paper uses Harish-Chandra induction as a parametrization tool. We give a new, more effective proof of the theorem of Geck and Lusztig ensuring that cuspidal characters of any standard Levi subgroup of $G=\mathrm {D}_{ l,\mathrm {sc}}(q)$ extend to their stabilizers in the normalizer of that Levi subgroup. This allows us to control the action of automorphisms on these extensions. From there, Harish-Chandra theory leads naturally to a detailed study of associated relative Weyl groups and other extendibility problems in that context.

For a finite abelian group A, the Reidemeister number of an endomorphism φ is the same as the number of fixed points of φ, and the Reidemeister spectrum of A is completely determined by the Reidemeister spectra of its Sylow p-subgroups. To compute the Reidemeister spectrum of a finite abelian p-group P, we introduce a new number associated to an automorphism ψ of P that captures the number of fixed points of ψ and its (additive) multiples, we provide upper and lower bounds for that number, and we prove that every power of p between those bounds occurs as such a number.

We study Cayley graphs of abelian groups from the perspective of quantum symmetries. We develop a general strategy for determining the quantum automorphism groups of such graphs. Applying this procedure, we find the quantum symmetries of the halved cube graph, the folded cube graph, and the Hamming graphs.

We study the Eisenstein series associated to the full rank cusps in a complete hyperbolic manifold. We show that given a Kleinian group $\Gamma <{\operatorname{\mathrm{Isom}}}^+(\mathbb H^{n+1})$, each full rank cusp corresponds to a cohomology class in $H^{n}(\Gamma , V)$, where V is either the trivial coefficient or the adjoint representation. Moreover, by computing the intertwining operator, we show that different cusps give rise to linearly independent classes.

Consider the following classes of pairs consisting of a group and a finite collection of subgroups:

• • $ \mathcal{C}= \left \{ (G,\mathcal{H}) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right \}$

• • $ \mathcal{D}= \left \{ (G,\mathcal{H}) \mid \text{the relative Dehn function of $(G,\mathcal{H})$ is well-defined} \right \} .$

Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that

1. 1. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.

2. 2. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.

3. 3. For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in \mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in \mathcal{H}$.

That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.

Let $\textbf {G}$ be a simply connected semisimple algebraic group over a field of characteristic greater than the Coxeter number. We construct a monoidal action of the diagrammatic Hecke category on the principal block $\operatorname {Rep}_0(\textbf {G})$ of $\operatorname {Rep}(\textbf {G})$ by wall-crossing functors. This action was conjectured to exist by Riche and Williamson. Our method uses constructible sheaves and relies on Smith–Treumann theory.

We propose a notion of a proper Ehresmann semigroup based on a three-coordinate description of its generating elements governed by certain labelled directed graphs with additional structure. The generating elements are determined by their domain projection, range projection and σ-class, where σ denotes the minimum congruence that identifies all projections. We prove a structure result on proper Ehresmann semigroups and show that every Ehresmann semigroup has a proper cover. Our covering monoid turns out to be isomorphic to that from the work by Branco, Gomes and Gould and provides a new view of the latter. Proper Ehresmann semigroups all of whose elements admit a three-coordinate description are characterized in terms of partial multiactions of monoids on semilattices. As a consequence, we recover the two-coordinate structure result on proper restriction semigroups.

We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli–Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular fibres over the maximal equicontinuous factor. The ideas are illustrated using the class of substitution shifts. A body of elaborate examples shows that the assumptions of our results cannot be relaxed.

For an unramified reductive group, we determine the connected components of affine Deligne–Lusztig varieties in the affine flag variety. Based on work of Hamacher, Kim, and Zhou, this result allows us to verify, in the unramified group case, the He–Rapoport axioms, the almost product structure of Newton strata, and the precise description of isogeny classes predicted by the Langlands–Rapoport conjecture, for the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.

This paper studies the structure and preservational properties of lower bounded HNN extensions of inverse semigroups, as introduced by Jajcayová. We show that if $S^* = [ S;\; U_1,U_2;\; \phi ]$ is a lower bounded HNN extension then the maximal subgroups of $S^*$ may be described using Bass-Serre theory, as the fundamental groups of certain graphs of groups defined from the $\mathcal{D}$-classes of $S$, $U_1$ and $U_2$. We then obtain a number of results concerning when inverse semigroup properties are preserved under the HNN extension construction. The properties considered are completely semisimpleness, having finite $\mathcal{R}$-classes, residual finiteness, being $E$-unitary, and $0$-$E$-unitary. Examples are given, such as an HNN extension of a polycylic inverse monoid.

For a group G and $m\ge 1$, let $G^m$ denote the subgroup generated by the elements $g^m$, where g runs through G. The subgroups not of the form $G^m$ are the nonpower subgroups of G. We classify the groups with at most nine nonpower subgroups.

A generating set for a finite group G is minimal if no proper subset generates G, and $m(G)$ denotes the maximal size of a minimal generating set for G. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing that there exist $a,b> 0$ such that any finite group G satisfies $m(G) \leqslant a \cdot \delta (G)^b$, for $\delta (G) = \sum _{p \text { prime}} m(G_p)$, where $G_p$ is a Sylow p-subgroup of G. To do this, we first bound $m(G)$ for all almost simple groups of Lie type (until now, no nontrivial bounds were known except for groups of rank $1$ or $2$). In particular, we prove that there exist $a,b> 0$ such that any finite simple group G of Lie type of rank r over the field $\mathbb {F}_{p^f}$ satisfies $r + \omega (f) \leqslant m(G) \leqslant a(r + \omega (f))^b$, where $\omega (f)$ denotes the number of distinct prime divisors of f. In the process, we confirm a conjecture of Gill and Liebeck that there exist $a,b> 0$ such that a minimal base for a faithful primitive action of an almost simple group of Lie type of rank r over $\mathbb {F}_{p^f}$ has size at most $ar^b + \omega (f)$.

A subgroup A of a group G is said to be hereditarily G-permutable with a subgroup B of G, if $AB^x = B^xA$ for some element $x \in \langle A, B \rangle $. A subgroup A of a group G is said to be hereditarily G-permutable in G if A is hereditarily G-permutable with every subgroup of G. In this paper, we investigate the structure of a finite group G with all its Schmidt subgroups hereditarily G-permutable.

In this paper, we investigate finite solvable tidy groups. We prove that a solvable group with order divisible by at least two primes is tidy if all of its Hall subgroups that are divisible by only two primes are tidy.

Assume that G is a finite group, N is a nontrivial normal subgroup of G and p is an odd prime. Let $\mathrm{Irr}_p(G)=\{\chi \in \mathrm{Irr}(G) : \chi (1)=1~\mathrm{or}~ p \mid \chi (1)\}$ and $\mathrm{Irr}_p(G|N)=\{\chi \in \mathrm{Irr}_p(G) : N \not \leq \mathrm{ker}\,\chi \}$. The average character degree of irreducible characters of $\mathrm{Irr}_p(G)$ and the average character degree of irreducible characters of $\mathrm{Irr}_p(G|N)$ are denoted by $\mathrm{acd}_p(G)$ and $\mathrm{acd}_p(G|N)$, respectively. We show that if $\mathrm{Irr}_p(G|N) \neq \emptyset $ and $\mathrm{acd}_p(G|N) < \mathrm{acd}_p(\mathrm{PSL}_2(p))$, then G is p-solvable and $O^{p'}(G)$ is solvable. We find examples that make this bound best possible. Moreover, we see that if $\mathrm{Irr}_p(G|N) = \emptyset $, then N is p-solvable and $P \cap N$ and $PN/N$ are abelian for every $P \in \mathrm{Syl}_p(G)$.

A. Mark and J. Paupert [Presentations for cusped arithmetic hyperbolic lattices, 2018, arXiv:1709.06691.] presented a method to compute a presentation for any cusped complex hyperbolic lattice. In this note, we will use their method to give a presentation for the Eisenstein-Picard modular group in three complex dimensions.