جبر تجريدي, رياضيات, مفاهيم أساسية, نظرية الزمرالزمرة الجزئية ذات خاصية امتداد التشابه (CEP Subgroup)