Group property-conditionally 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 a strongly image-potentially characteristic subgroup in relative to if there exists a group satisfying and a surjective homomorphism such that both the kernel of and are characteristic subgroups of .