This text summarizes key results in finite group theory. It discusses Hall subgroups and Sylow bases, which are important in the study of finite groups. A Hall π-subgroup of a group G is a subgroup whose order is a product of primes in π and whose index is not divisible by any prime in π. A p-complement is a Hall p'-subgroup. Hall's theorem states that a finite group is soluble if and only if it has a p-complement for every prime p dividing its order, or has a Hall π-subgroup for every set of primes π. The theorem also states that all Hall π-subgroups are conjugate in G. A Sylow basis is a system of pairwise permutable Sylow subgroups, one for each prime factor of the group order. Theorem 2 states that every soluble group has a Sylow basis, and all Sylow bases are conjugate. A subgroup reduces into a Sylow basis if its intersection with each Sylow subgroup is a Sylow subgroup of the subgroup. Corollary 3 states that if G is soluble with a Sylow basis (P_i), then some conjugate of any subgroup H of G reduces into (P_i). Carter subgroups are nilpotent subgroups C of a group G such that the normalizer of C in G is C itself. Theorem 4 states that every soluble group has Carter subgroups, which are all conjugate. If C is a Carter subgroup of G and H is a subgroup of G containing C, then any normal subgroup N of H such that H/N is nilpotent implies that H = NC. Corollary 5 states that if a group G has a chain of normal subgroups where each quotient is nilpotent, then G can be expressed as a product of Carter subgroups of each subgroup in the chain. The Fitting subgroup of a group G is the unique maximal nilpotent normal subgroup of G. In a finite soluble group, the Fitting subgroup contains its centralizer.This text summarizes key results in finite group theory. It discusses Hall subgroups and Sylow bases, which are important in the study of finite groups. A Hall π-subgroup of a group G is a subgroup whose order is a product of primes in π and whose index is not divisible by any prime in π. A p-complement is a Hall p'-subgroup. Hall's theorem states that a finite group is soluble if and only if it has a p-complement for every prime p dividing its order, or has a Hall π-subgroup for every set of primes π. The theorem also states that all Hall π-subgroups are conjugate in G. A Sylow basis is a system of pairwise permutable Sylow subgroups, one for each prime factor of the group order. Theorem 2 states that every soluble group has a Sylow basis, and all Sylow bases are conjugate. A subgroup reduces into a Sylow basis if its intersection with each Sylow subgroup is a Sylow subgroup of the subgroup. Corollary 3 states that if G is soluble with a Sylow basis (P_i), then some conjugate of any subgroup H of G reduces into (P_i). Carter subgroups are nilpotent subgroups C of a group G such that the normalizer of C in G is C itself. Theorem 4 states that every soluble group has Carter subgroups, which are all conjugate. If C is a Carter subgroup of G and H is a subgroup of G containing C, then any normal subgroup N of H such that H/N is nilpotent implies that H = NC. Corollary 5 states that if a group G has a chain of normal subgroups where each quotient is nilpotent, then G can be expressed as a product of Carter subgroups of each subgroup in the chain. The Fitting subgroup of a group G is the unique maximal nilpotent normal subgroup of G. In a finite soluble group, the Fitting subgroup contains its centralizer.