We gratefully acknowledge support from
the Simons Foundation and member institutions.

Group Theory

New submissions

[ total of 20 entries: 1-20 ]
[ 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 Conjecture
Comments: 17 pages, Preliminary/First Draft Version
Subjects: 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 groups
Comments: 63 pages
Subjects: 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 groups
Comments: 8 pages
Subjects: 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 3-strand singular pure braid group
Comments: 18 pages, 1 figure
Subjects: 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 semi-direct product $SP_{3} = \widetilde{V}_3 \leftthreetimes \mathbb{Z}$, where $\widetilde{V}_3$ is an HNN-extension 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$-groups
Subjects: 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 endomorphisms
Comments: 59 pages, 6 figures
Subjects: Group Theory (math.GR)

We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic 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 subsets
Journal-ref: Siberian Electronic Mathematical Reports, Vol. 17 (2020), 683-689
Subjects: 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 groups
Comments: 20 pages
Subjects: 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 well-studied 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 one-to-one 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 space
Authors: Bruno Duchesne
Comments: 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 non-locally 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 non-Archimedean 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 pages
Subjects: Group Theory (math.GR)

In this paper we determine all minimal permutation representations of ${\rm GL}_2(\mathbb F_q)$.

Cross-lists for Tue, 26 May 20

[11]  arXiv:2005.11594 (cross-list from math.RA) [pdf, ps, other]
Title: Residually finite dimensional algebras and polynomial almost identities
Subjects: 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 $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.

[12]  arXiv:2005.11956 (cross-list from math.GT) [pdf, other]
Title: Statistics of finite degree covers of torus knot complements
Comments: 32 pages, 1 figure
Subjects: 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 Benjamini-Schramm 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 by-product of our proofs, we obtain analogous limit theorems for high degree random covers of non-uniform Fuchsian lattices with torsion.

[13]  arXiv:2005.11983 (cross-list from math.CO) [pdf, ps, other]
Title: On fixity of arc-transitive graphs
Comments: 8 pages
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

The relative fixity of a permutation group is the maximum proportion of the points fixed by a non-trivial 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 vertex-set of the graph. We prove in this paper that the relative fixity of connected $2$-arc-transitive 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 arc-transitive graphs of a fixed prime valence, and more generally, for any class of arc-transitive locally-$L$ graphs, where $L$ is a fixed quasiprimitive graph-restrictive 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) semigroups
Comments: V2 incorporates referee's suggestions. To appear in Memoirs of the AMS. 108 pages, 32 figures
Subjects: 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 first-order theory of acylindrically hyperbolic groups
Comments: 57 pages, no figures; added references, revised argument in subsection 3.4, results unchanged
Subjects: Group Theory (math.GR); Logic (math.LO)
[16]  arXiv:2005.03396 (replaced) [pdf, other]
Title: A closer look at the non-Hopfianness of $BS(2,3)$
Authors: Tom Kaiser
Comments: 12 pages, 13 figures, comments welcome
Subjects: Group Theory (math.GR)
[17]  arXiv:2005.07579 (replaced) [pdf, ps, other]
Title: On nilpotency of higher commutator subgroups of a finite soluble group
Subjects: Group Theory (math.GR)
[18]  arXiv:1607.06281 (replaced) [pdf, ps, other]
Title: Isometry groups and mapping class groups of spherical 3-orbifolds
Comments: 25 pages, 3 figures
Journal-ref: Math. Zeitschrift (2019) 292.3, 1291-1314
Subjects: Geometric Topology (math.GT); Group Theory (math.GR)
[19]  arXiv:2003.06093 (replaced) [pdf, ps, other]
Title: Stochastic approximation of lamplighter metrics
Comments: 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 taken
Subjects: 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 graphs
Comments: 27 pages, 2 figures
Subjects: Geometric Topology (math.GT); Group Theory (math.GR)
[ total of 20 entries: 1-20 ]
[ 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)