Related papers: Extremely strong Shoda pairs with \texttt{GAP}

Let $G$ be a finite $p$-solvable group, where $p$ is an odd prime. We establish a connection between extendible irreducible characters of subgroups of $G$ that lie under monomial characters of $G$ and nilpotent subgroups of $G$. We also…

These notes expand upon our lectures on {\em profinite rigidity} at the international colloquium on randomness, geometry and dynamics, organised by TIFR Mumbai at IISER Pune in January 2024. We are interested in the extent to which groups…

Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$: 1. List a representative for each conjugacy class of $G$. 2. Given $x \in G$, describe the centralizer of…

We give a characterisation of the idempotents of the partition monoid, and use this to enumerate the idempotents in the finite partition, Brauer and partial Brauer monoids, giving several formulae and recursions for the number of…

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been…

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite…

The spectrum $\omega(G)$ of a finite group $G$ is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if among the prime divisors of the order of a group $G$, there are four different primes…

The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a…

The goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back to the origins of…

Pro-$p$ groups of finite powerful class are studied. We prove that these are $p$-adic analytic, and further describe their structure when their powerful class is small. It is also shown that there are only finitely many finite $p$-groups of…

Maximal connected grading classes of a finite-dimensional algebra $A$ are in one-to-one correspondence with Galois covering classes of $A$ which admit no proper Galois covering and therefore are key in computing the intrinsic fundamental…

Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of…

We propose an algorithm for determining the irreducible polynomials over finite fields, based on the use of the companion matrix of polynomials and the generalized Jordan normal form of square matrices.

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

In this paper, the complete algebraic structure of finite semisimple group algebra of a normally monomial group is described. The main result is illustrated by computing the explicit Wedderburn decomposition of finite semisimple group…

For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…

Let $G_\Gamma\curvearrowright X$ and $G_\Lambda\curvearrowright Y$ be two free measure-preserving actions of one-ended right-angled Artin groups with trivial center on standard probability spaces. Assume they are irreducible, i.e. every…

We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem…

In this paper, it is proved that the group generated by Bass units contains a subgroup of finite index in the group of central units $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$ of the integral group ring $\mathbb{Z}G$ for a subgroup closed…