Related papers: A $p$-nilpotency criterion for finite groups
A group is called capable if it is a central factor group. We consider the capability of nilpotent products of cyclic groups, and obtain a generalization of a theorem of Baer for the metabelian small class case. The approach is also used to…
We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new…
We describe an algorithm for deciding whether or not a given finitely generated torsion-free nilpotent group is decomposable as the direct product of nontrivial subgroups.
We give three necessary and sufficient conditions for a pro-p group to be p-adic analytic. We show that a noetherian pro-p group having finite chain length has a finite rank and conversely. We further deduce that a noetherian pro-p group…
We study a conjecture by Deaconescu on the solubility of finite groups with claims that if more than half of the elements in a finite group has the same order $k$, then the group is soluble. We show that the original conjecture fails by…
We give a new, geometric proof of the section conjecture for fixed points of finite group actions on projective curves of positive genus defined over the field of complex numbers, as well as its natural nilpotent analogue. As a part of our…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
Let $G$ be a finite $p$-group of order $p^n$. YA. G. Berkovich (Journal of Algebra {\bf 144}, 269-272 (1991)) proved that $G$ is elementary abelian $p$-group if and only if the order of its Schur multiplier, $M(G)$, is at the maximum case.…
For an element $x$ of a finite group $T$, the $\mathrm{Aut}(T)$-class of $x$ is the set $\{ x^\sigma\mid \sigma\in \mathrm{Aut}(T)\}$. We prove that the order $|T|$ of a finite nonabelian simple group $T$ is bounded above by a function of…
We define a notion of roundness for finite groups. Roughly speaking, a group is round if one can order its elements in a cycle in such a way that some natural summation operators map this cycle into new cycles containing all the elements of…
We consider groups of the nilpotency class $3$ of order $p^4$ which are the additive groups of local nearrings. It was shown that, for $p>3$, there exist a local nearring on one of such 4 groups.
We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive…
In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the…
We develop an abstract framework for studying the strong form of Malle's conjecture for nilpotent groups $G$ in their regular representation. This framework is then used to prove the strong form of Malle's conjecture for any nilpotent group…
We show that under certain conditions the Gelfand-Kazhdan criterion for the Gelfand property is a necessary condition. We work in the generality of finite groups, however part of the argument carries over to p-adic and real groups.
We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group…
A finite p-group is said to be of Gorenstein-Kulkarni type if the set of all elements of non-maximal order is a maximal subgroup. 2-groups of Gorenstein-Kulkarni type arise naturally in the study of group actions on compact Riemann…
A complex irreducible character of a finite group G is said to be p-constant, for some prime p dividing the order of G, if it takes constant value at the set of p-singular elements of G. In this paper we classify irreducible p-constant…
In this short note we introduce a new metric on certain finite groups. It leads to a class of groups for which the element orders satisfy an interesting inequality. This extends the class CP_2 studied in our previous paper [16].
Nilpotency for discrete groups can be defined in terms of central extensions. In this paper, the analogous definition for spaces is stated in terms of principal fibrations having infinite loop spaces as fibers, yielding a new invariant we…