Related papers: Reductions to simple fusion systems

Three types of numerical data are provided for simple Lie groups of any type and rank. This data is indispensable for Fourier-like expansions of multidimensional digital data into finite series of $C-$ or $S-$functions on the fundamental…

We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…

We generalize the classical Satake equivalence as follows. Let k be an algebraically closed field, set O=k[[t]] and F=k((t)). For an almost simple algebraic group G we classify central extensions of G(F) by the multiplicative group. Any…

In 1983 Bogoyavlenski conjectured that if the Euler equations on a Lie algebra $\mathfrak g_0$ are integrable, then their certain extensions to semisimple lie algebras $\mathfrak g$ related to the filtrations of Lie algebras $\mathfrak…

We classify all (saturated) fusion systems on bicyclic 2-groups. Here, a bicyclic group is a product of two cyclic subgroups. This extends previous work on fusion systems on metacyclic 2-groups (see [Craven-Glesser, 2012] and [Sambale,…

Let $H$ be a subgroup of a finite group $G$. We say that $H$ satisfies partial $\Pi$-property in $G$ if there exists a chief series $\mathit{\Gamma}_G:1=G_0<G_1<\cdots<G_n=G$ of $G$ such that for every $G$-chief factor $G_i/G_{i-1}$ ($1\leq…

Bob Oliver conjectures that if $p$ is an odd prime and $S$ is a finite $p$-group, then the Oliver subgroup $\X(S)$ contains the Thompson subgroup $J_e(S)$. A positive resolution of this conjecture would give the existence and uniqueness of…

Let $p$ be a prime number, $G$ be a $p$-solvable finite group and $P$ be a Sylow $p$-subgroup of $G$. We prove that $G$ is $p$-supersolvable if $N_G(P)$ is $p$-supersolvable and if there is a subgroup $H$ of $P$ with $P' \le H \le \Phi(P)$…

We prove that the C*-algebra of a second-countable, \'etale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated…

Let $H$ be an acylindrically hyperbolic group without nontrivial finite normal subgroups. We show that any finite system $S$ of equations with constants from $H$ is equivalent to a single equation. We also show that the algebraic set…

In this paper we study the cohomology of the geometric realization of linking systems with twisted coefficients. More precisely, given a prime $p$ and a $p$-local finite group $(S,\mathcal{F},\mathcal{L})$, we compare the cohomology of…

It is well known that modal satisfiability is PSPACE-complete (Ladner 1977). However, the complexity may decrease if we restrict the set of propositional operators used. Note that there exist an infinite number of propositional operators,…

Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.

In this short note we study the cohomology algebra of saturated fusion systems using finite groups which realize saturated fusion systems and Hochschild cohomology of group algebras. A similar result to a theorem of Alperin is proved for…

In this work we employ machine learning to understand structured mathematical data involving finite groups and derive a theorem about necessary properties of generators of finite simple groups. We create a database of all 2-generated…

In the ADE classification of Virasoro minimal models, the E-series is the sparsest: their central charges $c=1-6\frac{(p-q)^2}{pq}$ are not dense in the half-line $c\in (-\infty,1)$, due to $q=12,18,30$ taking only 3 values -- the Coxeter…

We prove that if $G$ is a finite simple group, then all irreducible complex representations of $G$ by be realized over the real numbers if and only if every element of $G$ may be written as a product of two involutions in $G$. This follows…

Let P be any pure type system, we are going to show how we can extend P into a PTS P' which will be used as a proof system whose formulas express properties about sets of terms of P. We will show that P' is strongly normalizable if and only…

We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of…

For any central simple algebra over a field F which contains a maximal subfield M with non-trivial F-automorphism group G, G is solvable if and only if the algebra contains a finite chain of subalgebras which are generalized cyclic algebras…