Related papers: Capable groups of prime exponent and class two

It is proved that, for a prime $p>2$ and integer $n\geq 1$, finite $p$-groups of nilpotency class $3$ and having only two conjugacy class sizes $1$ and $p^n$ exist if and only if $n$ is even; moreover, for a given even positive integer,…

A presentation as well as a structural description of the automorphism group of a family of 3-generator finite $p$-groups is given, $p$ being an odd prime.

For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of…

In this paper, we show that each finite group $G$ containing at most $p^2$ Sylow $p$-subgroups for each odd prime number $p$, is a solvable group. In fact, we give a positive answer to the conjecture in \cite{Rob}.

A countable group is residually finite if every nontrivial element can act nontrivially on a finite set. When a group fails to be residually finite, we might want to measure how drastically it fails - it could be that only finitely many…

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…

Which groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple,…

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…

Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…

We investigate the structure of finite groups whose non-central real class sizes have the same $2$-part. In particular, we prove that such groups are solvable and have $2$-length one. As a consequence, we show that a finite group is…

We introduce the abstract concept of supernilpotence in loop theory, and relate it to existing concepts, namely, central nilpotence and nilpotence of the multiplication group. We prove that the class of supernilpotence is greater or equal…

Let $G$ be any group. The quotient group $T(G)$ of the multiple holomorph by the holomorph of $G$ has been investigated for various families of groups $G$. In this paper, we shall take $G$ to be a finite $p$-group of class two for any odd…

Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $\alpha(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…

In this note we show that for any powerful $p$-group $G$, the subgroup $\Omega_{i}(G^{p^{j}})$ is powerfully nilpotent for all $i,j\geq1$ when $p$ is an odd prime, and $i\geq1$, $j\geq2$ when $p=2$. We provide an example to show why this…

In this paper, we provide new criteria for the solvability and supersolvability of a finite group based on its number of cyclic subgroups. A finite group G is called n-cyclic if it contains n cyclic subgroups. This paper also partially…

In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every…

An element of a group is called $\textit{strongly reversible}$ or $\textit{strongly real}$ if it can be expressed as a product of two involutions. We provide necessary and sufficient conditions for an element of $\mathrm{SL}(n,\mathbb{C})$…

We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$, then $G$ is $p$-nilpotent. We show that…