We prove that if $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}S$ is a properly embedded $\pi _1$-injective surface in a compact 3-manifold $M$, then $\pi _1S$ is separable in $\pi _1M$.

Let $W$ be an extended affine Weyl group. We prove that the minimal length elements $w_{{\mathcal{O}}}$ of any conjugacy class ${\mathcal{O}}$ of $W$ satisfy some nice properties, generalizing results of Geck and Pfeiffer [On the irreducible characters of Hecke algebras, Adv. Math. 102 (1993), 79–94] on finite Weyl groups. We also study a special class of conjugacy classes, the straight conjugacy classes. These conjugacy classes are in a natural bijection with the Frobenius-twisted conjugacy classes of some $p$-adic group and satisfy additional interesting properties. Furthermore, we discuss some applications to the affine Hecke algebra $H$. We prove that $T_{w_{{\mathcal{O}}}}$, where ${\mathcal{O}}$ ranges over all the conjugacy classes of $W$, forms a basis of the cocenter $H/[H,H]$. We also introduce the class polynomials, which play a crucial role in the study of affine Deligne–Lusztig varieties He [Geometric and cohomological properties of affine Deligne–Lusztig varieties, Ann. of Math. (2) 179 (2014), 367–404].

Assume that $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}m$ and $n$ are two positive integers which do not divide each other. If the set of conjugacy class sizes of primary and biprimary elements of a group $G$ is $\{1, m, n, mn\}$, we show that up to central factors $G$ is a $\{p,q\}$-group for two distinct primes $p$ and $q$.

We introduce a family of infinite nonamenable discrete groups as an interpolation of the Higman–Thompson groups by using the topological full groups of the groupoids defined by $\beta $-expansions of real numbers. They are regarded as full groups of certain interpolated Cuntz algebras, and realized as groups of piecewise-linear functions on the unit interval in the real line if the $\beta $-expansion of $1$ is finite or ultimately periodic. We also classify them by a number-theoretical property of $\beta $.

We prove the existence of certain rationally rigid triples in ${E}_{8}(p)$ for good primes $p$ (i.e. $p>5$) thereby showing that these groups occur as Galois groups over the field of rational numbers. We show that these triples arise from rigid triples in the algebraic group and prove that they generate an interesting subgroup in characteristic zero. As a byproduct of the proof, we derive a remarkable symmetry between the character table of a finite reductive group and that of its dual group. We also give a short list of possible overgroups of regular unipotent elements in simple exceptional groups.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}G$ be a finite 2-group. If $G$ is of coclass 2 or $(G,Z(G))$ is a Camina pair, then $G$ admits a noninner automorphism of order 2 or 4 leaving the Frattini subgroup elementwise fixed.

The present paper is related to some recent studies in Abdollahi and Russo [‘On a problem of P. Hall for Engel words’, Arch. Math. (Basel) 97 (2011), 407–412] and Fernández-Alcober et al. [‘A note on conciseness of Engel words’, Comm. Algebra 40 (2012), 2570–2576] on the position of the $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}n$-Engel marginal subgroup $E^*_n(G)$ of a group $G$, when $n=3,4$. Describing the size of $E^*_n(G)$ for $n=3,4$, we show some generalisations of classical results on the partial margins of $E^*_3(G)$ and $E^*_4(G)$.

In this paper we prove that every group with at most 26 normalisers is soluble. This gives a positive answer to Conjecture 3.6 in the author’s paper [On groups with a finite number of normalisers’, Bull. Aust. Math. Soc.86 (2012), 416–423].

Given a cardinal $\lambda $ with $\lambda =\lambda ^{\aleph _0}$ , we show that there is a field of cardinality $\lambda $ whose automorphism group is a free group of rank $2^\lambda $ . In the proof of this statement, we develop general techniques that enable us to realize certain groups as the automorphism group of structures of a given cardinality. They allow us to show that analogues of this result hold for free objects in various varieties of groups. For example, the free abelian group of rank $2^\lambda $ is the automorphism group of a field of cardinality $\lambda $ whenever $\lambda $ is a cardinal with $\lambda =\lambda ^{\aleph _0}$ . Moreover, we apply these techniques to show that consistently the assumption that $\lambda =\lambda ^{\aleph _0}$ is not necessary for the existence of a field of cardinality $\lambda $ whose automorphism group is a free group of rank $2^\lambda $ . Finally, we use them to prove that the existence of a cardinal $\lambda $ of uncountable cofinality with the property that there is no field of cardinality $\lambda $ whose automorphism group is a free group of rank greater than $\lambda $ implies the existence of large cardinals in certain inner models of set theory.

Let $G(q)$ be a finite Chevalley group, where $q$ is a power of a good prime $p$ , and let $U(q)$ be a Sylow $p$ -subgroup of $G(q)$ . Then a generalized version of a conjecture of Higman asserts that the number $k(U(q))$ of conjugacy classes in $U(q)$ is given by a polynomial in $q$ with integer coefficients. In [S. M. Goodwin and G. Röhrle, J. Algebra 321 (2009) 3321–3334], the first and the third authors of the present paper developed an algorithm to calculate the values of $k(U(q))$ . By implementing it into a computer program using $\mathsf{GAP}$ , they were able to calculate $k(U(q))$ for $G$ of rank at most five, thereby proving that for these cases $k(U(q))$ is given by a polynomial in $q$ . In this paper we present some refinements and improvements of the algorithm that allow us to calculate the values of $k(U(q))$ for finite Chevalley groups of rank six and seven, except $E_7$ . We observe that $k(U(q))$ is a polynomial, so that the generalized Higman conjecture holds for these groups. Moreover, if we write $k(U(q))$ as a polynomial in $q-1$ , then the coefficients are non-negative.

Under the assumption that $k(U(q))$ is a polynomial in $q-1$ , we also give an explicit formula for the coefficients of $k(U(q))$ of degrees zero, one and two.

In this paper, we establish that complete Kac–Moody groups over finite fields are abstractly simple. The proof makes essential use of Mathieu and Rousseau’s construction of complete Kac–Moody groups over fields. This construction has the advantage that both real and imaginary root spaces of the Lie algebra lift to root subgroups over arbitrary fields. A key point in our proof is the fact, of independent interest, that both real and imaginary root subgroups are contracted by conjugation of positive powers of suitable Weyl group elements.

We describe various classes of infinitely presented groups that are condensation points in the space of marked groups. A well-known class of such groups consists of finitely generated groups admitting an infinite minimal presentation. We introduce here a larger class of condensation groups, called infinitely independently presentable groups, and establish criteria which allow one to infer that a group is infinitely independently presentable. In addition, we construct examples of finitely generated groups with no minimal presentation, among them infinitely presented groups with Cantor–Bendixson rank 1, and we prove that every infinitely presented metabelian group is a condensation group.

We show that there are only finitely many primes $p$ such that $\mathrm{PSL} (2, p)$ has a minimal generating set of size four.

Supplementary materials are available with this article.

In this paper we introduce the notion of finite virtual length for profinite groups (that is, every series has a bounded number of infinite factors) and we prove a Jordan–Hölder type theorem for profinite groups with finite virtual length. More structural results are provided in the pronilpotent and $p$-adic analytic cases.

Let $G$ be a finite $p$-solvable group and let ${G}^{\ast } $ be the set of elements of primary and biprimary orders of $G$. Suppose that the conjugacy class sizes of ${G}^{\ast } $ are $\{ 1, {p}^{a} , n, {p}^{a} n\} $, where the prime $p$ divides the positive integer $n$ and ${p}^{a} $ does not divide $n$. Then $G$ is, up to central factors, a $\{ p, q\} $-group with $p$ and $q$ two distinct primes. In particular, $G$ is solvable.

Many problems about local analysis in a finite group G reduce to a special case in which G has a large normal p-subgroup satisfying several restrictions. In 1983, R. Niles and G. Glauberman showed that every finite p-group S of nilpotence class at least 4 must have two characteristic subgroups S1 and S2 such that, whenever S is a Sylow p-subgroup of a group G as above, S1 or S2 is normal in G. In this paper, we prove a similar theorem with a more explicit choice of S1 and S2.

Let G be a finite p-solvable group. We describe the structure of the p-complements of G when the set of p-regular conjugacy classes has exactly three class sizes. For instance, when the set of p-regular class sizes of G is {1, pa, pam} or {1, m, pam} with (m, p) = 1, then we show that m = qb for some prime q and the structure of the p-complements of G is determined.

Let 𝕂 be a field, char(𝕂)≠2, and G a subgroup of GL(n,𝕂). Suppose g↦g♯ is a 𝕂-linear antiautomorphism of G, and then define G1={g∈G∣g♯g=I}. For C being the centraliser 𝒞G (G1) , or any subgroup of the centre 𝒵(G) , define G(C) ={g∈G∣g♯g∈C}. We show that G(C) is a subgroup of G, and study its structure. When C=𝒞G (G1) , we have that G(C) =𝒩G (G1) , the normaliser of G1 in G. Suppose 𝕂 is algebraically closed, 𝒞G (G1)consists of scalar matrices and G1 is a connected subgroup of an affine group G. Under the latter assumptions, 𝒩G (G1)is a self-normalising subgroup of G. This holds for a number of interesting pairs (G,G1); in particular, for those that we call parabolic pairs. As well, for a certain specific setting we generalise a standard result about centres of Borel subgroups.

c-Sections of maximal subgroups in a finite group and their relation to solvability have been extensively researched in recent years. A fundamental result due to Wang [‘C-normality of groups and its properties’, J. Algebra 180 (1998), 954–965] is that a finite group is solvable if and only if the c-sections of all its maximal subgroups are trivial. In this paper we prove that if for each maximal subgroup of a finite group G, the corresponding c-section order is smaller than the index of the maximal subgroup, then each composition factor of G is either cyclic or isomorphic to the O’Nan sporadic group (the converse does not hold). Furthermore, by a certain ‘refining’ of the latter theorem we obtain an equivalent condition for solvability. Finally, we provide an existence result for large subgroups in the sense of Lev [‘On large subgroups of finite groups’ J. Algebra 152 (1992), 434–438].

Let G be a finite group and let H≤G. We refer to |H||CG(H)| as the Chermak–Delgado measure ofH with respect to G. Originally described by Chermak and Delgado, the collection of all subgroups of G with maximal Chermak–Delgado measure, denoted 𝒞𝒟(G), is a sublattice of the lattice of all subgroups of G. In this paper we note that if H∈𝒞𝒟(G)then H is subnormal in G and prove that if K is a second finite group then 𝒞𝒟(G×K)=𝒞𝒟(G)×𝒞𝒟(K) . We additionally describe the 𝒞𝒟(G≀Cp)where G has a nontrivial centre and p is an odd prime and determine conditions for a wreath product to be a member of its own Chermak–Delgado lattice. We also examine the behaviour of centrally large subgroups, a subset of the Chermak–Delgado lattice.