Subhomomorph-containing implies right-transitively homomorph-containing

From Groupprops
Revision as of 14:01, 8 August 2009 by Vipul (talk | contribs) (Created page with '{{composition computation| left = homomorph-containing subgroup| right = subhomomorph-containing subgroup| final = homomorph-containing subgroup}} {{subgroup property implication…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., Homomorph-containing subgroup (?) and Subhomomorph-containing subgroup (?)), to another known subgroup property (i.e., Homomorph-containing subgroup (?))
View a complete list of composition computations
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., subhomomorph-containing subgroup) must also satisfy the second subgroup property (i.e., right-transitively homomorph-containing subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about subhomomorph-containing subgroup|Get more facts about right-transitively homomorph-containing subgroup


Statement with symbols

Suppose H \le K \le G are groups. If H is a homomorph-containing subgroup of K and K is a subhomomorph-containing subgroup of G.

Related facts