B-theoremIn mathematics, the B-theorem is a result in finite group theory formerly known as the B-conjecture.The theorem states that if is the centralizer of an involution of a finite group, then every component of is the image of a component of.