Homomorph-containment is strongly join-closed

This article gives the statement, and possibly proof, of a subgroup property (i.e., homomorph-containing subgroup) satisfying a subgroup metaproperty (i.e., strongly join-closed subgroup property)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about homomorph-containing subgroup |Get facts that use property satisfaction of homomorph-containing subgroup | Get facts that use property satisfaction of homomorph-containing subgroup|Get more facts about strongly join-closed subgroup property

Statement

Statement with symbols

Suppose $G$ is a group, $I$ is an indexing set, and $H_{i}, i \in I$ , is a collection of homomorph-containing subgroups of $G$ . Then, the join of subgroups $⟨ H_{i} ⟩_{i \in I}$ is also a homomorph-containing subgroup of $G$ .

Related facts

Related facts about join-closed

Proof

Given: A group $G$ , an indexing set $I$ , a collection $H_{i}$ of homomorph-containing subgroups of $G$ , $i \in I$ . $H = ⟨ H_{i} ⟩_{i \in I}$ . A homomorphism $φ : H \to G$ .

To prove: $φ (H)$ is containined in $H$ .

Proof: $φ (H) = φ ⟨ H_{i} ⟩_{i \in I} = ⟨ φ (H_{i}) ⟩_{i \in I}$ . Since each $H_{i}$ is homomorph-containing in $G$ , $φ (H_{i})$ is contained in $H_{i}$ , so the join of $φ (H_{i}), i \in I$ , is contained in the join of the $H_{i}$ s, which is $H$ .