Jordan-Holder Theorem for profinite groups and applications

We generalize the notions of composition series and composition factors for profinite groups, and prove a profinite version of the Jordan-Holder Theorem. We apply this to prove a Galois Theorem for infinite prosolvable extensions. In addition, we investigate the connection between the abstract and topological composition factors of a nonstrongly complete profinite group.