A group is said to be of component type if for some centralizer C of an involution, C/O(C) has a component (where O(C) is the core of C, the maximal normal subgroup of odd order).
Ryhmän sanotaan olevan komponenttityyppinen, jos jollakin involuution keskittäjällä C, ryhmällä C/O(C) on komponentti (missä O(C) on C:n ydin, paritonta kertalukua oleva maksimaalinen normaali aliryhmä).