Group property-conditionally image-potentially characteristic subgroup

From Groupprops
Revision as of 23:58, 26 October 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Suppose \alpha is a group property, G is a group satisfying \alpha, and H is a subgroup of G. We say that H is an image-potentially characteristic subgroup relative to \alpha if there exists a surjective homomorphism of groups \rho:K \to G and a characteristic subgroup L of K such that \rho(L) = H.