Related papers: Classification of the non-trivial $2$-$(k^{2},k,\l…

We develop a symbolic computational approach to classifying low-rank modular categories. We use this technique to classify pseudo-unitary modular categories of rank at most 5 that are non-self-dual, i.e. those for which some object is not…

We give an explicit characterization of solvable factors in factorizations of finite classical groups of Lie type. This completes the classification of solvable factors in factorizations of almost simple groups, finishing the program…

The operation of switching a graph $\Gamma$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set…

This is the first in a sequence of papers that will develop the theory of automorphisms of nonsolvable finite groups. The sequence will culminate in a new proof of McBride's Nonsolvable Signalizer Functor Theorem, which is one of the…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

We develop efficient group-theoretical approach to the problem of classification of evolution equations that admit non-local transformation groups (quasi-local symmetries), i.e., groups involving integrals of the dependent variable. We…

We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.

The sets of primitive, quasiprimitive, and innately transitive permutation groups may each be regarded as the building blocks of finite transitive permutation groups, and are analogues of composition factors for abstract finite groups. This…

We contribute towards the classification programme for Conway groupoids associated to a $2-(n,4,\lambda)$ design. Our main results improve the known bounds for a hole stabilizer to be primitive, or to contain the alternating group, ${\rm…

We describe the classification of ranked definably quasi-Frobenius groups of odd type : dihedral configurations are isomorphic to PGL(2, K) for K an algebraically closed field of characteristic other than two; Frobenius groups are spilt and…

Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $\pi$ acts $2$-transitively on the points of $\pi$, then $\pi$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to…

We prove that the group $\mathrm{SAut}_{\mathrm{k}}(\mathbb{A}^2)$ is simple as an algebraic group of infinite dimension, over any infinite field $\mathrm{k}$, by proving that any closed normal subgroup is either trivial or the whole group.…

In this note, we give a precise construction of one of the families of $2$-designs arose from studying flag-transitive $2$-designs with parameters $(v,k,\lambda)$ whose replication numbers $r$ are coprime to $\lambda$. We show that for a…

We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M}…

We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different…

In this paper, we show that for a non-trivial quasi-symmetric $2$-design $\mathcal{D}$ with two block intersection numbers $x=0$ and $2\leq y\leq10$, if $G\leq \mathrm{Aut}(\mathcal{D})$ is flag-transitive and point-primitive, then $G$ is…

In this paper we study simple transitive $2$-representations of certain $2$-subcategories of the $2$-category of projective functors over a star algebra. We show that in the simplest case, which is associated to the Dynkin type $A_2$,…

A linear group G on a finite vector space V, (that is, a subgroup of GL(V)) is called (1/2)-transitive if all the G-orbits on the set of nonzero vectors have the same size. We complete the classification of all the (1/2)-transitive linear…

Let Lambda be a tiled R-order. We give a description of Aut_R(Lambda) as the semidirect product of Inn(Lambda) and a certain subgroup of Aut(Q(Lambda)), where Q(Lambda) is the link graph of Lambda. Additionally, we give criteria for…

We formulate a notion of the quantum automorphism group of a $2$-graph. After some preliminary computations, we define quantum isomorphism between a pair of $2$-graphs. We produce a `non-trivial' example of a pair of $2$-graphs that are not…