Image condition

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This article defines a subgroup metaproperty: a property that can be evaluated to true/false for any subgroup property
View a complete list of subgroup metaproperties
View subgroup properties satisfying this metaproperty| View subgroup properties dissatisfying this metaproperty
VIEW RELATED: subgroup metaproperty satisfactions| subgroup metaproperty dissatisfactions

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Image condition, all facts related to Image condition) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

Symbol-free definition

A subgroup property is said to satisfy the image condition if, under any surjective homomorphism, the image of a subgroup satisfying the property in the source group, again satisfies the property in the target group.

Definition with symbols

A subgroup property $p$ is said to satisfy the image condition if whenever $ϕ : G \to K$ is a surjective homomorphism and $H \leq G$ satisfies property $p$ in $G$ , then $ϕ (H)$ satisfies property $p$ in $K$ .