# Group property-conditionally image-potentially characteristic subgroup

From Groupprops

## Definition

Suppose is a group property, is a group satisfying , and is a subgroup of . We say that is an **image-potentially characteristic subgroup** relative to if there exists a surjective homomorphism of groups and a characteristic subgroup of such that .