Search

We show that pseudo-composition algebras and train algebras of rank 3 generated by idempotents are characterized as axial algebras with fusion laws derived from the Peirce decompositions of idempotents in these classes of algebras. The corresponding axial algebras are called $\mathcal{PC}(\eta)$-axial algebras, where $\eta$ is an element of the ground field. As a first step towards their classification, we describe $2-$ and $3$-generated subalgebras of such algebras., Comment: 19 pages, minor changes: some typos were corrected, Proposition 2 was added

We describe all finite connected 3-transposition groups whose Matsuo algebras have nontrivial factors that are Jordan algebras. As a corollary, we show that if F is a field of characteristic 0, then there exist infinitely many primitive axial algebras of Jordan type 1/2 over F that are not factors of Matsuo algebras. As an illustrative example, we prove this for an exceptional Jordan algebra over F., Comment: updated links to calculations

The Gruenberg-Kegel graph $\Gamma(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of order $rs$ in $G$. A finite group $G$ is called almost recognizable (by Gruenberg-Kegel graph) if there is only finite number of pairwise non-isomorphic finite groups having Gruenberg-Kegel graph as $G$. If $G$ is not almost recognizable, then it is called unrecognizable (by Gruenberg--Kegel graph). Recently P.J. Cameron and the first author have proved that if a finite group is almost recognizable, then the group is almost simple. Thus, the question of which almost simple groups (in particular, finite simple groups) are almost recognizable is of prime interest. We prove that every finite simple exceptional group of Lie type, which is isomorphic to neither ${^2}B_2(2^{2n+1})$ with $n\geq1$ nor $G_2(3)$ and whose Gruenberg-Kegel graph has at least three connected components, is almost recognizable. Moreover, groups $ {^2}B_2(2^{2n+1})$, where $n\geq1$, and $G_2(3)$ are unrecognizable., Comment: 16 pages

Axial algebras are a class of commutative algebras generated by idempotents, with adjoint action semisimple and satisfying a prescribed fusion law. Axial algebras were introduced by Hall, Rehren, and Shpectorov in 2015 as a broad generalization of Majorana algebras of Ivanov, whose axioms were derived from the properties of the Griess algebra for the Monster group. The class of Matsuo algebras was introduced by Matsuo and later generalized by Hall, Rehren, and Shpectorov. A Matsuo algebra $M$ is built by a set of 3-transpositions $D$. Elements of $D$ are idempotents in $M$ and called axes. In particular, $M$ is an example of an axial algebra. It is known that double axes, i.e., sums of two orthogonal axes in a Matsuo algebra, satisfy the fusion law of Monster type. This observation shows that a set consisting of axes and double axes can generate a subalgebra of Monster type in the Matsuo algebra. Subalgebras corresponding to various series of 3-transposition groups are extensively studied by many authors. In this paper, we study primitive subalgebras generated by a single axis and two double axes. We classify all such subalgebras in seven out of nine possible cases for a diagram on 3-transpositions that are involved in the generating elements. We also construct several infinite series of axial algebras of Monster type generalizing our 3-generated algebras., Comment: 38 pages

Let $G$ be a finite group of Lie type and $T$ a maximal torus of $G$. In this paper we complete the study of the question of the existence of a complement for the torus $T$ in its algebraic normalizer $N(G,T)$. It is proved that every maximal torus of the group $G\in\{G_2(q), {}^2G_2(q), {}^3D_4(q)\}$ has a complement in its algebraic normalizer. The remaining twisted classical groups ${}^2A_n(q)$ and ${}^2D_n(q)$ are also considered., Comment: 14 pages

Let $G$ be a finite group of Lie type $F_4$ with the Weyl group $W$. For every maximal torus $T$ of $G$, we find the minimal order of a supplement to $T$ in its algebraic normalizer $N(G,T)$. In particular, we obtain all maximal tori having complements in $N(G,T)$. Assume that $T$ corresponds to an element $w$ of $W$. We find the minimal order of lifts of $w$ to $N(G,T)$., Comment: 18 pages, 2 tables. arXiv admin note: text overlap with arXiv:1901.00372

Axial algebras of Jordan type $\eta$ are commutative algebras generated by idempotents whose adjoint operators have the minimal polynomial dividing $(x-1)x(x-\eta)$, where $\eta\not\in\{0,1\}$ is fixed, with restrictive multiplication rules. These properties generalize the Pierce decompositions for idempotents in Jordan algebras, where $\frac{1}{2}$ is replaced with $\eta$. In particular, Jordan algebras generated by idempotents are axial algebras of Jordan type $\frac{1}{2}$. If $\eta\neq\frac{1}{2}$ then it is known that axial algebras of Jordan type $\eta$ are factors of the so-called Matsuo algebras corresponding to 3-transposition groups. We call the generating idempotents {\it axes} and say that an axis is {\it primitive} if its adjoint operator has 1-dimensional 1-eigenspace. It is known that a subalgebra generated by two primitive axes has dimension at most three. The 3-generated case has been opened so far. We prove that any axial algebra of Jordan type generated by three primitive axes has dimension at most nine. If the dimension is nine and $\eta=\frac{1}{2}$ then we either show how to find a proper ideal in this algebra or prove that the algebra is isomorphic to certain Jordan matrix algebras., Comment: 24 pages

Axial algebras are a class of commutative non-associative algebras generated by idempotents, called axes, with adjoint action semi-simple and satisfying a prescribed fusion law. Axial algebras were introduced by Hall, Rehren and Shpectorov \cite{hrs,hrs1} as a broad generalisation of Majorana algebras of Ivanov, whose axioms were derived from the properties of the Griess algebra for the Monster sporadic simple group. The class of axial algebras of Monster type includes Majorana algebras for the Monster and many other sporadic simple groups, Jordan algebras for classical and some exceptional simple groups, and Matsuo algebras corresponding to $3$-transposition groups. Thus, axial algebras of Monster type unify several strands in the theory of finite simple groups. It is shown here that double axes, i.e., sums of two orthogonal axes in a Matsuo algebra, satisfy the fusion law of Monster type $(2\eta,\eta)$. Primitive subalgebras generated by two single or double axes are completely classified and $3$-generated primitive subalgebras are classified in one of the three cases. These classifications further lead to the general flip construction outputting a rich variety of axial algebras of Monster type. An application of the flip construction to the case of Matsuo algebras related to the symmetric groups results in three new explicit infinite series of such algebras., Comment: 59 pages

Denote the alternating and symmetric groups of degree $n$ by $A_n$ and $S_n$ respectively. Consider a permutation $\sigma\in S_n$ all of whose nontrivial cycles are of the same length. We find the minimal polynomials of $\sigma$ in the ordinary irreducible representations of $A_n$ and $S_n$., Comment: 21 pages

Let $G$ be a finite group of Lie type $E_l$ with $l\in\{6,7,8\}$ over $F_q$ and $W$ be the Weyl group of $G$. We describe all maximal tori $T$ of $G$ such that $T$ has a complement in its algebraic normalizer $N(G,T)$. Let $T$ correspond to an element $w$ of $W$. When $T$ does not have a complement, we show that $w$ has a lift in $N(G,T)$ of order $|w|$ in all considered groups, except the simply-connected group $E_7(q)$. In the latter case we describe the elements $w$ that have a lift in $N(G,T)$ of order $|w|$., Comment: fixed some typos. 29 pages, 9 tables. arXiv admin note: text overlap with arXiv:1806.02619

Majorana theory was introduced by A. A. Ivanov as the axiomatization of certain properties of the 2A-axes of the Griess algebra. Since its inception, Majorana theory has proved to be a remarkable tool with which to study objects related to the Griess algebra and the Monster simple group. We introduce the definition of a minimal 3-generated Majorana algebra and begin the first steps towards classifying such algebras. In particular, we give a complete classification of finite minimal 3-generated 6-transposition groups. We then use an algorithm developed in GAP by M. Pfeiffer and M. Whybrow, together with some additional computational tools, to give an almost complete description of all minimal 3-generated Majorana algebras arising from this list of groups., Comment: Final version, to appear in the Journal of Algebra

Let $G$ be a finite group of Lie type $E_6$ over $F_q$ (adjoint or simply connected) and $W$ be the Weyl group of $G$. We describe maximal tori $T$ such that $T$ has a complement in its algebraic normalizer $N(G,T)$. It is well known that for each maximal torus $T$ of $G$ there exists an element $w\in W$ such that $N(G,T)/T\simeq C_W(w)$. When $T$ does not have a complement isomorphic to $C_W(w)$, we show that $w$ has a lift in $N(G,T)$ of the same order., Comment: 17 pages

The {\it prime graph} $\Gamma(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of $G$ of order $rs$. Let $A_n$ ($S_n$) denote the alternating (symmetric) group of degree $n$. We prove that if $G$ is a finite group with $\Gamma(G)=\Gamma(A_n)$ or $\Gamma(G)=\Gamma(S_n)$, where $n\geq19$, then there exists a normal subgroup $K$ of $G$ and an integer $t$ such that $A_t\leq G/K\leq S_t$ and $|K|$ is divisible by at most one prime greater than $n/2$., Comment: 8 pages

The spectrum of a finite group is the set of its elements orders. Groups are said to be isospectral if their spectra coincide. For every finite simple exceptional group $L=E_7(q)$, we prove that each finite group isospectral to $L$ is isomorphic to a group $G$ squeezed between $L$ and its automorphism group, that is $L\leq G\leq \operatorname{Aut}L$; in particular, up-to isomorphism, there are only finitely many such groups. This assertion, together with a series of previously obtained results, implies that the same is true for every finite simple exceptional group except the group ${}^3D_4(2)$., Comment: minor changes, Tables 2 and 3 are fixed