Related papers: Construction of long root SL(2,q)-subgroups in bla…
Factorization of groups into Zappa-Szep product, or more generally into k-fold Zappa-Szep product of its subgroups, is an interesting problem, since it eases the multiplication of two elements in a group, and has recently been applied for…
We formulate a problem called \emph{Generalized Root Extraction} in finite Abelian groups that have more than one generator. We then study this problem for the specific case of the torsion subgroups of elliptic curves. We give a necessary…
A connected algebraic group in characteristic 0 is uniquely determined by its Lie algebra. In this paper an algorithm is given for constructing an algebraic group in characteristic 0, given its Lie algebra. Using this an algorithm is…
The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism…
We compute the action of the Steenrod algebra on generators of algebras of invariants of special linear group ${SL_n=SL(n,\mathbb Z/p)}$ in the polynomial algebra with $ p$ an odd prime number.
We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and…
Classical invariant theory establishes a systematic correspondence between algebraic and smooth invariants for compact and reductive Lie groups. However, the extension of these results to non-compact and non-reductive regimes remains a…
We study the low rank approximation problem of any given matrix $A$ over $\mathbb{R}^{n\times m}$ and $\mathbb{C}^{n\times m}$ in entry-wise $\ell_p$ loss, that is, finding a rank-$k$ matrix $X$ such that $\|A-X\|_p$ is minimized. Unlike…
We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on…
This work presents a new, simple O(log^2|G|) algorithm, the Fibonacci cube algorithm, for producing random group elements in black box groups. After the initial O(log^2|G|) group operations, epsilon-uniform random elements are produced…
We consider the problem of recovering a hidden monic polynomial f(X) of degree d > 0 over the finite field F of p elements given a black box which, for any x in F, evaluates the quadratic character of f(x). We design a classical algorithm…
The dynamics of the subatomic fundamental particles, represented by quantum fields, and their interactions are determined uniquely by the assigned transformation properties, i.e., the quantum numbers associated with the underlying symmetry…
The discreteness problem for finitely generated subgroups of $PSL(2,\mathbb{R})$ and $PSL(2,\mathbb{C})$ is a long-standing open problem. In this paper we consider whether or not this problem is decidable by an algorithm. Our main result is…
Given an integer $M\geq 2$, we deploy the generating function techniques to compute the number of $M$-th roots of identity in some of the well-known finite groups of Lie type, more precisely for finite general linear groups, symplectic…
In this research we continue our previous investigation of wreath product normal structure \cite{SkuESL}. We generalize the group of unimodular matrices \cite{Amit} and find its structure. For this goal we propose one extension of the…
An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of…
Let $\mathbb{F}_q$ denote the finite field of characteristic $p$ and order $q$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic rational integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. Given two positive…
The character variety $\Xi$ of a finitely generated group $\Gamma$ in $\mathrm{PSL}_2(\mathbb{R})$ has many compactifications. We construct a continuous surjection from the real spectrum compactification $\Xi^{\mathrm{RSp}}$ to the oriented…
A series invariant for a certain class of closed 3-manifolds associated with a type I Lie superalgebra sl(m|n) was introduced recently. We find a q-series for the other Lie superalgebra of the same type of the minimum rank.
We study the freeness problem for subgroups of $\operatorname{SL}_2(\mathbb{C})$ generated by two parabolic matrices. For $q = r/p \in \mathbb{Q} \cap (0,4)$, where $p$ is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic…