Related papers: $p$-central action on groups

In this paper we classify all capable finite $p$-groups with derived subgroup of order $p$ and $G/G'$ of rank $n-1$.

We consider the question whether a Sylow like theorem is valid in the normalized units of integral group rings of finite groups. After a short survey on the known results we show that this is the case for integral group rings of Frobenius…

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,…

Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$…

The main theorem in this article shows that a group of odd order which admits the alternating group of degree 5 with an element of order 5 acting fixed point freely is nilpotent of class at most two. For all odd primes r, other than 5, we…

Let the group $G = AB$ be the product of subgroups $A$ and $B$, and let $p$ be a prime. We prove that $p$ does not divide the conjugacy class size (index) of each $p$-regular element of prime power order $x\in A\cup B$ if and only if $G$ is…

Suppose that $A$ is a finite nilpotent group of odd order acting good in the sense of \cite{EGJ} on the group $G$ of odd order. Under some additional assumptions we prove that the Fitting height of $G$ is bounded above by the sum of the…

Thompson proved that every finite group admitting a fixed-point-free automorphism of prime order is nilpotent, and Kegel showed that the same conclusion holds for finite groups admitting a splitting automorphism of prime order. Motivated by…

If G is a finitely generated powerful pro-p group satisfying a certain law v=1, and if G can be generated by a normal subset T of finite width which satisfies a positive law, we prove that G is nilpotent. Furthermore, the nilpotency class…

Consider the Macdonald groups $G(\alpha)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\alpha\rangle$, $\alpha\in{\mathbf Z}$. We fill a gap in Macdonald's proof that $G(\alpha)$ is always nilpotent, and proceed to determine the order,…

A group $G$ is said to be totally $k$-closed for a positive integer $k$ if, in each of its faithful permutation representations on a set $\Omega^k$, $G$ is the largest subgroup of the symmetric group $\operatorname{Sym}(\Omega)$ that…

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is…

We characterize all finite p-groups G of order p^n(n\leq 6), where p is a prime for n\leq 5 and an odd prime for n = 6, such that the center of the inner automorphism group of G is equal to the group of central automorphisms of G.

A long-standing conjecture asserts that every finite nonabelian $p$-group has a non-inner automorphism of order $p$. In this paper we prove the conjecture for finite $p$-groups of coclass $4$ and coclass $5$ ($p\ge 5$). We also prove the…

Suppose that $G$ is a finite $p$-group. If all subgroups of index $p^t$ of $G$ are abelian and at least one subgroup of index $p^{t-1}$ of $G$ is not abelian, then $G$ is called an $\mathcal{A}_t$-group. In this paper, some information…

We study nilpotent groups acting faithfully on complex algebraic varieties. We use a method of base change. For finite p-groups, we go from $k$, a number field, to a finite field in order to use counting lemmas. We show that a finite…

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…

A group is called capable if it is a central factor group. We consider the capability of finite groups of class two and exponent $p$, $p$ an odd prime. We restate the problem of capability as a problem about linear transformations, which…

In 1995, Isaacs, Kantor and Spaltenstein proved that for a finite simple classical group G defined over a field with q elements, and for a prime divisor p of |G| distinct from the characteristic, the proportion of p-singular elements in G…

We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.