Related papers: Normalisers of primitive permutation groups in qua…

We prove lower bounds of the form $\gg N/(\log N)^{3/2}$ for the number of primes up to $N$ primitively represented by a shifted positive definite integral binary quadratic form, and under the additional condition that primes are from an…

We give an algorithm to compute the $\omega$-primality of finitely generated atomic monoids. Asymptotic $\w$-primality is also studied and a formula to obtain it in finitely generated quasi-Archimedean monoids is proven. The formulation is…

If $G$ is a nilpotent group and $[G,G]$ has Hirsch length $1$, then every f.g. submonoid of $G$ is boundedly generated, i.e. a product of cyclic submonoids. Using a reduction of Bodart, this implies the decidability of the submonoid…

We present a simple randomized polynomial time algorithm to approximate the mixed discriminant of $n$ positive semidefinite $n \times n$ matrices within a factor $2^{O(n)}$. Consequently, the algorithm allows us to approximate in randomized…

We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which…

Let $G$ be a connected, simply connected simple complex algebraic group and let $\epsilon$ be a primitive $\ell$th root of unity with $\ell$ odd and coprime with $3$ if $G$ is of type $G_{2}$. We determine all Hopf algebra quotients of the…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

This paper provides a complete characterization of quasicontractive $C_0$-semigroups on Hardy and Dirichlet space with a prescribed generator of the form $Af=Gf'$. We show that such semigroups are semigroups of composition operators and we…

The Heisenberg group is one of the simplest sub-Riemannian settings in which we can define non-elliptic H\"ormander type generators. We can then consider coercive inequalities associated to such generators. We prove that a certain class of…

Let $G=\langle x^d+c_1,\dots,x^d+c_s\rangle$ be a semigroup generated under composition for some $c_1,\dots,c_s\in\mathbb{Z}$ and some $d\geq2$. Then we prove that, outside of an exceptional one-parameter family, $G$ contains a large and…

The article deals with profinite groups in which the centralizers are abelian (CA-groups), that is, with profinite commutativity-transitive groups. It is shown that such groups are virtually pronilpotent. More precisely, let G be a…

This note presents an elementary version of Sims's algorithm for computing strong generators of a given perm group, together with a proof of correctness and some notes about appropriate low-level data structures. Upper and lower bounds on…

For a wide family of formations $\mathfrak{F}$ it is proved that the $ \mathfrak{F}$-residual of a permutation finite group can be computed in a polynomial time. Moreover, if in the previous case $\mathfrak{F}$ is hereditary, then an…

If $G$ is a group of permutations of a set $\Omega$ and $\alpha \in \Omega$, then the {\em $\alpha$-suborbits} of $G$ are the orbits of the stabilizer $G_\alpha$ on $\Omega$. The cardinality of an $\alpha$-suborbit is called a {\em…

Given any group $G$, the normalizer $\mathrm{Hol}(G)$ of the subgroup of left translations in the group of all permutations on $G$ is called the holomorph, and the normalizer $\mathrm{NHol}(G)$ of $\mathrm{Hol}(G)$ in turn is called the…

A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost…

Let $G$ be a finite permutation group acting on $\Omega$. A base for $G$ is a subset $B \subseteq \Omega$ such that the pointwise stabilizer $G_{(B)}$ is the identity. The base size of $G$, denoted by $b(G)$, is the cardinality of the…

Let $G$ be a transitive permutation group on a finite set of size at least $2$. By a well known theorem of Fein, Kantor and Schacher, $G$ contains a derangement of prime power order. In this paper, we study the finite primitive permutation…

In this note, we prove that for any finite dimensional vector space $V$ over an algebraically closed field $k$, and for any finite subgroup $G$ of $GL(V)$ which is either solvable or is generated by pseudo reflections such that the $|G|$ is…

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…