Related papers: A fast implementation of the Monster group

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 determine the order of the largest of the twenty-six sporadic simple groups known as the Monster, using a straightforward computational approach. The Monster is here defined as a subgroup of the symmetry group of the 196884-dimensional…

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…

We describe a generalization of the concept of a pc presentation that applies to groups with a nontrivial solvable radical. Such a representation can be much more efficient in terms of memory use and even of arithmetic, than permuattion and…

We further develop the group-theoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families…

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 the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups $Z_p$, and the alternating groups $Alt_{n>4}$. After a quick revision of finite fields $\mathbb{F}_q$, $q =…

We employ the recently developed hybrid and mmgroup computational models for groups to calculate the character table of $N(\rm{2B}^5) \cong 2^{5+10+20}.( \rm{S}_3 \times \rm{L}_5 {2} )$, a maximal subgroup of the Monster sporadic simple…

A new Las Vegas algorithm is presented for the composition of two polynomials modulo a third one, over an arbitrary field. When the degrees of these polynomials are bounded by $n$, the algorithm uses $O(n^{1.43})$ field operations, breaking…

Fast matrix-by-matrix multiplication (hereafter MM) is a highly recognized research subject. The record upper bound 3 of 1968 on the exponent of the complexity MM decreased below 2.38 by 1987, applies to celebrated problems in many areas of…

We describe several exotic fusion systems related to the Sporadic simple groups at odd primes. More generally, we classify saturated fusion systems supported on Sylow $3$-subgroups of the Conway group $\mathrm{Co}_1$ and the Thompson group…

The complexity of matrix multiplication (hereafter MM) has been intensively studied since 1969, when Strassen surprisingly decreased the exponent 3 in the cubic cost of the straightforward classical MM to log 2 (7) $\approx$ 2.8074.…

We perform forward error analysis for a large class of recursive matrix multiplication algorithms in the spirit of [D. Bini and G. Lotti, Stability of fast algorithms for matrix multiplication, Numer. Math. 36 (1980), 63--72]. As a…

Modular composition is the problem of computing the composition of two univariate polynomials modulo a third one. For a long time, the fastest algebraic algorithm for this problem was that of Brent and Kung (1978). Recently, we improved…

The classification of the maximal subgroups of the Monster $\mathbf{M}$ is a long-standing problem in finite group theory. According to the literature, the classification is complete apart from the question of whether $\mathbf{M}$ contains…

This work presents a new, simple O(log^2|G|) algorithm, the Fibonacci cube algorithm, for producing random group elements in black box groups. After the initial O(log^2|G|) group operations, epsilon-uniform random elements are produced…

The Monster Lie algebra $\frak m $, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture. Here we construct an…

We consider the famous Strassen algorithm for fast multiplication of matrices. We show that this algorithm has a nontrivial finite group of automorphisms of order 36 (namely the direct product of two copies of the symmetric group on 3…

The dominant theme of this thesis is the construction of matrix representations of finite solvable groups using a suitable system of generators. For a finite solvable group $G$ of order $N = p_{1}p_{2}\dots p_{n}$, where $p_{i}$'s are…

The prime graph, or Gruenberg--Kegel graph, of a finite group $G$ is the graph $\Gamma(G)$ whose vertices are the prime divisors of $|G|$, and whose edges are the pairs $\{p,q\}$ for which $G$ contains an element of order $pq$. A finite…