# Definition A group with no [[Normal Subgroup|normal subgroups]] is a simple group.