Jacobson radical

Symbol-free definition
The Jacobson radical (also the Baer radical) of a group is defined in the following equivalent ways:


 * As the intersection of all its maximal normal subgroups
 * As the subgroup generated by all those elements of the group whose normal closure is a normality-small subgroup

Equivalence of definitions
The equivalence of these definitions follows from Baer's theorem.