Group property-conditionally semi-strongly image-potentially characteristic subgroup
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Definition
Suppose is a group property, is a group satisfying , and is a subgroup of . We say that is semi-strongly image-potentially characteristic in relative to if there exists a group satisfying and a surjective homomorphism such that is a characteristic subgroup of .