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)。

On Finite Groups with Three Supersolvable Subgroups of Pairwise Relatively Prime Indices

Exterior Algebras and Two Conjectures on Finite Abelian Groups

On Finite Groups that are the Product of Two Subnormal Supersoluble Subgroups

On Quasisupersoluble and P-Quasisupersoluble Finite Groups

On the sum of the inverses of the element orders in finite groups

NOTES ON FINITE SUPERSOLVABLE GROUPS

Products of Finite Supersoluble Groups

Another criterion for supersolvability of finite groups

On Supersolubility of Finite Groups Admitting a Frobenius Group of Automorphisms with Fixed-Point-free Kernel

Groups with supersolvable automorphism group

Criteria for the P-Solvability and P-Supersolvability of Finite Groups

On finite groups with certain maximal CSS-subgroups

On the CSS-subgroups and the supersolvabilty of a finite group

New characterizations of p-soluble and p-supersoluble finite groups

Solvability of a group based on its number of subgroups

Finite Groups with Given Indices of Normalizers of Sylow Subgroups

Finite Groups With Some Primary Subgroups G-S-Supplemented

Finite Groups of Symplectic Automorphisms of Supersingular K3 surfaces in Odd Characteristics

New Characterizations of Finite Supersoluble Groups

On Finite Groups Factorised by Submodular Subgroups

Criterions of Supersolubility for Products of Supersoluble Groups