Procharacteristic of normal implies pronormal

From Groupprops
Jump to: navigation, search
This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., Procharacteristic subgroup (?) and Normal subgroup (?)), to another known subgroup property (i.e., Pronormal subgroup (?))
View a complete list of composition computations