Abstract:Let's recall the definition of supersolvable groups. A group G is called supersolvable if it has a finite normal seriesG=G_0(?)G_1(?)…(?)G_m=1 such that in whioh each factor G_i/G_(i+1) (i=0, 1, …, m-1) are all cyclic. In this paper, we will disouss two properties for finite supersolvable groups.1. On Lagrange theoremZappa, G. proved the following theorem in 1940.Theorem 1. The inverse proposition of Lagrange theorem holds for a finite group G and any of its subgroups if and only if the group G is supersolvable.Mclian, D. H. has given a proof for the preceding theorem of Zappa in 1957. Again, Dorek, K. and Deskins, W. E. gave proves for Zappa's theorem in 1966 and 1968 respectively. We shall give a proof for this theorem here, whioh seems to be new.We need the following lemmas.Lemma 1. Suppose that the inverse proposition of Lagrange theorem holds for a finite group G and any of its subgroups, and let p_i be the largest prime whioh is a factor of order o (G) of group G, then the Sylow p_i-subgroup of group G is normal in G.Lemma 2. Assume that the inverse proposition of Lagrange theorem holds for a finite group G and any of its subgroups, and let p_i be the largest prime which is a factor of order o(G) of group G then, the group G has a normal subgroup with order p_t.2. On Wielandt theoremWielandt, H proved in 1954 that if a group G has a niloptent Hall ∏-subgroup, then all Hall ∏-subgroups of the group G are conjugate, and for eaoh ∏-subgroup of the group G there exists one Hall ∏-subgroup of G whioh contains the ∏-subgroup.We have the following result for this theorem of Wielandt, H.Theorem 2. Assume a group G has a Hall ∏-subgroup H, and let eaoh Sylow p-subgroup of H be cyclic, then the Hall ∏-subgroups of G from a single conjugacy class of subgroups of G, and for eaoh ∏-subgroup of G there exists one Hall ∏-subgroup of G which contains the ∏-subgroup.We first introduce some symbols as follows:1. Condition E_∏~e. Let ∏ be a set of primes. If a group G has a Hall ∏-subgroup H, and each Sylow p-subgroup of H is cyclic, then the group G is said to have satisfied condition E_∏~c.2. ∏_1=∏(P′≤P). Let ∏ be a set of primes, p be a given prime in ∏, and let p′ be a prime in ∏. We write∏_1=∏(p′≤p)={P′∈∏|p′≤p}. We need the followingLemma. Suppose that a group G satisfied condetion E_∏~c, and let P be any p-subgroup of the group G, p∈∏, then the normalizer N_G(P) of P in G satisfied E_∏~c(p′≤p)。

Every finite nilpotent loop has a supernilpotent loop as reduct

On torsion-free nilpotent loops

Small loops of nilpotency class three with commutative inner mapping groups

A finite loop space not rationally equivalent to a compact Lie group

A Generalization of Hall-Wielandt Theorem

Nilpotent elements control the structure of a module

p-Nilpotent maximal subgroups in finite groups

The Reidemeister spectrum of direct products of nilpotent groups

Two-step nilpotent extensions are not anabelian

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

Skolem-Noether for nilpotent products

An Abelian Loop for Non-Composites

Total positivity in loop groups II: Chevalley generators

Supernilpotent Semigroups

NOTES ON FINITE SUPERSOLVABLE GROUPS

Semidirect Product of Loops with Groups

On converse of the Schur's theorem for nilpotent Lie superalgebras

Loop torsors. Theory and applications

The order of the product of two elements in finite nilpotent groups

A $p$-nilpotency criterion for finite groups

The Structure of Finite Non-Nilpotent Groups in Which Every 2-Maximal Subgroup Permutes with All 3-Maximal Subgroups