B-theorem
theorem that, if C is the centralizer of an involution of a finite group, then every component of C/O(C) is the image of a component of C
en-US/ˈbi - ˈθɪɹəm/
en-GB/biː - ˈθɪəɹəm/
theorem that, if C is the centralizer of an involution of a finite group, then every component of C/O(C) is the image of a component of C