Related papers: A sufficient condition for accessibility of pro-$p…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

We prove a necessary condition for the existence of the $A_p$-structure on ${\rm mod}~p$ spaces, and also derive a simple proof for the finiteness of the number of ${\rm mod}~p$ $A_p$-spaces of given rank. As a direct application, we…

We prove that all endo-$p$-permutation modules for a finite group are liftable from characteristic $p>0$ to characteristic $0$.

We investigate some properties of the $p$-elements of a profinite group $G$. We prove that if $p$ is odd and the probability that a randomly chosen element of $G$ is a $p$-element is positive, then $G$ contains an open prosolvable subgroup.…

Here we present a working framework to establish finite abelian groups in python. The primary aim is to allow new A-level students to work with examples of finite abelian groups using open source software. We include the code used in the…

We prove that every finitely generated soluble group which is not virtually abelian has a subgroup of one of a small number of types.

We prove that every finite simple group of Lie type $G$ can be generated by three regular unipotent elements. In certain cases we show that two regular unipotents are sufficient to generate $G$.

This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$…

We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of…

We study systematically groups whose marked finite quotients form a recursive set. We give several definitions, and prove basic properties of this class of groups, and in particular emphasize the link between the growth of the depth…

We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety…

We formulate a version of the Pompeiu problem in the discrete group setting. Necessary and sufficient conditions are given for a finite collection of finite subsets of a discrete abelian group, whose torsion free rank is less than the…

Let K be a field and G a finite group. The question of 'admissibility' of G over K was originally posed by Schacher, who gave partial results in the case K = Q. In this paper, we give necessary conditions for admissibility of a finite group…

It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $\gamma_{k}(G)$ is…

For every prime $p$, we construct an infinite countable group that contains precisely $p-1$ elements which are not $p$th powers.

It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.

We give a necessary and sufficient condition for the fundamental group of a finite graph of groups with infinite cyclic edge groups to be acylindrically hyperbolic, from which it follows that a finitely generated group splitting over Z…

All crossed products of two cyclic groups are explicitly described using generators and relations. A necessary and sufficient condition for an extension of a group by a group to be a cyclic group is given.

We prove a $p$-nilpotency criterion for finite groups in terms of the element orders of its $p'$-reduced sections that extends a nilpotency criterion by T{\u{a}}rn{\u{a}}uceanu.