Related papers: The Mathieu group $M_{12}$ and its pseudogroup ext…

We prove the existence of a module for the largest Mathieu group, whose trace functions are weight two quasimodular forms. Restricting to the subgroup fixing a point, we see that the integrality of these functions is equivalent to certain…

The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…

Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this…

Permutations on a set, endowed with function composition, build a group called a symmetric group. In addition to their algebraic structure, symmetric groups have two metrics that are of particular interest to us here: the Cayley distance…

We define the notion of rough Cayley graph for compactly generated locally compact groups in terms of quasi-actions. We construct such a graph for any compactly generated locally compact group using quasi-lattices and show uniqueness up to…

For certain subgroups of $M_{24}$, we give vertex operator algebraic module constructions whose associated trace functions are meromorphic Jacobi forms. These meromorphic Jacobi forms are canonically associated to the mock modular forms of…

This article is devoted to the investigation of semidirect products of groups of loops and groups of diffeomorphisms of finite and infinte dimensional real, complex and quaternion manifolds. Necessary statements about quaternion manifolds…

In this article we give an self contained existence proof for J. Conway's sporadic simple group Co_1 [4] using the second author's algorithm [14] constructing finite simple groups from irreducible subgroups of GL_n(2). Here n = 11 and the…

We describe two methods for computing the low-dimensional integral homology of the Mathieu simple groups and use them to make computations such as $H_5(M_{23},\ZZ)=\ZZ_7$ and $H_3(M_{24},\ZZ)=\ZZ_{12}$. One method works via Sylow subgroups.…

For all Frobenius groups and a large class of finite multiply transitive permutation groups, we show that the corresponding group-subgroup subfactors are completely characterized by their principal graphs. The class includes all the sharply…

We show that all three golden ratio Thompson's groups $F_\tau$, $T_\tau$ and $V_\tau$ embed in the asynchronous rational group. We prove properties of the Cayley graph of the monoid $M = \langle L, R : LR^2 = RL^2 \rangle$, whose…

The goal of this article is to clarify the relationship between the topos of triads and the neo-Riemannian PLR-group. To do this, we first develop some theory of generalized interval systems: 1) we prove the well known fact that every pair…

By a result of Babai, with finitely many exceptions, every group $G$ admits a semi-regular poset representation with three orbits, that is, a poset $P$ with automorphism group $\textrm{Aut}(P) \simeq G$ such that the action of…

We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group M12. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs.

We initiate the study of group actions on (possibly infinite) semimatroids and geometric semilattices. To every such action is naturally associated an orbit-counting function, a two-variable "Tutte" polynomial and a poset which, in the…

In the Cayley graph of the mapping class group of a closed surface, with respect to any generating set, we look at a ball of large radius centered on the identity vertex, and at the proportion among the vertices in this ball representing…

A pseudogroup is a complete infinitely distributive inverse monoid. Such inverse monoids bear the same relationship to classical pseudogroups of transformations as frames do to topological spaces. The goal of this paper is to develop the…

Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…

We give a computer-free proof that the Mathieu group $M_{22}$ is a homomorphic image of the progenitor $2^{\ast 14}:L_3(2)$ factorized by three relations.

Based on the rules of magic cubes, a game of two-dimensional magic cube was deliberately designed. This essay will explore its properties with the assistance of group theory and computer programming. It will first elaborate the rules of…