In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups:

By applying this result to finite groups, we get a Galois correspondence subgroups/subsystems.

Question: What's the first reference for this result in finite group theory?