A bad group is a group {\displaystyle G} of finite Morley rank which is non-solvable, but has the property that every proper subgroup is nilpotent. Bad groups are conjectured to not exist. This would follow from the Cherlin-Zilber conjecture.

The original plan for proving the Cherlin-Zilber conjecture was to prove that bad groups and bad fields do not exist. However, bad fields were subsequently shown to exist. (A bad field is…a field {\displaystyle K} of finite Morley rank such that {\displaystyle K^{\times }} has a definable proper subgroup?) ::: ::: :::