Core for a prime divisor
Definition with symbols
Let be a finite group of order and let be a prime divisor of . Then, the -core of , donated by is defined as the following subgroup:
- It is the intersection of all -Sylow subgroups
- It is the subgroup generated by all normal -Sylow subgroups
- It is the subgroup generated by all characteristic -Sylow subgroups
Relation with other subgroup-defining functions
The Fitting subgroup is defined as the subgroup generated by all normal nilpotent subgroups. In the case of a finite group, the Fitting subgroup is simply the product of all -cores for prime divisors .
Related properties of prime divisors
Core-trivial and core-nontrivial
For a given group , a prime divisor is said to be core-trivial if the -core is trivial, and is said to be core-nontrivial if the -core is nontrivial.
If we are not given the actual group but only the order of , it may happen that for some groups with that order, the core is trivial while for others it is nontrivial. For instance, in the cyclic group of that order, the core is the whole Sylow subgroup, whereas if there is a simple group of that order, the core is trivial.
A prime divisor of a number is termed core-nontrivial if for any group of that order, the core for that prime divisor is nontrivial.