Inclusions of simple C^*-algebras arising from compact group actions - Miho Mukohara (2024)