# Changes

## Homomorph-containing subgroup

, 20:39, 8 July 2011
Examples
==Definition==
A [[subgroup]] $H$ of a [[group]] $G$ is termed '''homomorph-containing''' if for any $\varphi \in \operatorname{Hom}(H,G)$(i.e., any [[homomorphism of groups]] from $H$ to $G$), the image $\varphi(H)$ is contained in $H$.
==Relation with other propertiesExamples== ===Extreme examples===
===Stronger properties===* Every group is homomorph-containing as a subgroup of itself.* The trivial subgroup is homomorph-containing in any group.
* [[Weaker than::Order-containing subgroup]]* [[Weaker than::Subhomomorph-containing subgroup]]* [[Weaker than::Variety-containing subgroup]]* [[Weaker than::Normal Sylow subgroup]]* [[Weaker than::Normal Hall subgroup]]===Important classes of examples===
===Weaker properties===* [[Normal Sylow subgroup]]s and [[normal Hall subgroup]]s are homomorph-containing.* Subgroups defined as the subgroup generated by elements of specific orders, are all homomorph-containing subgroups. The [[omega subgroups of a group of prime power order]] are such examples. {{further|[[Omega subgroups are homomorph-containing]]}}* The [[perfect core]] of a group is a homomorph-containing subgroup.
* See also the section [[#Stronger than::Fully characteristic subgroup]]: Also related:** [[Stronger than::Intermediately fully characteristic subgroup]]** [[Stronger than::Strictly characteristic subgroup]]** [[Stronger than::Intermediately characteristic subgroup]]** [[Stronger than::Characteristic subgroup]]* [[Stronger than::Isomorph-containing subgroup]]* [[Stronger than::Homomorph-dominating subgroupproperties]]in this page.
==Facts=Examples in small finite groups===
* The [[omega subgroups of a group of prime power order]] are homomorph-containing. {{furthersubgroup property see examples embed|[[Omega subgroups are homomorph-containing]]subgroup}}
==Metaproperties==
{{trimwikilocal-section}}
{{intsubcondn}}Here is a summary:
{{| class="sortable" border="1"!Metaproperty name !! Satisfied? !! Proof !! Statement with symbols|-| [[satisfies metaproperty::trim subgroup property]] || Yes || || For any group $G$, both $G$ (as a subgroup of itself) and the trivial subgroup of $G$ are homomorph-containing subgroups of $G$.|-| [[dissatisfies metaproperty::transitive subgroup property]] || No || [[homomorph-containment is not transitive]] || It is possible to have groups $H \le K \le G$ such that $H$ is homomorph-containing in $K$ and $K$ is homomorph-containing in $G$ but $H</matH> is not homomorph-containing in [itex]G$.|-| [[satisfies metaproperty::intermediate subgroup condition]] || Yes || [[homomorph-containment satisfies intermediate subgroup condition]] || If $H \le K \le G$ and $H$ is homomorph-containing in $G$, then $H$ is homomorph-containing in $K$.|-| [[satisfies metaproperty::strongly join-closed subgroup property]] || Yes || [[homomorph-containment is strongly join-closed]] || If $H_i, i \in I$ are a collection of homomorph-containing subgroups of $G$, the [[join of subgroups]] $\langle H_i \rangle_{i \in I}$ is also a homomorph-containing subgroup.|-| [[satisfies metaproperty::quotient-transitive subgroup property]] || Yes || [[homomorph-containment is quotient-transitive]] || If $H \le K \le G$ such that $H$ is homomorph-containing in $G$ and $K/H$ is homomorph-containing in <matH>G/H[/itex], then $K$ is homomorph-containing in $G$.|} ==Relation with other properties== ===Stronger properties=== {| class="sortable" border="1"! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions|-| [[Weaker than::order-containing subgroup]] || contains every subgroup whose order divides its order || [[order-containing implies homomorph-containing]] || [[homomorph-containing not implies order-containing]] || {{intermediate notions short|homomorph-containing subgroup|order-containing subgroup}}|-| [[Weaker than::subhomomorph-containing subgroup]] || contains every homomorphic image of every subgroup || [[subhomomorph-containing implies homomorph-containing]] || [[homomorph-containing not implies subhomomorph-containing]] || {{intermediate notions short|homomorph-containing subgroup|subhomomorph-containing subgroup}}|-| [[Weaker than::variety-containing subgroup]] || contains every subgroup of the whole group in the variety it generates || (via subhomomorph-containing) || (via subhomomorph-containing) || {{intermediate notions short|homomorph-containing subgroup|variety-containing subgroup}}|-| [[Weaker than::normal Sylow subgroup]] || normal and a [[Sylow subgroup]] || || || {{intermediate notions short|homomorph-containing subgroup|normal Sylow subgroup}}|-| [[Weaker than::normal Hall subgroup]] || normal and a [[Hall subgroup]] || || || {{intermediate notions short|homomorph-containing subgroup|normal Hall subgroup}}|-| [[Weaker than::fully invariant direct factor]] || [[fully invariant subgroup|fully invariant]] and a [[direct factor]] || [[equivalence of definitions of fully invariant direct factor]] || || {{intermediate notions short|homomorph-containing subgroup|fully invariant direct factor}}|-| [[Weaker than::left-transitively homomorph-containing subgroup]] || if whole group is homomorph-containing in some group, so is the subgroup || || [[homomorph-containment is not transitive]] || {{intermediate notions short|homomorph-containing subgroup|left-transitively homomorph-containing subgroup}}|-| [[Weaker than::right-transitively homomorph-containing subgroup]] || any homomorph-containing subgroup of it is homomorph-containing in the whole group || || || {{intermediate notions short|homomorph-containing subgroup|right-transitively homomorph-containing subgroup}}|-| [[Weaker than::normal subgroup having no nontrivial homomorphism to its quotient group]] || no nontrivial [[homomorphism]] to the [[quotient group]] || || || {{intermediate notions short|homomorph-containing subgroup|normal subgroup having no nontrivial homomorphism to its quotient group}}|===Weaker properties===
{| class="sortable" border="1"! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions|-| [[Stronger than::fully invariant subgroup]] || invariant under all [[endomorphism]]s || [[homomorph-containing implies fully invariant]] || [[fully invariant not implies homomorph-containing]] || {{intermediate notions short|fully invariant subgroup|homomorph-containing subgroup}}|-|[[Stronger than::intermediately fully invariant subgroup]] || fully invariant in every intermediate subgroup || || || {{intermediate notions short|intermediately fully invariant subgroup|homomorph-containing subgroup}}|-| [[Stronger than::strictly characteristic subgroup]] || invariant under all [[surjective endomorphism]]s || (via fully invariant) || (via fully invariant) || {{intermediate notions short|strictly characteristic subgroup|homomorph-containing subgroup}}|-| [[Stronger than::characteristic subgroup]] || invariant under all [[automorphism]]s || (via fully invariant) || (via fully invariant) || {{quotintermediate notions short|characteristic subgroup|homomorph-containing subgroup}}|-transitive| [[Stronger than::intermediately characteristic subgroup]] || characteristic in every intermediate subgroup || (via intermediately fully invariant) || (via intermediately fully invariant) || {{intermediate notions short|intermediately characteristic subgroup|homomorph-containing subgroup}}|-| [[Stronger than::normal subgroup]] || invariant under all [[inner automorphism]]s, kernel of homomorphism || (via fully invariant) || (via fully invariant) || {{intermediate notions short|normal subgroup|homomorph-containing subgroup}}|-| [[Stronger than::isomorph-containing subgroup]] || contains all isomorphic subgroups || [[homomorph-containing implies isomorph-containing]] || [[isomorph-containing not implies homomorph-containing]] || {{intermediate notions short|isomorph-containing subgroup|homomorph-containing subgroup}}|-| [[Stronger than::homomorph-dominating subgroup]] || every homomorphic image is contained in some conjugate subgroup || || || {{intermediate notions short|homomorph-dominating subgroup|homomorph-containing subgroup}}|}