Related papers: What is the monster?

In this short note we give an elementary proof of the fact that every countable group is a subgroup of the mapping class group of the Loch Ness monster surface.

The object of this paper is to describe a simple method for proving that certain groups are residually torsion-free nilpotent, to describe some new parafree groups and to raise some new problems in honour of the memory of Wilhelm Magnus.

Seysen's Python package mmgroup provides functionality for fast computations within the sporadic simple group $\mathbb{M}$, the Monster. The aim of this work is to present an mmgroup database of maximal subgroups of $\mathbb{M}$: for each…

The monster tower is a tower of spaces over a specified base; each space in the tower is a parameter space for curvilinear data up to a specified order. We describe and analyze a natural stratification of these spaces.

We define the notions of a free fusion of structures and a weakly stationary independence relation. We apply these notions to prove simplicity for the automorphism groups of order and tournament expansions of homogeneous structures like the…

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

We discuss some categorical aspects of the objects that appear in the construction of the Monster and other sporadic simple groups. We define the basic representation of the categorical torus $\mathcal T$ classified by an even symmetric…

Let $\mathbb{M}$ be the monster group which is the largest sporadic finite simple group, and has first been constructed in 1982 by Griess. In 1985, Conway has constructed a 196884-dimensional representation $\rho$ of $\mathbb{M}$ with…

We introduce and study simple and supersimple independence relations in the context of AECs with a monster model. $Theorem$: Let $K$ be an AEC with a monster model. - If $K$ has a simple independence relation, then $K$ does not have the…

The purpose of this paper is to explore the concept of localization, which comes from homotopy theory, in the context of finite simple groups. We give an easy criterion for a finite simple group to be a localization of some simple subgroup…

We investigate the state complexity of the star of symmetrical differences using modifiers and monsters. A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of…

We give a general criterion for the (bounded) simplicity of the automorphism groups of certain countable structures and apply it to show that the isometry group of the Urysohn space modulo the normal subgroup of bounded isometries is a…

We describe computer calculations that were used in 2016 to classify subgroups of the Monster isomorphic to $PSL_2(8)$, containing $7B$-elements. It turns out that there is no such $PSL_2(8)$ in the Monster. These calculations confirm…

We give an example of a finitely presented simple group containing a finitely generated subgroup which is not finitely presented.

As part of the programme to re-compute the character tables of all the groups in the Atlas we re-compute the character table of $\mathbb M$, the Monster simple group. We operate under the uniqueness hypotheses of $\mathbb M$ and the…

We show the existence of noncommutative random variables with finite free entropy but which do not generate a free group factor.

Given a group G denote with exp(G) its exponent, which is the least common multiple of the order of its elements. In this paper we solve the problem of finding the finite simple groups having a proper subgroup with the same exponent. For…

As a contribution to an eventual solution of the problem of determination of the maximal subgroups of the Monster we show that there is a unique conjugacy class of subgroups isomorphic to $PSU_3(8)$. The argument depends on some…

It is shown that a nontrivial normal subgroup $N$ of a group $G$ is a free factor of the $N$'s normal closure in the $G$'s free product with arbitrary nontrivial groups.

Let $\mathbb{M}$ be the Monster group, which is the largest sporadic finite simple group, and has first been constructed in 1982 by Griess. In 1985 Conway has constructed a 196884-dimensional rational epresentation $\rho$ of $\mathbb{M}$…