Related papers: C(6) groups do not contain F_2 X F_2

As a contribution to an eventual solution of the problem of the determination of the maximal subgroups of the Monster we show that there is no subgroup isomorphic to Sz(8). The proof is largely, though not entirely, computer-free.

Brady proved that there are hyperbolic groups with finitely presented subgroups that are not of type $FP_3$ (and hence not hyperbolic). We reprove Brady's theorem by presenting a new construction. Our construction uses Bestvina-Brady Morse…

In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally…

We use the interplay between combinatorial and coarse geometric versions of negative curvature to investigate the geometry of infinitely presented graphical $Gr'(1/6)$ small cancellation groups. In particular, we characterize their…

If G is a group acting properly by semisimple isometries on a proper CAT(0) space X, then we build models for the classifying spaces E_{vc} and E_{fbc} under the additional assumption that the action of G has a well-behaved collection of…

We show that properties $F_n$ and $FP_n$ hold for a relatively hyperbolic group if and only if they hold for all the peripheral subgroups. As an application we show that there are at least countably many distinct quasi-isometry classes of…

We show that it is relatively consistent with ZFC that there exists a hyperfinite type $\mathrm{II}_1$-factor of density character $\aleph_1$ which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial…

We show that the compact quotient $\Gamma\backslash\mathrm{G}$ of a seven-dimensional simply connected Lie group $\mathrm{G}$ by a co-compact discrete subgroup $\Gamma\subset\mathrm{G}$ does not admit any exact $\mathrm{G}_2$-structure…

We show that a large class of i.c.c., countable, discrete groups satisfying a weak negative curvature condition are not inner amenable. By recent work of Hull and Osin, our result recovers that mapping class groups and Out(F_n) are not…

Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is…

Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded…

We show that if $\mathcal{C}$ is a fusion $2$-category in which the endomorphism category of the unit object is $\rm{Vec}$ or $\rm{SVec}$, then the indecomposable objects of $\mathcal{C}$ form a finite group.

We find new presentations for the Thompson's groups $F$, the derived group $F^{'}$ and the intermediate group $D$. These presentations have a common ground in that their relators are the same and only the generating sets differ. As an…

Let $F$ be a field with characteristic $\neq 2$. We show that $F$ is a nonrigid field if and only if certain small 2-groups occur as Galois groups over $F$. These results provide new "automatic realizability" results for Galois groups over…

We provide an analogue of Strebel's classification of geodesic triangles in classical $C'(\frac16)$ groups for groups given by Wise's cubical presentations satisfying sufficiently strong metric cubical small cancellation conditions. Using…

Absract It is proposed that there exist, within a new $SU(2)^{'}$, a gauged discrete group $Q_6$ (the order 12 double dihedral group) acting as a family symmetry. This nonabelian finite group can explain hierarchical features of families,…

We explore a curious type of equivalence between certain pairs of reflective and coreflective subcategories. We illustrate with examples involving noncommutative duality for C*-dynamical systems and compact quantum groups, as well as…

We prove that the equivariant concordance group $\widetilde{\mathcal{C}}$ is not abelian by exhibiting an infinite family of nontrivial commutators.

We classify principal $2$-blocks of finite groups $G$ with Sylow $2$-subgroups isomorphic to a wreathed $2$-group $C_{2^n}\wr C_2$ with $n\geq 2$ up to Morita equivalence and up to splendid Morita equivalence. As a consequence, we obtain…

Let $P$ be a Camina $p$-group that acts on a group $Q$ in such a way that $C_P (x) \subseteq P'$ for all nonidentity elements $x \in Q$. We show that $P$ must be isomorphic to the quaternion group $Q_8$. If $P$ has class $2$, this is a…