Invariance implies strongly intersection-closed

This article gives the statement and possibly, proof, of an implication relation between two subgroup metaproperties. That is, it states that every subgroup satisfying the first subgroup metaproperty (i.e., Invariance property (?)) must also satisfy the second subgroup metaproperty (i.e., Strongly intersection-closed subgroup property (?))
View all subgroup metaproperty implications | View all subgroup metaproperty non-implications

Statement

Verbal statement

Any subgroup property that arises as an invariance property with respect to the function restriction formalism is strongly intersection-closed, viz it is both intersection-closed and identity-true.

Symbolic statement

Let $p$ be a function property (that is, a property of functions from a group to itself). let $I$ be a (possibly empty) indexing set. Let $H_{i}$ is a family of subgroups of $G$ indexed by $I$ . Assume that for every function $f$ on $G$ satisfying $p$ , $f(H_{i})$ ⊆ $H_{i}$ (viz $H_{i}$ satisfies the invariance property for $p$ ).

Then, if $H$ denotes the intersection of all $H_{i}$ s, $H$ also satisfies the invariance property for $p$ . In other words, whenever $f$ is a function on $G$ satisfying $p$ , $f(H)$ ⊆ $H$ .

Examples

An intersection of normal subgroups is normal. Here, the subgroup property of being normal is the property of being invariant under inner automorphisms, and is hence the invariance property for the function property of being an inner automorphism.
An intersection of characteristic subgroups is characteristic. Here the subgroup property of being characteristic is the invariance property with respect to the function property of being an automorphism.

Definitions used

Invariance property

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Strongly intersection-closed subgroup property

A subgroup property is termed strongly intersection-closed if given any family of subgroups having the property, their intersection also has the property. Note that just saying that a subgroup property is intersection-closed simply means that given any nonempty family of subgroups with the property, the intersection also has the property.

Thus, the property of being strongly intersection-closed is the conjunction of the properties of being intersection-closed and identity-true, viz satisfied by the whole group as a subgroup of itself.

Proof

Proof with symbols

Let $G$ be a group and $I$ an indexing set. Let $H_{i}$ be a family of subgroups of $G$ indexed by $I$ . Suppose, for every function $f$ on $G$ with property $p$ , it is true that each $H_{i}$ is invariant under $f$ . Let $H$ denote the intersection of all $H_{i}$ s. Then, we need to show that $H$ is also invariance under every $f$ satisfying $p$ .

To show this, let $f$ be a function satisfying $p$ and $x$ be in $H$ . Then, for each $H_{i}$ , $f(H_{i})$ ⊆ $H_{i}$ , hence $f(x)$ is contained in $H_{i}$ . Since this is true for every $i$ , $f(x)$ is also contained in the intersection of all the $H_{i}$ s and hence $f(x)$ is in $H$ . Hence proved.

Particular cases of proof

The general proof technique can also be seen explicitly in some cases: