الجبر التجريدي, الرياضيات, نظرية الزمرالزمرة الجزئية الطبيعية المتعدية (Transitively Normal Subgroup)