Related papers: The Exact Factorizations of Almost Simple Groups
In [11] we showed that a loop in a simply connected compact Lie group $\dot{U}$ has a unique Birkhoff (or triangular) factorization if and only if the loop has a unique root subgroup factorization (relative to a choice of a reduced sequence…
The theory of Lie groups and representations was developed by Lie, Killing, Cartan, Weyl and others to a degree of quasi-perfection, in the years 1870-1930 >. The main topological features of compact simple Lie groups were elucidated in the…
We completely describe in certain important cases the class of commutative co-finitely Hopfian groups as defined by Bridson-Groves-Hillman- Martin in the journal Groups, Geometry, and Dynamics on 2010 (see [3]). We also consider and give a…
We study a special type of almost complex structures, called pure and full and introduced by T.J. Li and W. Zhang, in relation to symplectic structures and Hard Lefschetz condition. We provide sufficient conditions to the existence of the…
We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and…
A complete classification is given of finite groups whose elements are partitioned into three orbits by the automorphism groups, solving the long-standing classification problem initiated by G. Higman in 1963. As a consequence, a…
In our previous paper, we gave a complete list of the finite non-abelian simple groups whose holomorph contains a solvable regular subgroup. In this paper, we refine our previous work by considering all finite almost simple groups. In…
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…
We classify up to isomorphism the gradings by arbitrary groups on the exceptional classical simple Lie superalgebras $G(3)$, $F(4)$ and $D(2,1;\alpha)$ over an algebraically closed field of characteristic $0$. To achieve this, we apply the…
Polytopes are ubiquitous in different areas of mathematics. Gleason and Hubard established a factorisation theorem, stating that every abstract polytope has a unique factorisation into prime polytopes. We compute the automorphism group of a…
Rota--Baxter operators on groups were introduced by L. Guo, H. Lang, Yu. Sheng in 2020. In 2023, V. Bardakov and the second author showed that all Rota--Baxter operators on simple sporadic groups are splitting, i.\,e. they correspond to…
We provide a parameterization of all fusion subcategories of the equivariantization by a group action on a fusion category. As applications, we classify the Hopf subalgebras of a family of semisimple Hopf algebras of Kac-Paljutkin type and…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
We investigate near-factorizations of nonabelian groups, concentrating on dihedral groups. We show that some known constructions of near-factorizations in dihedral groups yield equivalent near-factorizations. In fact, there are very few…
One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to…
Let $\mathfrak{g}$ be a vector space and $[,],[,]'$ be a pair of Lie brackets on $\mathfrak{g}$. By definition they are compatible if $[,]+[,]'$ is again a Lie bracket. Such pairs play important role in bihamiltonian and $r$-matrix…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissibility for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
We present a polynomial time exact quantum algorithm for the hidden subgroup problem in $Z_{m^k}^n$. The algorithm uses the quantum Fourier transform modulo m and does not require factorization of m. For smooth m, i.e., when the prime…
We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an…
We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I.…