Group Theory
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 26 May 20
 [1] arXiv:2005.11513 [pdf, ps, other]

Title: Toward's Schur's Exponent ConjectureComments: 17 pages, Preliminary/First Draft VersionSubjects: Group Theory (math.GR)
We prove that $\e(H_2(G,\mathbb{Z})) \mid p\ \e(G)$ for $p$ (odd prime $p$) groups of class 7 and for $p$ groups of class at most $p+1$ with $\e(Z(G))=p$. We prove Schurs conjecture if $\e(G/Z(G))=n$, where $n=2,3,6$. We also prove Schurs conjecture if $G$ is a group with an abelian normal subgroup of index $p$. Furthermore we prove that if $G$ is a solvable group of derived length 3 and $\e(G)=p$, then $\e(H_2(G,\mathbb{Z})) \mid (\e(G))^2$
 [2] arXiv:2005.11553 [pdf, ps, other]

Title: The classification of extremely primitive groupsComments: 63 pagesSubjects: Group Theory (math.GR)
Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$. These groups arise naturally in several different contexts and their study can be traced back to work of Manning in the 1920s. In this paper, we determine the almost simple extremely primitive groups with socle an exceptional group of Lie type. By combining this result with earlier work of Burness, Praeger and Seress, this completes the classification of the almost simple extremely primitive groups. Moreover, in view of results by Mann, Praeger and Seress, our main theorem gives a complete classification of all finite extremely primitive groups, up to finitely many affine exceptions (and it is conjectured that there are no exceptions). Along the way, we also establish several new results on base sizes for primitive actions of exceptional groups, which may be of independent interest.
 [3] arXiv:2005.11554 [pdf, ps, other]

Title: A note on extremely primitive affine groupsComments: 8 pagesSubjects: Group Theory (math.GR)
Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$. In earlier work, Mann, Praeger and Seress have proved that every extremely primitive group is either almost simple or of affine type and they have classified the affine groups up to the possibility of at most finitely many exceptions. More recently, the almost simple extremely primitive groups have been completely determined. If one assumes Wall's conjecture on the number of maximal subgroups of almost simple groups, then the results of Mann et al. show that it just remains to eliminate an explicit list of affine groups in order to complete the classification of the extremely primitive groups. In this note, we prove that none of these candidates are extremely primitive, as conjectured by Mann et al.
 [4] arXiv:2005.11751 [pdf, other]

Title: On 3strand singular pure braid groupComments: 18 pages, 1 figureSubjects: Group Theory (math.GR)
In the present paper we study the singular pure braid group $SP_{n}$ for $n=2, 3$. We find generators, defining relations and the algebraical structure of these groups. In particular, we prove that $SP_{3}$ is a semidirect product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNNextension with base group $\mathbb{Z}^2 * \mathbb{Z}^2$ and cyclic associated subgroups. We prove that the center $Z(SP_3)$ of $SP_3$ is a direct factor in $SP_3$.
 [5] arXiv:2005.11868 [pdf, ps, other]

Title: Explicit formulas for the cohomology of the elementary abelian $p$groupsAuthors: ConstantinNicolae BeliSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
Let $G$ be an elementary abelian $p$group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$.
Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be the basis of $V$ over ${\mathbb F}_p$ which is dual to the basis $s_1,\ldots,s_r$ of $G$. For $1\leq i\leq r$ we denote by $y_i=\beta (x_i)\in H^2(G,{\mathbb F}_p)$, where $\beta :H^1(G,{\mathbb F}_p)\to H^2(G,{\mathbb F}_p)$ is the connecting Bockstein map.
The ring $(H^*(G,{\mathbb F}_p),+,\cup )$ satisfies $$H^*(G,{\mathbb F}_p)\cong\begin{cases}{\mathbb F}_p[x_1,\ldots,x_r]&p=2\\ \Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]&p>2\end{cases}.$$
When $p=2$ the isomorphism $\tau :{\mathbb F}_p[x_1,\ldots,x_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\cdots x_{i_n}\mapsto x_{i_1}\cup\cdots\cup x_{i_n}\in H^n(G,{\mathbb F}_p)$. When $p>3$ the isomorphism $\tau :\Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\wedge\cdots\wedge x_{i_l}\otimes y_{j_1}\cdots y_{j_k}\mapsto x_{i_1}\cup\cdots\cup x_{i_l}\cup y_{j_1}\cup\cdots\cup y_{j_k}\in H^{2k+l}(G,{\mathbb F}_p)$.
In this paper we give explicit formulas for the inverse isomorphism $\tau^{1}$. The elements of $H^*(G,{\mathbb F}_p)$ are written in terms of normalized cochains. During the proof we use an alternative way to describe the normalized cochains. Namely, for every $G$module $M$ we have $C^n(G,M)\cong{\rm Hom}(T^n({\mathcal I}),M)$, where ${\mathcal I}$ is the augmented ideal of $G$, ${\mathcal I}=\ker\varepsilon :{\mathbb Z}[G]\to{\mathbb Z}$.  [6] arXiv:2005.11896 [pdf, other]

Title: The dynamics and geometry of free group endomorphismsAuthors: Jean Pierre MutanguhaComments: 59 pages, 6 figuresSubjects: Group Theory (math.GR)
We prove that ascending HNN extensions of free groups are wordhyperbolic if and only if they have no BaumslagSolitar subgroups. This extends the theorem of Brinkmann that freebycyclic groups are wordhyperbolic if and only if they have no free abelian subgroups of rank 2. The paper is split into two independent parts:
1) We study the dynamics of injective nonsurjective endomorphisms of free groups. We prove a structure theorem that initializes the development of improved relative train tracks for endomorphisms; this structure theorem is of independent interest since it makes many open questions about injective endomorphisms tractable.
2) As an application of the structure theorem, we are able to (relatively) combine Brinkmann's theorem with our previous work and obtain the main result stated above. In the final section, we further extend the result to HNN extensions of free groups over free factors.  [7] arXiv:2005.12003 [pdf, ps, other]

Title: Factoring nonabelian finite groups into two subsetsJournalref: Siberian Electronic Mathematical Reports, Vol. 17 (2020), 683689Subjects: Group Theory (math.GR)
A group $G$ is said to be factorized into subsets $A_1, A_2, \ldots, A_s\subseteq G$ if every element $g$ in $G$ can be uniquely represented as $g=g_1g_2\ldots g_s$, where $g_i\in A_i$, $i=1,2,\ldots,s$. We consider the following conjecture: for every finite group $G$ and every factorization $n=ab$ of its order, there is a factorization $G=AB$ with $A=a$ and $B=b$. We show that a minimal counterexample to this conjecture must be a nonabelian simple group and prove the conjecture for every finite group the nonabelian composition factors of which have orders less than $10\,000$.
 [8] arXiv:2005.12057 [pdf, ps, other]

Title: Homogeneous quandles arising from automorphisms of symmetric groupsComments: 20 pagesSubjects: Group Theory (math.GR); Geometric Topology (math.GT)
Quandle is an algebraic system with one binary operation, but it is quite different from a group. Quandle has its origin in the knot theory and good relationships with the theory of symmetric spaces, so it is wellstudied from points of view of both areas. In the present paper, we investigate a special kind of quandles, called generalized Alexander quandles $Q(G,\psi)$, which is defined by a group $G$ together with its group automorphism $\psi$. We develop the quandle invariants for generalized Alexander quandles. As a result, we prove that there is a onetoone correspondence between generalized Alexander quandles arising from symmetric groups $\Sf_n$ and the conjugacy classes of $\Sf_n$ for $3 \leq n \leq 30$ with $n \neq 6,15$, and the case $n=6$ is also discussed.
 [9] arXiv:2005.12204 [pdf, ps, other]

Title: The Polish topology of the isometry group of the infinite dimensional hyperbolic spaceAuthors: Bruno DuchesneComments: Comments are welcome!Subjects: Group Theory (math.GR); Dynamical Systems (math.DS); Metric Geometry (math.MG)
We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For nonlocally compact Polish groups, some striking phenomena like automatic continuity or extreme amenability may happen. Our leading idea is to compare this topological group with usual Lie groups on one side and with nonArchimedean infinite dimensional groups like $\mathcal{S}_\infty$, the group of all permutations of a countable set on the other side. Our main results are
 Automatic continuity (any homomorphism to a separable group is continuous). Identification of its universal Furstenberg boundary as the closed unit ball of a separable Hilbert space with its weak topology. Identification of its universal minimal flow as the completion of some suspension of the action of the additive group of the reals on its universal minimal flow.
All along the text, we lead a parallel study with the sibling group of isometries of a separable Hilbert space.  [10] arXiv:2005.12211 [pdf, ps, other]

Title: Minimal permutation representations for ${\rm GL}_2(\mathbb F_q)$Comments: 13 pagesSubjects: Group Theory (math.GR)
In this paper we determine all minimal permutation representations of ${\rm GL}_2(\mathbb F_q)$.
Crosslists for Tue, 26 May 20
 [11] arXiv:2005.11594 (crosslist from math.RA) [pdf, ps, other]

Title: Residually finite dimensional algebras and polynomial almost identitiesSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $12^{d}$, then $Q$ is an identity of $A$. This solves a ringtheoretic analogue of a (still open) grouptheoretic problem posed by Dixon.
 [12] arXiv:2005.11956 (crosslist from math.GT) [pdf, other]

Title: Statistics of finite degree covers of torus knot complementsComments: 32 pages, 1 figureSubjects: Geometric Topology (math.GT); Combinatorics (math.CO); Group Theory (math.GR); Probability (math.PR)
In the first part of this paper, we determine the asymptotic subgroup growth of the fundamental group of a torus knot complement. In the second part, we use this to study random finite degree covers of torus knot complements. We determine their BenjaminiSchramm limit and the linear growth rate of the Betti numbers of these covers. All these results generalise to a larger class of lattices in $\mathrm{PSL}(2,\mathbb{R})\times \mathbb{R}$. As a byproduct of our proofs, we obtain analogous limit theorems for high degree random covers of nonuniform Fuchsian lattices with torsion.
 [13] arXiv:2005.11983 (crosslist from math.CO) [pdf, ps, other]

Title: On fixity of arctransitive graphsComments: 8 pagesSubjects: Combinatorics (math.CO); Group Theory (math.GR)
The relative fixity of a permutation group is the maximum proportion of the points fixed by a nontrivial element of the group and the relative fixity of a graph is the relative fixity of its automorphism group, viewed as a permutation group on the vertexset of the graph. We prove in this paper that the relative fixity of connected $2$arctransitive graphs of a fixed valence tends to $0$ as the number of vertices grows to infinity. We prove the same result for the class of arctransitive graphs of a fixed prime valence, and more generally, for any class of arctransitive locally$L$ graphs, where $L$ is a fixed quasiprimitive graphrestrictive permutation group.
Replacements for Tue, 26 May 20
 [14] arXiv:2001.01909 (replaced) [pdf, ps, other]

Title: Congruence lattices of ideals in categories and (partial) semigroupsComments: V2 incorporates referee's suggestions. To appear in Memoirs of the AMS. 108 pages, 32 figuresSubjects: Group Theory (math.GR); Category Theory (math.CT); Rings and Algebras (math.RA)
 [15] arXiv:2005.00216 (replaced) [pdf, ps, other]

Title: Formal solutions and the firstorder theory of acylindrically hyperbolic groupsComments: 57 pages, no figures; added references, revised argument in subsection 3.4, results unchangedSubjects: Group Theory (math.GR); Logic (math.LO)
 [16] arXiv:2005.03396 (replaced) [pdf, other]

Title: A closer look at the nonHopfianness of $BS(2,3)$Authors: Tom KaiserComments: 12 pages, 13 figures, comments welcomeSubjects: Group Theory (math.GR)
 [17] arXiv:2005.07579 (replaced) [pdf, ps, other]

Title: On nilpotency of higher commutator subgroups of a finite soluble groupSubjects: Group Theory (math.GR)
 [18] arXiv:1607.06281 (replaced) [pdf, ps, other]

Title: Isometry groups and mapping class groups of spherical 3orbifoldsComments: 25 pages, 3 figuresJournalref: Math. Zeitschrift (2019) 292.3, 12911314Subjects: Geometric Topology (math.GT); Group Theory (math.GR)
 [19] arXiv:2003.06093 (replaced) [pdf, ps, other]

Title: Stochastic approximation of lamplighter metricsComments: The paper has been completely rewritten (now 14 pages). It contains more results and better quantitative estimates. The title has been changed to reflect the different, more general, and more efficient approach takenSubjects: Metric Geometry (math.MG); Functional Analysis (math.FA); Group Theory (math.GR)
 [20] arXiv:2003.13940 (replaced) [pdf, ps, other]

Title: Fixed point indices and fixed words at infinity of selfmaps of graphsComments: 27 pages, 2 figuresSubjects: Geometric Topology (math.GT); Group Theory (math.GR)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2005, contact, help (Access key information)