Group Theory

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Fri, 30 Jul 21

[1]  arXiv:2107.13626 [pdf, other]

Title: An Infinite Dimensional Virtual Cohomology Group of $\textbf{SL}_3(\mathbb{Z}[t])$

Authors: Matthew Goroff

Subjects: Group Theory (math.GR)

We prove that $\textbf{SL}_3(\mathbb{Z}[t])$ has a finite index subgroup $\Gamma$ such that $H^2(\Gamma; \mathbb{Q})$ is infinite dimensional. The proof uses the geometry of the Euclidean building for $\textbf{SL}_3(\mathbb{Q}((t^{-1})))$.

[2]  arXiv:2107.13690 [pdf, ps, other]

Title: The multiple holomorph of centerless groups

Authors: Cindy Tsang

Subjects: Group Theory (math.GR)

Let $G$ be a group. The holomorph $\mathrm{Hol}(G)$ may be defined as the normalizer of the subgroup of either left or right translations in the group of all permutations of $G$. The multiple holomorph $\mathrm{NHol}(G)$ is in turn defined as the normalizer of the holomorph. Their quotient $T(G) = \mathrm{NHol}(G)/\mathrm{Hol}(G)$ has been computed for various families of groups $G$. In this paper, we consider the case when $G$ is centerless, and we shall show that $T(G)$ must be elementary $2$-abelian unless $G$ satisfies some fairly strong conditions. As an application of our main theorem, we are able to show that $T(G)$ has order $2$ when $G$ is an almost simple group, and $T(G)$ is elementary $2$-abelian when $G$ is a centerless perfect or complete group.

[3]  arXiv:2107.14075 [pdf, ps, other]

Title: On the semigroup generating by extended bicyclic semigroup and a $ω$-closed family

Authors: Oleg Gutik, Inna Pozdnyakova

Comments: 11 pages, in Ukrainian

Subjects: Group Theory (math.GR)

Similar as in \cite{Gutik-Mykhalenych-2020}, we introduce the algebraic extension $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ of the extended bicyclic semigroup for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$. It is proven that $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ is combinatorial inverse semigroup and Green's relations, the natural partial order on $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ and its set of idempotents are described. We gave the criteria of simplicity, $0$-simplicity, bisimplicity, $0$-bisimplicity of the semigroup $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ and when $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ is isomorphic to the extended bicyclic semigroup or the countable semigroup of matrix units. We proved that in the case when the family $\mathscr{F}$ consists of all singletons of $\mathbb{Z}$ and the empty set then the semigroup $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ is isomorphic to the Brandt $\lambda$-extension of the semilattice $(\omega,\min)$.

[4]  arXiv:2107.14118 [pdf, ps, other]

Title: On some generalization of the bicyclic monoid

Authors: Oleg Gutik, Mykola Mykhalenych

Comments: 12 pages, in Ukrainian

Subjects: Group Theory (math.GR)

We introduce the algebraic extension $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ of the bicyclic monoid for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ which generalizes the bicyclic monoid, the countable semigroup of matrix units and some other combinatorial inverse semigroups. It is proven that $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ is combinatorial inverse semigroup and Green's relations, the natural partial order on $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and its set of idempotents are described. We gave the criteria of simplicity, $0$-simplicity, bisimplicity, $0$-bisimplicity of the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and when $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ has the identity, is isomorphic to the bicyclic semigroup or the countable semigroup of matrix units.

[5]  arXiv:2107.14208 [pdf, ps, other]

Title: On relational complexity and base size of finite primitive groups

Authors: Veronica Kelsey, Colva M. Roney-Dougal

Subjects: Group Theory (math.GR)

In this paper we show that if $G$ is a primitive subgroup of $S_{n}$ that is not large base, then any irredundant base for $G$ has size at most $5 \log n$. This is the first logarithmic bound on the size of an irredundant base for such groups, and is best possible up to a small constant. As a corollary, the relational complexity of $G$ is at most $5 \log n+1$, and the maximal size of a minimal base and the height are both at most $5 \log n.$ Furthermore, we deduce that a base for $G$ of size at most $5 \log n$ can be computed in polynomial time.

Cross-lists for Fri, 30 Jul 21

[6]  arXiv:2107.13989 (cross-list from math.CT) [pdf, ps, other]

Title: Inner automorphisms of presheaves of groups

Authors: Jason Parker

Comments: 35 pages

Subjects: Category Theory (math.CT); Group Theory (math.GR); Logic (math.LO)

It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of (categorical) inner automorphism in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, and the theory of such automorphisms forms part of the theory of covariant isotropy. In this paper, we prove that the categorical inner automorphisms in any category $\mathsf{Group}^{\mathcal{J}}$ of presheaves of groups can be characterized in terms of conjugation-theoretic inner automorphisms of the component groups, together with a natural automorphism of the identity functor on the index category $\mathcal{J}$. In fact, we deduce such a characterization from a much more general result characterizing the categorical inner automorphisms in any category $\mathbb{T}\mathsf{mod}^{\mathcal{J}}$ of presheaves of $\mathbb{T}$-models for a suitable first-order theory $\mathbb{T}$.

[7]  arXiv:2107.14084 (cross-list from math.AT) [pdf, ps, other]

Title: Path partial groups

Authors: Antonio Díaz Ramos, Rémi Molinier, Antonio Viruel

Subjects: Algebraic Topology (math.AT); Group Theory (math.GR)

It is well known that not every finite group arises as the full automorphism group of some group. Here we show that the situation is dramatically different when considering the category of partial groups, ${{\mathcal P}art}$, as defined by Chermak: given any group $H$ there exists infinitely many non isomorphic partial groups ${\mathbb M}$ such that $\operatorname{Aut}_{{\mathcal P}art}({\mathbb M})\cong H$. To prove this result, given any simple undirected graph $G$ we construct a partial group ${\mathbb P}(G)$, called the path partial group associated to $G$, such that $\operatorname{Aut}_{{\mathcal P}art}\big({\mathbb P}(G)\big)\cong \operatorname{Aut}_{{\mathcal G}raphs}(G)$.

[8]  arXiv:2107.14116 (cross-list from math.GT) [pdf, other]

Title: Extensions of multicurve stabilizers are hierarchically hyperbolic

Authors: Jacob Russell

Comments: 52 pages, 4 figures. Comments welcome

Subjects: Geometric Topology (math.GT); Group Theory (math.GR)

For a closed and orientable surface of genus at least 2, we prove the surface group extensions of the stabilizers of multicurves are hierarchically hyperbolic groups. This answers a question of Durham, Dowdall, Leininger, and Sisto. We also include an appendix that employs work of Charney, Cordes, and Sisto to characterize the Morse boundaries of hierarchically hyperbolic groups whose largest acylindrical action on a hyperbolic space is on a quasi-tree.

Replacements for Fri, 30 Jul 21

[9]  arXiv:2107.08877 (replaced) [pdf, ps, other]

Title: Constructing uncountably many groups with the same profinite completion

Authors: Nikolay Nikolov, Dan Segal

Comments: another small error corrected

Subjects: Group Theory (math.GR)

• New submissions
• Cross-lists
• Replacements