Related papers: Finite morphic $p$-groups

Let $\alpha$ be a coprime automorphism of a group $G$ of prime order and let $P$ be an $\alpha$-invariant Sylow $p$-subgroup of $G$. Assume that $p\notin \pi(C_G(\alpha))$. Firstly, we prove that $G$ is $p$-nilpotent if and only if…

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also…

Let $G$ and $N$ be finite groups of order $2n$ where $n$ is odd. We say the pair $(G,N)$ is Hopf-Galois realizable if $G$ is a regular subgroup of $\h(N)=N\rtimes\au(N)$. In this article we give necessary conditions on $G$ (similarly $N$)…

Let $p$ be a prime and $F$ be a finite field of characteristic $p$. Suppose that $FG$ is the group algebra of the finite $p$-group $G$ over the field $F$. Let $V(FG)$ denote the group of normalized units in $FG$ and let $V_*(FG)$ denote the…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

According to T. Foguel a subgroup $H$ of a group $G$ is called conjugate-permutable if $ HH^x=H^xH$ for every $x\in G$. Mingyao Xu and Qinhai Zhang studied finite groups with every subgroup conjugate-permutable (ECP-groups) and asked three…

Every finite $p$-group of coclass 2 has a noninner automorphism of order $p$ leaving the center elementwise fixed.

Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, assume that $G$ has a maximal $A$-invariant subgroup $M$ that is a direct product of some isomorphic simple groups, we prove that if $G$ has a…

We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$-power order, then either…

Finite groups $G$ such that $G/Z(G) \simeq C_2 \times C_2$ where $C_2$ denotes a cyclic group of order 2 and $Z(G)$ is the center of $G$ were studied in \cite{casofinito} and were used to classify finite loops with alternative loop…

Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of…

For an Abelian group $G$, any homomorphism $\mu\colon G\otimes G\rightarrow G$ is called a \textsf{multiplication} on $G$. The set $\text{Mult}\,G$ of all multiplications on an Abelian group $G$ itself is an Abelian group with respect to…

Let $ x $ be an element of a finite group $ G $ and denote the order of $ x $ by $ \mathrm{ord}(x) $. We consider a finite group $ G $ such that $ \gcd(\mathrm{ord}(x),\mathrm{ord}(y))\leqslant 2 $ for any two vanishing elements $ x $ and $…

A group $\Gamma$ is defined to be cofinitely Hopfian if every homomorphism $\Gamma\to\Gamma$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic…

Let $G$ be a finite group and $n_p(G)$ the number of Sylow $p$-subgroups of $G$. In this paper, we prove if $n_p(G)<p^2$ then almost all numbers $n_p(G)$ are a power of a prime.

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…

Let $G$ be a finite group and let $F$ be a finite field of characteristic $2$. We introduce \emph{$F$-special subgroups} and \emph{$F$-special elements} of $G$. In the case where $F$ contains a $p$th primitive root of unity for each odd…