For any (Hausdorff) compact group G, denote by $\mathrm{cp}(G)$ the probability that a randomly chosen pair of elements of G commute. We prove that there exists a finite group H such that $\mathrm{cp}(G)= {\mathrm{cp}(H)}/{|G:F|^2}$ , where F is the FC-centre of G and H is isoclinic to F with $\mathrm{cp}(F)=\mathrm{cp}(H)$ whenever $\mathrm{cp}(G)>0$ . In addition, we prove that a compact group G with $\mathrm{cp}(G)>\tfrac {3}{40}$ is either solvable or isomorphic to $A_5 \times Z(G)$ , where $A_5$ denotes the alternating group of degree five and the centre $Z(G)$ of G contains the identity component of G.

A subgroup H of a group G is said to be contranormal in G if the normal closure of H in G is equal to G. In this paper, we consider groups whose nonmodular subgroups (of infinite rank) are contranormal.

Given a finite group G with a normal subgroup N, the simple graph $\Gamma _{\textit {G}}( \textit {N} )$ is a graph whose vertices are of the form $|x^G|$ , where $x\in {N\setminus {Z(G)}}$ and $x^G$ is the G-conjugacy class of N containing the element x. Two vertices $|x^G|$ and $|y^G|$ are adjacent if they are not coprime. We prove that, if $\Gamma _G(N)$ is a connected incomplete regular graph, then $N= P \times {A}$ where P is a p-group, for some prime p, $A\leq {Z(G)}$ and $\textbf {Z}(N)\not = N\cap \textbf {Z}(G)$ .

A subgroup H of a group G is pronormal in G if each of its conjugates $H^g$ in G is conjugate to it in the subgroup $\langle H,H^g\rangle $ ; a group is prohamiltonian if all of its nonabelian subgroups are pronormal. The aim of the paper is to show that a locally soluble group of (regular) cardinality in which all proper uncountable subgroups are prohamiltonian is prohamiltonian. In order to obtain this result, it is proved that the class of prohamiltonian groups is detectable from the behaviour of countable subgroups. Examples are exhibited to show that there are uncountable prohamiltonian groups that do not behave very well. Finally, it is shown that prohamiltonicity can sometimes be detected through the analysis of the finite homomorphic images of a group.

Morgan and Parker proved that if G is a group with ${\textbf{Z}(G)} = 1$ , then the connected components of the commuting graph of G have diameter at most $10$ . Parker proved that if, in addition, G is solvable, then the commuting graph of G is disconnected if and only if G is a Frobenius group or a $2$ -Frobenius group, and if the commuting graph of G is connected, then its diameter is at most $8$ . We prove that the hypothesis $Z (G) = 1$ in these results can be replaced with $G' \cap {\textbf{Z}(G)} = 1$ . We also prove that if G is solvable and $G/{\textbf{Z}(G)}$ is either a Frobenius group or a $2$ -Frobenius group, then the commuting graph of G is disconnected.

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.

The paper gives a simple proof of Graev’s theorem (asserting that the free product of Hausdorff topological groups is Hausdorff) for a particular case which includes the countable case of $k_\omega $ -groups and the countable case of Lindelöf P-groups. For this it is shown that in these particular cases the topology of the free product of Hausdorff topological groups coincides with the $X_0$ -topology in the Mal’cev sense, where X is the disjoint union of the topological groups identifying their units.

We prove that the invariably generating graph of a finite group can have an arbitrarily large number of connected components with at least two vertices.

Let $G(n)={\textrm {Sp}}(n,1)$ or ${\textrm {SU}}(n,1)$ . We classify conjugation orbits of generic pairs of loxodromic elements in $G(n)$ . Such pairs, called ‘nonsingular’, were introduced by Gongopadhyay and Parsad for ${\textrm {SU}}(3,1)$ . We extend this notion and classify $G(n)$ -conjugation orbits of such elements in arbitrary dimension. For $n=3$ , they give a subspace that can be parametrized using a set of coordinates whose local dimension equals the dimension of the underlying group. We further construct twist-bend parameters to glue such representations and obtain local parametrization for generic representations of the fundamental group of a closed (genus $g \geq 2$ ) oriented surface into $G(3)$ .

We give the construction of some locally indicable groups which are strongly bounded (every abstract action on a metric space has bounded orbits).

We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms.

Soient K un corps discrètement valué et hensélien, ${\mathcal {O}}$ son anneau d’entiers supposé excellent, $\kappa $ son corps résiduel supposé parfait et G un K-groupe quasi-réductif, c’est-à-dire lisse, affine, connexe et à radical unipotent déployé trivial. On construit l’immeuble de Bruhat-Tits ${\mathcal {I}}(G, K)$ pour $G(K)$ de façon canonique, améliorant les constructions moins canoniques de M. Solleveld sur les corps locaux, et l’on associe un ${\mathcal {O}}$ -modèle en groupes ${\mathcal {G}}_{\Omega }$ de G à chaque partie non vide et bornée $\Omega $ contenue dans un appartement de ${\mathcal {I}}(G,K)$ . On montre que les groupes parahoriques ${\mathcal {G}}_{\textbf {f}}$ attachés aux facettes peuvent être caractérisés en fonction de la géométrie de leurs grassmanniennes affines, ainsi que dans la thèse de T. Richarz. Ces résultats sont appliqués ailleurs à l’étude des grassmanniennes affines tordues entières.

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.

Parapolar spaces are point-line geometries introduced as a geometric approach to (exceptional) algebraic groups. We characterize a wide class of Lie geometries as parapolar spaces satisfying a simple intersection property. In particular, many of the exceptional Lie incidence geometries occur. In an appendix, we extend our result to the locally disconnected case and discuss the locally disconnected case of some other well-known characterizations.

We prove that the sign of the Euler characteristic of arithmetic groups with the congruence subgroup property is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the sign of the Euler characteristic is not profinite among general residually finite groups of type F. Our methods imply similar results for $\ell^2$ -torsion as well as a strong profiniteness statement for Novikov–Shubin invariants.

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.

Let $a_1$ , $a_2$ , and $a_3$ be distinct reduced residues modulo q satisfying the congruences $a_1^2 \equiv a_2^2 \equiv a_3^2 \ (\mathrm{mod}\ q)$ . We conditionally derive an asymptotic formula, with an error term that has a power savings in q, for the logarithmic density of the set of real numbers x for which $\pi (x;q,a_1)> \pi (x;q,a_2) > \pi (x;q,a_3)$ . The relationship among the $a_i$ allows us to normalize the error terms for the $\pi (x;q,a_i)$ in an atypical way that creates mutual independence among their distributions, and also allows for a proof technique that uses only elementary tools from probability.

Ryabukhin showed that there is a correspondence between elementary radical classes of rings and certain filters of ideals of the free ring on one generator, analogous to the Gabriel correspondence between torsion classes of left unital modules and certain filters of left ideals of the coefficient ring. This correspondence is further explored here. All possibilities for the intersection of the ideals in a filter are catalogued, and the connections between filters and other ways of describing elementary radical classes are investigated. Some generalisations to nonassociative rings and groups are also presented.

Let G be a finite group, and let cs(G) be the set of conjugacy class sizes of G. Recalling that an element g of G is called a vanishing element if there exists an irreducible character of G taking the value 0 on g, we consider one particular subset of cs(G), namely, the set vcs(G) whose elements are the conjugacy class sizes of the vanishing elements of G. Motivated by the results inBianchi et al. (2020, J. Group Theory, 23, 79–83), we describe the class of the finite groups G such that vcs(G) consists of a single element under the assumption that G is supersolvable or G has a normal Sylow 2-subgroup (in particular, groups of odd order are covered). As a particular case, we also get a characterization of finite groups having a single vanishing conjugacy class size which is either a prime power or square-free.

If ${\mathfrak {F}}$ is a type-definable family of commensurable subsets, subgroups or subvector spaces in a metric structure, then there is an invariant subset, subgroup or subvector space commensurable with ${\mathfrak {F}}$. This in particular applies to type-definable or hyper-definable objects in a classical first-order structure.