Alperin–Brauer–Gorenstein theorem