Related papers: Normalisers of primitive permutation groups in qua…

We are interested in semigroups of the form $\langle G,a\rangle\setminus G$, where $G$ is a permutation group of degree $n$ and $a$ a non-permutation on the domain of $G$. A theorem of the first author, Mitchell and Schneider shows that, if…

If a finite quasisimple group G with simple quotient S is embedded into a suitable classical group X through the smallest degree of a projective representation of S, then the normalizer of G in X is a maximal subgroup of X, up to two series…

We consider the group isomorphism problem: given two finite groups G and H specified by their multiplication tables, decide if G cong H. For several decades, the n^(log_p n + O(1)) generator-enumeration bound (where p is the smallest prime…

We prove that the discrete logarithm problem can be solved in quasi-polynomial expected time in the multiplicative group of finite fields of fixed characteristic. More generally, we prove that it can be solved in the field of cardinality…

We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. This result was proved previously by Robert Chamberlain, and we also prove that,if G is transitive,…

Let $G$ be a permutation group on a finite set $\Omega$. The base size of $G$ is the minimal size of a subset of $\Omega$ with trivial pointwise stabiliser in $G$. In this paper, we extend earlier work of Fawcett by determining the precise…

Let $G$ be a group and write $\mbox{Perm}(G)$ for its symmetric group. Define $\mbox{Hol}(G)$ to be the holomorph of $G$, regarded as a subgroup of $\mbox{Perm}(G)$, and let $\mbox{NHol}(G)$ denote its normalizer. The quotient $T(G) =…

We prove that $d(G) \log |G| = O(n^2 \log q)$ for irreducible subgroups $G$ of GL$(n,q)$, and estimate the associated constants. The result is motivated by attempts to bound the complexity of computing the automorphism groups of various…

The dominant theme of this thesis is the construction of matrix representations of finite solvable groups using a suitable system of generators. For a finite solvable group $G$ of order $N = p_{1}p_{2}\dots p_{n}$, where $p_{i}$'s are…

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Let $H$ be a finite quasisimple classical group, i.e. $H$ is perfect and $S:=H/Z(H)$ is a finite simple classical group. We prove in this paper that, excluding the cases when the simple group $S$ has a very exceptional Schur multiplier such…

Let $H$ and $B$ be subgroups of a finite group $G$ such that $G=N_{G}(H)B$. Then we say that $H$ is \emph{quasipermutable} (respectively \emph{$S$-quasipermutable}) in $G$ provided $H$ permutes with $B$ and with every subgroup (respectively…

We study the communication complexity of multiplying $k\times t$ elements from the group $H=\text{SL}(2,q)$ in the number-on-forehead model with $k$ parties. We prove a lower bound of $(t\log H)/c^{k}$. This is an exponential improvement…

A transitive permutation group is said to be semiprimitive if each of its normal subgroups is either semiregular or transitive.The class of semiprimitive groups properly contains primitive groups, quasiprimitive groups and innately…

Explicit generating sets are found for all primitive ideals in the generic quantized coordinate rings of the 3x3 special and general linear groups over an arbitrary algebraically closed field. (Previously, generators were only known up to…

Let $G$ be a finite primitive permutation group on a set $\Omega$ with nontrivial point stabilizer $G_{\alpha}$. We say that $G$ is extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$.…

Let G be a primitive permutation group on a finite set Omega. Let p^2 divide |G|, for a prime p. We show that when G is solvable, there exists a subset of Omega whose stabilizer S has the property that 1<|S|_p<|G|_p. We offer a counting…

Let k be an algebraically closed field of characteristic 0. Musson and vandenBergh classified primitive ideals for rings of torus invariant differential operators. This classification applies in particular to subquotients of localized…

For a group $G$ and a subgroup $H$ of $G$ this article discusses the normalizer of $H$ in the units of a group ring $RG$. We prove that $H$ is only normalized by the `obvious' units, namely products of elements of $G$ normalizing $H$ and…

A transitive permutation group is semiprimitive if each of its normal subgroups is transitive or semiregular. Interest in this class of groups is motivated by two sources: problems arising in universal algebra related to collapsing monoids…