Jespers and Sun conjectured in [27] that if a finite group G has the property ND, i.e. for every nilpotent element n in the integral group ring $\mathbb{Z}G$ and every primitive central idempotent $e \in \mathbb{Q}G$ one still has $ne \in \mathbb{Z}G$, then at most one of the simple components of the group algebra $\mathbb{Q} G$ has reduced degree bigger than 1. With the exception of one very special series of groups we are able to answer their conjecture, showing that it is true—up to exactly one exception. To do so, we first classify groups with the so-called SN property which was introduced by Liu and Passman in their investigation of the Multiplicative Jordan Decomposition for integral group rings.

The conjecture of Jespers and Sun can also be formulated in terms of a group q(G) made from the group generated by the unipotent units, which is trivial if and only if the ND property holds for the group ring. We answer two more open questions about q(G) and notice that this notion allows to interpret the studied properties in the general context of linear semisimple algebraic groups. Here we show that q(G) is finite for lattices of big rank but can contain elements of infinite order in small rank cases.

We then study further two properties which appeared naturally in these investigations. A first which shows that property ND has a representation theoretical interpretation, while the other can be regarded as indicating that it might be hard to decide ND. Among others we show these two notions are equivalent for groups with SN.

We adapt the abstract concepts of abelianness and centrality of universal algebra to the context of inverse semigroups. We characterize abelian and central congruences in terms of the corresponding congruence pairs. We relate centrality to conjugation in inverse semigroups. Subsequently, we prove that solvable and nilpotent inverse semigroups are groups.

We introduce a generating function approach to the affine Brauer and Kauffman categories, and show how it allows one to efficiently recover important sets of relations in these categories. We use this formalism to deduce restrictions on possible categorical actions and show how this recovers admissibility results that have appeared in the literature on cyclotomic Birman–Murakami–Wenzl (BMW) algebras and their degenerate versions, also known as cyclotomic Nazarov–Wenzl algebras or VW algebras.

We strengthen the maximal ergodic theorem for actions of groups of polynomial growth to a form involving jump quantity, which is the sharpest result among the family of variational or maximal ergodic theorems. As two applications, we first obtain the upcrossing inequalities with exponential decay of ergodic averages and then provide an explicit bound on the convergence rate such that the ergodic averages with strongly continuous regular group actions are metastable (or locally stable) on a large interval. Before exploiting the transference techniques, we actually obtain a stronger result—the jump estimates on a metric space with a measure not necessarily doubling. The ideas or techniques involve martingale theory, non-doubling Calderón–Zygmund theory, almost orthogonality argument, and some delicate geometric argument involving the balls and the cubes on a group equipped with a not necessarily doubling measure.

We show how finiteness properties of a group and a subgroup transfer to finiteness properties of the Schlichting completion relative to this subgroup.n Further, we provide a criterion when the dense embedding of a discrete group into the Schlichting completion relative to one of its subgroups induces an isomorphism in (continuous) cohomology. As an application, we show that the continuous cohomology of the Neretin group vanishes in all positive degrees.

Given an automorphism ϕ of a group G, the map $(g,h) \mapsto gh\phi(g)^{-1}$, defines a left action of G on itself, whose orbits are called the ϕ-twisted conjugacy classes. In this paper, we consider two interesting aspects of this action for mapping class groups, namely, the existence of a dense orbit and the count of orbits. Generalising the idea of the Rokhlin property, a topological group is said to exhibit the twisted Rokhlin property if, for each automorphism ϕ of the group, there exists a ϕ-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type surfaces without boundaries whose mapping class groups possess the twisted Rokhlin property. Additionally, we prove that the mapping class groups of the remaining surfaces do not admit any dense ϕ-twisted conjugacy class for any automorphism ϕ. This supplements the recent work of Lanier and Vlamis on the Rokhlin property of big mapping class groups. Regarding the count of twisted conjugacy classes, we prove that the number of ϕ-twisted conjugacy classes is infinite for each automorphism ϕ of the mapping class group of a connected orientable infinite-type surface without boundary.

Let Fn be the free group on $n \geq 2$ generators. We show that for all $1 \leq m \leq 2n-3$ (respectively, for all $1 \leq m \leq 2n-4$), there exists a subgroup of ${\operatorname{Aut}(F_n)}$ (respectively, ${\operatorname{Out}(F_n)}$), which has finiteness of type Fm but not of type $FP_{m+1}(\mathbb{Q})$; hence, it is not m-coherent. In both cases, the new result is the upper bound $m= 2n-3$ (respectively, $m = 2n-4$), as it cannot be obtained by embedding direct products of free noncyclic groups, and certifies higher incoherence up to the virtual cohomological dimension and is therefore sharp. As a tool of the proof, we discuss the existence and nature of multiple inequivalent extensions of a suitable finite-index subgroup K4 of ${\operatorname{Aut}(F_2)}$ (isomorphic to the quotient of the pure braid group on four strands by its centre): the fibre of four of these extensions arise from the strand-forgetting maps on the braid groups, while a fifth is related with the Cardano–Ferrari epimorphism.

In this work, we introduce the type and typeset invariants for equicontinuous group actions on Cantor sets; that is, for generalized odometers. These invariants are collections of equivalence classes of asymptotic Steinitz numbers associated to the action. We show the type is an invariant of the return equivalence class of the action. We introduce the notion of commensurable typesets and show that two actions which are return equivalent have commensurable typesets. Examples are given to illustrate the properties of the type and typeset invariants. The type and typeset invariants are used to define homeomorphism invariants for solenoidal manifolds.

A finite group is said to be n-cyclic if it contains n cyclic subgroups. For a finite group G, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group G and is denoted by $\textit {cdeg} (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which solves a problem posed by Tărnăuceanu and Tóth [‘Cyclicity degrees of finite groups’, Acta Math. Hungar. 145(2) (2015), 489–504].

We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous examples and prove in many cases that there cannot be a non-singular mixed identity.

In this paper, we initiate the study of higher rank Baumslag–Solitar (BS) semigroups and their related C*-algebras. We focus on two rather interesting classes—one is related to products of odometers and the other is related to Furstenberg’s $\times p, \times q$ conjecture. For the former class, whose C*-algebras are studied in [32], we here characterize the factoriality of the associated von Neumann algebras and further determine their types; for the latter, we obtain their canonical Cartan subalgebras. In the rank 1 case, we study a more general setting that encompasses (single-vertex) generalized BS semigroups. One of our main tools in this paper is from self-similar higher rank graphs and their C*-algebras.

We propose and present evidence for a conjectural global-local phenomenon concerning the p-rationality of height-zero characters. Specifically, if $\chi $ is a height-zero character of a finite group G and D is a defect group of the p-block of G containing $\chi $, then the p-rationality of $\chi $ can be captured inside the normalizer ${\mathbf {N}}_G(D)$.

We study the geometry induced on the local orbit spaces of Killing vector fields on (Riemannian) $G$-manifolds, with an emphasis on the cases $G=\textrm {Spin}(7)$ and $G=G_2$. Along the way, we classify the harmonic morphisms with one-dimensional fibres from $G_2$-manifolds to Einstein manifolds.

In 1954, B. H. Neumann discovered that if $G$ is a group in which all conjugacy classes have finite cardinality at most $m$, then the derived group $G'$ is finite of $m$-bounded order. In 2018, G. Dierings and P. Shumyatsky showed that if $|x^G| \le m$ for any commutator $x\in G$, then the second derived group $G''$ is finite and has $m$-bounded order. This paper deals with finite groups in which $|x^G|\le m$ whenever $x\in G$ is a commutator of prime power order. The main result is that $G''$ has $m$-bounded order.

For each $n\geq 1$, let $FT_n$ be the free tree monoid of rank n and $E_n$ the full extensive transformation monoid over the finite chain $\{1, 2, \ldots , n\}$. It is shown that the monoids $FT_n$ and $E_{n+1}$ satisfy the same identities. Therefore, $FT_n$ is finitely based if and only if $n\leq 3$.

We study the freeness problem for multiplicative subgroups of $\operatorname{SL}_2(\mathbb{Q})$. For $q = r/p$ in $\mathbb{Q} \cap (0,4)$, where p is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic structure of the group $\Delta_q$ generated by

\[A = \begin{pmatrix}1 & 0 \\ 1 & 1\end{pmatrix} \text{ and } Q_q = \begin{pmatrix}1 & q \\ 0 & 1\end{pmatrix}.\]

$\Delta_{r/p} = \overline{\Gamma}_1^{(p)}(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$r \leq 4$

$r = 5$

$r \in \{ p-1, p+1, (p+1)/2 \}$

$\Delta_{r/p}$

$J_2(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$J_2(r)$

We establish some interactions between uniformly recurrent subgroups (URSs) of a group G and cosets topologies $\tau _{\mathcal {N}}$ on G associated to a family $\mathcal {N}$ of normal subgroups of G. We show that when $\mathcal {N}$ consists of finite index subgroups of G, there is a natural closure operation $\mathcal {H} \mapsto \mathrm {cl}_{\mathcal {N}}(\mathcal {H})$ that associates to a URS $\mathcal {H}$ another URS $\mathrm {cl}_{\mathcal {N}}(\mathcal {H})$, called the $\tau _{\mathcal {N}}$-closure of $\mathcal {H}$. We give a characterization of the URSs $\mathcal {H}$ that are $\tau _{\mathcal {N}}$-closed in terms of stabilizer URSs. This has consequences on arbitrary URSs when G belongs to the class of groups for which every faithful minimal profinite action is topologically free. We also consider the largest amenable URS $\mathcal {A}_G$ and prove that for certain coset topologies on G, almost all subgroups $H \in \mathcal {A}_G$ have the same closure. For groups in which amenability is detected by a set of laws (a property that is variant of the Tits alternative), we deduce a criterion for $\mathcal {A}_G$ to be a singleton based on residual properties of G.

An action of a group G on a set X is said to be quasi-n-transitive if the diagonal action of G on $X^n$ has only finitely many orbits. We show that branch groups, a special class of groups of automorphisms of rooted trees, cannot act quasi-2-transitively on infinite sets.

Let G be an affine algebraic group over an algebraically closed field of positive characteristic. Recent work of Hardesty, Nakano, and Sobaje gives necessary and sufficient conditions for the existence of so-called mock injective G-modules, that is, modules which are injective upon restriction to all Frobenius kernels of G. In this article, we give analogous results for contramodules, including showing that the same necessary and sufficient conditions on G guarantee the existence of mock projective contramodules. In order to do this, we first develop contramodule analogs to many well-known (co)module constructions.

Given a symmetric monoidal category ${\mathcal C}$ with product $\sqcup $, where the neutral element for the product is an initial object, we consider the poset of $\sqcup $-complemented subobjects of a given object X. When this poset has finite height, we define decompositions and partial decompositions of X which are coherent with $\sqcup $, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

In well-studied scenarios, the poset of $\sqcup $-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of nondegenerate subspaces of a vector space with a nondegenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.