Inom matematiken är B-satsen (tidigare B-förmodan) ett resultat som säger att om C är centralisatorn för en involution av en ändlig grupp, så är varje komponent av C/O(C) bilden av en komponent av C (Gorenstein 1983, p. 7 och chapter 3).

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, B-theorem, 8 juni 2015.

• Gorenstein, D. (1983), The classification of finite simple groups. Vol. 1, The University Series in Mathematics, Plenum Press, ISBN 978-0-306-41305-6