Monolithic implies linearly primitive
Statement
Suppose is a finite group. Then, if
is a Monolithic group (?) (i.e., it has a unique minimal normal subgroup) then
is a Linearly primitive group (?), i.e., it admits an irreducible linear representation over the complex numbers that is also a faithful linear representation, i.e., has trivial kernel).