arXiv subjects
Publications and source records attributed to Ilya Gorshkov.
We prove that an arbitrary finite group $G$ having the same order and same set of conjugacy class sizes as an alternating or symmetric group $S$ must be isomorphic to $S$. From this and previously known results it follows that the same holds true for every simple group $S$.
A finite group G is called an ah-group if any two distinct conjugacy classes of G have distinct sizes. In this paper, we show that if G is an ah-group and π(G) \subseteq {2,3,5}, where π(G) denotes the set of prime divisors of |G|, then G \cong S_3.
A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a \emph{generalized Moufang group of $p$-type} (or $GM(p)$-type), in which the product of any two distinct involutions from $T$ has a fixed prime order $p$. For any such group $(G,T)$ and a scalar parameter $η$ in a field $\mathbb F$, we construct a non-associative, non-commutative algebra $A = A_{\mathbb F}(G,T,η)$. We prove that every element of $T$ considered as an element of the algebra $A$, is a primitive semisimple idempotent, defining a $\mathbb Z_{2}$-grading of $A$. The Miyamoto group of $A$ with respect to $T$ is isomorphic to $G/Z(G)$. The algebra $A$ contains no nontrivial right ideals and, for a specific choice of the parameter $η$, admits a symmetric left Frobenius form. When $G$ is a free Burnside group of odd prime period $p$ extended by an involutory automorphism, the finiteness of $G$ is equivalent to the finite-dimensionality of $A_{\mathbb F}(G,T,η)$, providing a reformulation of the Burnside problem. For $p=5$ and $η=-1/3$, the algebra generated by two idempotents from $T$ is left-axial and satisfies the Monster-type fusion law $\mathcal{M}(4/3, -4/3)$. For a prime $p>5$, the two-generated algebra is also axial, but obeys a more general fusion law. Although the algebra $A_{\mathbb F}(G,T,η)$ is initially defined using a group $GM(p)$-type, we show that it admits an intrinsic, group-free characterization by axiomatizing a class of so-called $GM(p,η)$-type algebras. We prove that every algebra in this class is isomorphic to one arising from the construction above, establishing the equivalence of the two definitions.
Let $G$ be a finite group and $N(G)$ be the set of conjugacy class sizes of $G$. For a prime $p$, let $|G||_p$ be the highest $p$-power dividing some element of $N(G)$. and define $|G|| = Π_{p\in π(G)}|G||_p$. $G$ is said to be an $A$-group if all its Sylow subgroups are abelian. We prove that if $G$ is an $A$-group such that $N(G)$ contains $|G||_p$ for every $p\in π(G)$ as well as $|G||$, then $G$ must be abelian. This result gives a positive answer to a question posed by Camina and Camina in 2006.
Axial algebras of Jordan type $η$ are a special type of commutative non-associative algebras. They are generated by idempotents whose adjoint operators have the minimal polynomial dividing $(x-1)x(x-η)$, where $η$ is a fixed value that is not equal to $0$ or $1$. These algebras have restrictive multiplication rules that generalize the Peirce decomposition for idempotents in Jordan algebras. A universal $3$-generated algebra of Jordan type $\frac{1}{2}$ as an algebra with $4$ parameters was constructed by I. Gorshkov and A. Staroletov. Depending on the value of the parameter, the universal algebra may contain a non-trivial form radical. In this paper, we describe all semisimple $3$-generated algebras of Jordan type $\frac{1}{2}$ over a quadratically closed field.
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.
Let $G$ be a finite group and $N(G)$ be the set of its conjugacy class sizes excluding~$1$. Let us define a directed graph $Γ(G)$, the set of vertices of this graph is $N(G)$ and the vertices $x$ and $y$ are connected by a directed edge from $x$ to $y$ if $x$ divides $y$ and $N(G)$ does not contain a number $z$ different from $x$ and $y$ such that $x$ divides $z$ and $z$ divides $y$. We will call the graph $Γ(G)$ the conjugate graph of the group $G$. In this work, we will study finite groups whose conjugate graph is a set of points.
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}(η)$-axial algebras, where $η$ is an element of the ground field. As a first step towards their classification, we describe $2-$ and $3$-generated subalgebras of such algebras.
Axial algebras are a class of commutative non-associative algebras which have a natural group of automorphisms, called the Miyamoto group. The motivating example is the Griess algebra which has the Monster sporadic simple group as its Miyamoto group. Previously, using an expansion algorithm, about 200 examples of axial algebras in the same class as the Griess algebra have been constructed in dimensions up to about 300. In this list, we see many reoccurring dimensions which suggests that there may be some unexpected isomorphisms. Such isomorphisms can be found when the full automorphism groups of the algebras are known. Hence, in this paper, we develop methods for computing the full automorphism groups of axial algebras and apply them to a number of examples of dimensions up to 151.
Axial algebras are commutative nonassociative algebras generated by a finite set of primitive idempotents which action on an algebra is semisimple, and the fusion laws on the products between eigenvectors for these idempotents are fulfilled. We find the sufficient conditions in terms of the Frobenius form and of the properties of idempotents under which an axial algebra of Jordan type half is unital.
Let $N(G)$ be the set of conjugacy classes sizes of $G$. We prove that if $N(G)=Ω\times \{1,n\}$ for specific set $Ω$ of integers, then $G\simeq A\times B$ where $N(A)=Ω$, $N(B)=\{1,n\}$, and $n$ is a power of prime.
The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $α>0$ such that $Ind_G(a)_p\in \{1,p^α\}$ for every $a$ of $G$ and a $p$-element $x\in G$ such that $Ind_G(x)_p>1$, then $G$ includes a normal $p$-complement.
The spectrum of a finite group is a set of its element orders. We prove that if $m>5$ then the group $L_{2^m}(2)\times L_{2^m}(2)\times L_{2^m}(2)$ is uniquely determined by its spectrum in the class of finite groups
A. Smoktunowicz and L. Vendramin conjectured that if $A$ is a finite skew brace with solvable additive group, then the multiplicative group of $A$ is solvable. In this short note we make a step towards positive solution of this conjecture proving that if $A$ is a minimal finite skew brace with solvable additive group and non-solvable multiplicative group, then the multiplicative group of $A$ is not simple. On the way to obtaining this result, we prove that the conjecture of A. Smoktunowicz and L. Vendramin is correct in the case when the order of $A$ is not divisible by $3$.
Axial algebras of Jordan type $η$ are commutative algebras generated by idempotents whose adjoint operators have the minimal polynomial dividing $(x-1)x(x-η)$, where $η\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 $η$. In particular, Jordan algebras generated by idempotents are axial algebras of Jordan type $\frac{1}{2}$. If $η\neq\frac{1}{2}$ then it is known that axial algebras of Jordan type $η$ 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 $η=\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.
We describe all degenerations of the variety $\mathfrak{Jord}_3$ of Jordan algebras of dimension three over $\mathbb{C}.$ In particular, we describe all irreducible components in $\mathfrak{Jord}_3.$ For every $n$ we define an $n$-dimensional rigid ''marginal'' Jordan algebra of level one. Also, we discuss ''marginal'' algebras in associative, alternative, left alternative, non-commutative Jordan, Leibniz, and anticommutative cases.
Let $G$ be a finite group and $N(G)$ be the set of its conjugacy class sizes. In the 1980's Thompson conjectured that the equality $N(G)=N(S)$, where $Z(G)=1$ and $S$ is simple, implies the isomorphism $G\simeq S$. In a series of papers of different authors Thompson's conjecture was proved. In this paper, we show that in some cases it is possible to omit the conditions $Z(G)=1$ and $S$ is simple and prove a more general result.
We classify all $6$-dimensional nilpotent Tortkara algebras over $\mathbb C.$