]> 2026-07-09T13:34:32+00:00 Pronormal subgroup 0 en Pronormal subgroup Maximal implies pronormal 0 en Maximal implies pronormal Join with any distinct conjugate is the whole group implies pronormal 0 en Join with any distinct conjugate is the whole group implies pronormal Intermediately isomorph-conjugate of normal implies pronormal 0 en Intermediately isomorph-conjugate of normal implies pronormal Pronormal implies WNSCDIN 0 en Pronormal implies WNSCDIN Pronormal implies MWNSCDIN 0 en Pronormal implies MWNSCDIN Pronormal implies self-conjugate-permutable 0 en Pronormal implies self-conjugate-permutable Pronormal implies intermediately subnormal-to-normal 0 en Pronormal implies intermediately subnormal-to-normal Pronormal implies weakly normal 0 en Pronormal implies weakly normal Normalizer of pronormal implies abnormal 0 en Normalizer of pronormal implies abnormal Normal subgroup 0 en Normal subgroup 0 Pronormal implies WNSCDIN#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Pronormal implies MWNSCDIN#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Pronormal implies self-conjugate-permutable#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Pronormal implies intermediately subnormal-to-normal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Maximal implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Join with any distinct conjugate is the whole group implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Abelian and pronormal implies SCDIN#Pronormal subgroup# 23b250933960f4a05fabbe1d38cdfa17 0 Pronormal implies weakly normal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Hall not implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Pronormal not implies NE#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Abnormal normalizer not implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Normalizer of pronormal implies abnormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Paranormal not implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Intermediately isomorph-conjugate of normal implies pronormal#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 0 Intermediately isomorph-conjugate of normal implies pronormal#Pronormal subgroup# 23b250933960f4a05fabbe1d38cdfa17 0 Pronormal not implies join with any distinct conjugate is the whole group#Pronormal subgroup;2# a9f883968d9f7b847c7cad0cd3474265 Proves property satisfaction of 132 en Proves property satisfaction of Uses property satisfaction of 132 en Uses property satisfaction of Stronger than 132 en Stronger than Page 132 en Page