相关论文: Generators for finite simple Moufang loops

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

We show that unrolled quantum groups at odd roots of unity give rise to relative modular categories. These are the main building blocks for the construction of 1+1+1-TQFTs extending CGP invariants, which are non-semisimple quantum…

We construct families of commutative (super) algebra objects in the category of weight modules for the unrolled restricted quantum group $\overline{U}_q^H(\mfg)$ of a simple Lie algebra $\mfg$ at roots of unity, and study their categories…

An \emph{automorphic loop} (or \emph{A-loop}) is a loop whose inner mappings are automorphisms. Every element of a commutative A-loop generates a group, and $(xy)^{-1} = x^{-1}y^{-1}$ holds. Let $Q$ be a finite commutative A-loop and $p$ a…

Motivated by the concept of "generating operators" for a countable family of operators introduced in the recent paper (arXiv:2306.16800), we find a method to reconstruct the Rankin--Cohen brackets from a very simple multivariable contour…

We study conjugacy closed loops (CC-loops) and power-associative CC-loops (PACC-loops). If $Q$ is a PACC-loop with nucleus $N$, then $Q/N$ is an abelian group of exponent 12; if in addition $Q$ is finite, then $|Q|$ is divisible by 16 or by…

The existence of NAFIL loops of every odd order n => 5 is established by construction. These are non-associative finite invertible loops that are simple and power-associative and they form an infinite family. The first member of this family…

Every finite simple group can be generated by two elements, and in 2000, Guralnick and Kantor resolved a 1962 question of Steinberg by proving that in a finite simple group every nontrivial element belongs to a generating pair. Groups with…

We prove that the mapping class group $\mathcal{M}(N_g)$ of a closed nonorientable surface of genus $g$ different than 4 is generated by three torsion elements. Moreover, for every even integer $k\ge 12$ and $g$ of the form $g=pk+2q(k-1)$…

All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$…

Matrix generators for the general and special linear groups, the symplectic groups and the general and special unitary groups over finite fields. For the most part the generators have been obtained by translating Steinberg's generators for…

We show that for every positive integer $n$ there exists a simple group that is of type $\mathrm{F}_{n-1}$ but not of type $\mathrm{F}_n$. For $n\ge 3$ these groups are the first known examples of this kind. They also provide infinitely…

We study a certain family of simple fusion systems over finite $3$-groups, ones that involve Todd modules of the Mathieu groups $2M_{12}$, $M_{11}$, and $A_6=O^2(M_{10})$ over $\mathbb{F}_3$, and show that they are all isomorphic to the…

For semisimple groups, possibly multiplied by U(1)'s, the number of Yang-Mills gauge fields is equal to the number of generators of the group. In this paper, it is shown that, for non-semisimple groups, the number of Yang-Mills fields can…

We classify all subgroups of $SO(3)$ that are generated by two elements, each a rotation of finite order, about axes separated by an angle that is a rational multiple of $\pi$. In all cases we give a presentation of the subgroup. In most…

For a positive integer $N$ divisible by $4,5,6,7$ or $9$, let $\mathcal{O}_{1,N}(\mathbb{Q})$ be the ring of weakly holomorphic modular functions for the congruence subgroup $\Gamma_1(N)$ with rational Fourier coefficients. We present…

Consider a compact connected Lie group $G$ and the corresponding Lie algebra $\cal L$. Let $\{X_1,...,X_m\}$ be a set of generators for the Lie algebra $\cal L$. We prove that $G$ is uniformly finitely generated by $\{X_1,...,X_m\}$. This…

We show that the mapping class group of a closed oriented surface of genus at least three is generated by 3 elements of order 3 and by 4 elements of order 4. Note that the mapping class group cannot be generated by finitely many torsion…

We give two explicit sets of generators of the group of invertible regular functions over QQ on the modular curve Y1(N). The first set of generators is very surprising. It is essentially the set of defining equations of Y1(k) for k <= N/2…

We introduce a family of modules, called Markoff modules, generated by a cluster-mutation-like iterative process. We show that these modules are combinatorially similar to Christoffel words. Furthermore, we construct a bijective map between…