A nilpotent group G is a finite group that is the direct product of its Sylow p-subgroups. Theorem 1.1 (Fitting's Theorem) Let G be a finite group, and let H and K be two nilpotent normal subgroups of G. Then HK is nilpotent. Hence in any finite group there is a unique maximal normal nilpotent subgroup, and every nilpotent normal subgroup lies inside this; it is called the Fitting subgroup, and...

This is a toy example to illustrate some of the techniques of fusion and transfer as described in Gorenstein’s text Finite Groups. Finite groups with a unique subgroup of order p (p an odd prime) are classified in terms of a cyclic p′-extension of relatively simple combinatorial data. This note is intended to address a slightly misstated exercise in somewhat more detail and to be a toy example ...

in which GiCG and Gi+1/Gi ⊂ Z(G/Gi) for all i. We call G solvable if it admits a normal series (1.1) in which Gi+1/Gi is abelian for all i. Every nilpotent group is solvable. Nilpotent groups include finite p-groups, and some theorems about p-groups extend to nilpotent groups (e.g., any nontrivial normal subgroup of a nilpotent group has a nontrivial intersection with the center). There is a la...

‎we pursue further our‎ ‎investigation‎, ‎begun in [h.~smith‎, ‎groups with all subgroups subnormal or‎ ‎nilpotent-by-{c}hernikov‎, ‎emph{rend‎. ‎sem‎. ‎mat‎. ‎univ‎. ‎padova}‎ ‎126 (2011)‎, ‎245--253] and continued in [g.~cutolo and h.~smith‎, ‎locally finite groups with all subgroups‎ ‎subnormal or nilpotent-by-{c}hernikov‎. ‎emph{centr‎. ‎eur‎. ‎j‎. ‎math.} (to appear)] ‎‎‎of groups $g$ in w...

Let $H$, $L$ and $X$ be subgroups of a finite group$G$. Then $H$ is said to be $X$-permutable with $L$ if for some$xin X$ we have $AL^{x}=L^{x}A$. We say that $H$ is emph{$X$-quasipermutable } (emph{$X_{S}$-quasipermutable}, respectively) in $G$ provided $G$ has a subgroup$B$ such that $G=N_{G}(H)B$ and $H$ $X$-permutes with $B$ and with all subgroups (with all Sylowsubgroups, respectively) $...

Theorem 1 gives an explicit formula for the heat kernel on an H -type group. Folland (2] has shown that for stratified nilpotent Lie groups the heat semigroup is a semigroup of kernel operators on LP, 1 5 p < oo and on Co. Cygan (1] has obtained formulas for heat kernels for any two step nilpotent simply connected Lie group. Cygan found the heat kernel for a free simply connected two step nilpo...

‎‎for any group $g$‎, ‎we define an equivalence relation $thicksim$ as below‎: ‎[forall g‎, ‎h in g gthicksim h longleftrightarrow |g|=|h|]‎ ‎the set of sizes of equivalence classes with respect to this relation is called the same-order type of $g$ and denote by $alpha{(g)}$‎. ‎in this paper‎, ‎we give a partial answer to a conjecture raised by shen‎. ‎in fact‎, ‎we show that if $g$ is a nilpot...

Let G be a finite group and α be an automorphism of G of order p n for an odd prime p. Suppose that α acts fixed point freely on every α-invariant p-section of G, and acts trivially or exceptionally on every elementary abelian α-invariant p-section of G. It is proved that G is a solvable p-nilpotent group of nilpotent length at most n + 1, and this bound is best possible.