2024-10-29 | | Total: 10
For a finite group $G$, the vertices of the prime graph $\Gamma(G)$ are the primes that divide $|G|$, and two vertices $p$ and $q$ are connected by an edge if there is an element of order $pq$ in $G$. Prime graphs of solvable groups have been classified, and prime graphs of groups whose noncyclic composition factors are isomorphic to a single nonabelian simple group $T$ have been classified in the case where $T$ has order divisible by exactly three or four distinct primes, except for the cases $T = \operatorname{Sz}(8)$, $T = \operatorname{Sz}(32)$, and $T = \operatorname{PSL}(2,q)$, which in some sense are the hardest cases. In this paper, we complete the classification for $T = \operatorname{Sz}(32)$, $T = \operatorname{Sz}(8)$, and $T = \operatorname{PSL}(2,2^5)$, with the latter two being the first cases ever studied where $|\text{Out}(T)|$ has prime factors which do not divide $|T|$. The groups studied in this paper are also the first ones requiring knowledge of their Brauer character tables to complete the classification task.
Every abelian (and even every nilpotent) group contains a solution of any finite unimodular system of equations over itself. However, this is not true for infinite systems. We deduced a criterion for a periodic abelian group to contain a solution of any infinite unimodular system of equations over itself. Using this criterion, we show that nilpotent groups of bounded period also contain solutions of all infinite unimodular systems of equations over themselves. Solvability of every nonsingular infinite system of equations in each divisible nilpotent group is shown as well.
Let $p>3$ be a prime number and let $A$ be a brace whose additive group is a direct sum of cyclic groups of cardinalities larger than $p^{\alpha }$ for some $\alpha $. Suppose that either (i) $A^{\lfloor{\frac {p-1}4}\rfloor}\subseteq pA$ or that (ii) the additive group of brace $A$ has rank smaller than ${\lfloor{\frac {p-1}4}\rfloor}$. It is shown that for every natural number $i\leq \alpha- {\frac {4\alpha }{p-1}}$ the factor brace $A/p^{i}A$ is obtained by a formula similar to the group of flows from a left nilpotent pre-Lie ring.
We prove that the doubly generalized conjugacy problem is decidable for rational subsets of finitely generated virtually free groups: there is an algorithm taking as input two rational subsets $K_1$ and $K_2$ of a virtually free group that decides whether there is one element of $K_1$ conjugate to an element of $K_2$. For free groups, we prove that the same problem is decidable with rational constraints on the set of conjugators.
This work provides an effective algorithm for distinguishing finite quotients between two non-isomorphic finitely generated Fuchsian groups $\Gamma$ and $\Lambda$. It will suffice to take a finite quotient which is abelian, dihedral, a subgroup of $\mathrm{PSL}(2,\mathbf{F}_q)$, or an abelian extension of one of these 3. We will develop an approach for creating group extensions upon a shared finite quotient of $\Gamma$ and $\Lambda$ which between them have differing degrees of smoothness. Regarding the order of a finite quotient that distinguishes between $\Gamma$ and $\Lambda$, we establish an upperbound as a function of the genera, the number of punctures, and the cone orders arising in $\Gamma$ and $\Lambda$.
We consider metric versions of weak soficity, LEF and residual finiteness. The main results of the paper extend Glebsky and Rivera's characterization of weak soficity to the case of normally finitely generated groups with word metrics. Metric LEF and residual finiteness are also characterized in this class. We deduce that the free group $\mathsf{F}_2$ is not metrically weakly sofic with respect to its standard invariant word norm.
We continue to study left-invariant pseudo-Riemannian metrics on Lie groups being in the null cone of the $O(p,q)$-action using the moving bracket approach. In particular, the Lie algebra being in the null cone implies that the pseudo-Riemannian metric have all vanishing scalar curvature invariants (VSI). We consider \emph{all} Lie algebras of dimension $\leq 6$ and we find that all solvable Lie algebras, and non-trivially Levi-decomposable Lie algebras, of dimension $\leq 6$ are in the null cone, \emph{except} the 3-dimensional solvable Lie algebra $\mathfrak{s}_{3,3}$. For $\mathfrak{g}$ semi-simple, we also give a construction where $\mathfrak{g}\oplus\mathbb{R}^m$ is in the null cone and give examples of such spaces for \emph{all} the real simple Lie algebras $\mathfrak{g}$. For example, for the exceptional split groups this construction places the split $\mathfrak{e}_6\oplus\mathbb{R}^6$, split $\mathfrak{e}_7\oplus\mathbb{R}^7$ and split $\mathfrak{e}_8\oplus\mathbb{R}^8$ in the null cone of the $O(42,42)$, $O(70.70)$ and $O(128,128)$ action, respectively, and hence, their corresponding left-invariant pseudo-Riemannian metrics are VSI.
We bound the volume of thick embeddings of finite graphs into the Heisenberg group, as well as the volume of coarse wirings of finite graphs into groups with polynomial growth. This work follows the work of Kolmogorov-Brazdin, Gromov-Guth and Barret-Hume on thick embeddings of graphs (or complexes) into various spaces. We present here a conjecture of Itai Benjamini that suggest that the lower bound of the volume of thick embeddings of finite graphs into locally finite, non-planar, transitive graphs, obtained by the separation profile, is tight. Let $Y$ be a Cayley graph of a group with polynomial growth, we prove that any finite bounded-degree graph $G$ admits a coarse $C\log(1+|G|)$-wiring into $Y$ with the optimal volume suggested by the conjecture. Additionally, for the concrete case where $Y$ is a Cayley graph of the 3 dimensional discrete Heisenberg group, we prove that any finite bounded-degree graph $G$ admits a $1$-thick embedding into $Y$, with optimal volume up to factor $\log^2(1+|G|)$.
Motivated by the recent work of Algom-Kfir and Bestinva introducing the mapping class group of an infinite graph via proper homotopy equivalences, we give a necessary and sufficient condition for a surface to be properly homotopy equivalent to a graph. We consider second-countable orientable surfaces that are possibly infinite-type and have noncompact boundary. For surfaces proper homotopy equivalent to graphs, we explore the basic properties of the induced map between the mapping class groups of the surface and the graph. We view this induced map as the basis of a Dehn-Nielsen-Baer analog in the setting of infinite-type surfaces.
McKay's conjecture (1971) on character degrees was reduced by Isaacs-Malle-Navarro (2007) to a so-called inductive condition on characters of finite quasisimple groups [IMN07], thus opening the way to a proof of McKay's conjecture using the classification of finite simple groups. After [Ma07], [Ma08], [S12], [CS13], [KS16], [MS16], [CS17a], [CS17b], [CS19], [S23a], [S23b], we complete here the last step of a proof with an analysis of the representations of certain normalizers ${\mathrm N}_G({\mathbf S})$ in $G={\mathbf G}^F$ of maximal $d$-tori ${\mathbf S}$ ($d\geq 3$) of the ambient simple simply-connected algebraic group ${\mathbf G}$ of type ${\mathrm D}_l$ ($l\geq 4$) for which $F$ is a Frobenius endomorphism. To establish the so-called local conditions A$(d)$ and B$(d)$, we introduce a certain class of $F$-stable reductive subgroups ${\mathbf M}\leq {\mathbf G}$ of maximal rank where ${\mathbf M}^\circ$ is of type ${\mathrm D}_{l_1}\times {\mathrm D}_{l-l_1}$ with ${\mathbf M}/{\mathbf M}^\circ$ of order 2. They are an efficient substitute for ${\mathrm N}_G({\mathbf S})$ or the local subgroups in non-defining characteristic relevant to McKay's abstract statement. For a general class of those subgroups ${\mathbf M}^F$ we describe their characters and the action of $\operatorname {Aut}({\mathbf G}^F)_{{\mathbf M}^F}$ on them, showing in particular that $\mathrm{Irr}({\mathbf M}^F)$ and $\mathrm {Irr}({\mathbf G}^F)$ share some key features in that regard. With this established, McKay's conjecture is now a theorem stating $\textit{McKay's equality}$: For any prime $\ell$, any finite group has as many irreducible complex characters of degree prime to $\ell$ as the normalizers of its Sylow $\ell$-subgroups.