Intermediate subgroup condition: Difference between revisions

Latest revision as of 01:12, 20 February 2013

This article defines a subgroup metaproperty: a property that can be evaluated to true/false for any subgroup property
View a complete list of subgroup metaproperties
View subgroup properties satisfying this metaproperty| View subgroup properties dissatisfying this metaproperty
VIEW RELATED: subgroup metaproperty satisfactions| subgroup metaproperty dissatisfactions

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Intermediate subgroup condition, all facts related to Intermediate subgroup condition) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

A subgroup property $p$ is said to satisfy the intermediate subgroup condition if whenever $H\leq K\leq G$ are groups and $H$ satisfies $p$ in $G$ , $H$ also satisfies $p$ in $K$ .

Formalisms

This article defines a single-input-expressible subgroup metaproperty

Consider a procedure $P$ that takes as input a group-subgroup pair $H\leq G$ and outputs all group-subgroup pairs $H\leq K$ where $K$ is an intermediate subgroup of $G$ containing $H$ . Then, the intermediate subgroup condition is the single-input-expressible subgroup property corresponding to procedure $P$ . In other words, a subgroup property $p$ satisfies the intermediate subgroup condition if whenever $H\leq G$ satisfies property $p$ , all the pairs obtained by applying procedure $P$ to $H\leq G$ also satisfy property $p$ .

In terms of the intermediately operator

A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent subgroup property modifier called the intermediately operator.

In terms of the potentially operator

A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent subgroup property modifier called the potentially operator.

Examples

For more on how to prove that a subgroup property satisfies this, see proving intermediate subgroup condition.

Examples of important subgroup properties satisfying this

Property	Meaning	Proof that it satisfies intermediate subgroup condition	Stronger metaproperties it satisfies
normal subgroup	invariant under all inner automorphisms	normality satisfies intermediate subgroup condition	left-inner subgroup property, left-extensibility-stable subgroup property, strongly UL-intersection-closed subgroup property
central factor	every inner automorphism of the whole group restricts to an inner automorphism of the subgroup.	central factor satisfies intermediate subgroup condition	left-inner subgroup property
direct factor	factor in an internal direct product	direct factor satisfies intermediate subgroup condition
complemented normal subgroup	normal subgroup with a permutable complement.	complemented normal satisfies intermediate subgroup condition
pronormal subgroup	any conjugate to it is conjugate in their join.	pronormality satisfies intermediate subgroup condition
subnormal subgroup	series from subgroup to whole group, each normal in the next.	subnormality satisfies intermediate subgroup condition
isomorph-containing subgroup	contains any subgroup isomorphic to itself.
homomorph-containing subgroup	contains any homomorphic image of itself.

Metametaproperties

Metametaproperty name	Satisfied?	Proof	Statement with symbols
conjunction-closed subgroup metaproperty	Yes	follows from being single-input-expressible.	A conjunction (AND) of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition.
disjunction-closed subgroup metaproperty	Yes	follows from being single-input-expressible.	A disjunction (OR) of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition.
right residual-preserved subgroup metaproperty	Yes		The right residual of a subgroup property satisfying the intermediate subgroup condition, by any subgroup property, is a subgroup property satisfying the intermediate subgroup condition.

Relation with other metaproperties

Stronger metaproperties

Metaproperty name	Meaning	Proof of implication
Strongly UL-intersection-closed subgroup property
inverse image condition	inverse image of a subgroup satisfying the property under any homomorphism of groups satisfies the property.
transfer condition	If $H\leq G$ satisfies the property, and $K\leq G$ , then $H\cap K$ satisfies the property in $K$ .
left-inner subgroup property	any subgroup property that can be expressed using a function restriction expression of the form inner $\to$ something, i.e., every inner automorphism of the whole group restricts to a function of the subgroup satisfying some conditions purely in terms of the subgroup.	(via left-extensibility-stable)
left-extensibility-stable subgroup property		left-extensibility-stable implies intermediate subgroup condition

Weaker metaproperties

Conjunction implications

Any left-realized subgroup property satisfying intermediate subgroup condition must be identity-true. For full proof, refer: Left-realized and intermediate subgroup condition implies identity-true

@@ Line 2: / Line 2: @@
 {{wikilocal}}
-{{particularcases|[[:Category: Subgroup properties satisfying intermediate subgroup condition]]}}
 ==Definition==
-===Symbol-free definition===
-A [[subgroup property]] <math>p</math> is said to satisfy the '''intermediate subgroup condition''' if whenever a subgroup satisfies property <math>p</math> in the whole  group, it also satisfies <math>p</math> as a subgroup of every intermediate subgroup.
-===Definition with symbols===
 A [[subgroup property]] <math>p</math> is said to satisfy the '''intermediate subgroup condition''' if whenever <math>H \le K \le G</math> are groups and <math>H</math> satisfies <math>p</math> in <math>G</math>, <math>H</math> also satisfies <math>p</math> in <math>K</math>.
@@ Line 23: / Line 15: @@
 ===In terms of the intermediately operator===
-A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent [[subgroup property operator]] called the [[intermediately operator]].
+A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent [[subgroup property modifier]] called the [[intermediately operator]].
 ===In terms of the potentially operator===
-A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent [[subgroup property operator]] called the [[potentially operator]].
+A subgroup property satisfies intermediate subgroup condition if and only if it is a fixed-point of the idempotent [[subgroup property modifier]] called the [[potentially operator]].
-==Relation with other metaproperties==
+==Examples==
-===Stronger metaproperties===
+{{quotation|For more on how to prove that a subgroup property satisfies this, see [[proving intermediate subgroup condition]].}}
-* [[Weaker than::Strongly UL-intersection-closed subgroup property]]
+===Examples of important subgroup properties satisfying this===
-* [[Weaker than::inverse image condition]]
-* [[Weaker than::transfer condition]]
-* [[weaker than::Left-inner subgroup property]]
-* [[weaker than::Left-extensibility-stable subgroup property]]: {{proofat|Left-extensibility-stable implies intermediate subgroup condition]]}}
-===Weaker metaproperties===
+{| class="sortable" border="1"
+! Property !! Meaning !! Proof that it satisfies intermediate subgroup condition !! Stronger metaproperties it satisfies
+|-
+| [[normal subgroup]] || invariant under all [[inner automorphism]]s || [[normality satisfies intermediate subgroup condition]] || [[left-inner subgroup property]], [[left-extensibility-stable subgroup property]], [[strongly UL-intersection-closed subgroup property]]
+|-
+| [[central factor]] || every inner automorphism of the whole group restricts to an inner automorphism of the subgroup. || [[central factor satisfies intermediate subgroup condition]] || [[left-inner subgroup property]]
+|-
+| [[direct factor]] || factor in an [[internal direct product]] || [[direct factor satisfies intermediate subgroup condition]]||
+|-
+| [[complemented normal subgroup]] || normal subgroup with a permutable complement. || [[complemented normal satisfies intermediate subgroup condition]] ||
+|-
+| [[pronormal subgroup]] || any conjugate to it is conjugate in their join. || [[pronormality satisfies intermediate subgroup condition]] ||
+|-
+| [[subnormal subgroup]] || series from subgroup to whole group, each normal in the next. || [[subnormality satisfies intermediate subgroup condition]] ||
+|-
+| [[isomorph-containing subgroup]] || contains any subgroup isomorphic to itself. || ||
+|-
+| [[homomorph-containing subgroup]] || contains any homomorphic image of itself. || ||
+|}
-===Conjunction implications===
+==Metametaproperties==
-* Any [[left-realized subgroup property]] satisfying intermediate subgroup condition must be [[identity-true subgroup property|identity-true]]. {{proofat|[[Left-realized and intermediate subgroup condition implies identity-true]]}}
+{| class="sortable" border="1"
+! Metametaproperty name !! Satisfied? !! Proof !! Statement with symbols
+|-
+| [[satisfies metametaproperty::conjunction-closed subgroup metaproperty]] || Yes || follows from being single-input-expressible. || A conjunction (''AND'') of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition.
+|-
+| [[satisfies metametaproperty::disjunction-closed subgroup metaproperty]] || Yes || follows from being single-input-expressible. || A disjunction (''OR'') of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition.
+|-
+| [[satisfies metametaproperty::right residual-preserved subgroup metaproperty]] || Yes || || The [[right residual]] of a subgroup property satisfying the intermediate subgroup condition, by any subgroup property, is a subgroup property satisfying the intermediate subgroup condition.
+|}
-==Metametaproperties==
+==Relation with other metaproperties==
-{{conjunction-closed subgroup metaproperty}}
+===Stronger metaproperties===
-A conjunction (''AND'') of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition. This follows from the fact that it is a single-input-expressible subgroup metaproperty
+{| class="sortable" border="1"
+! Metaproperty name !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediat enotions
+|-
+| [[Weaker than::Strongly UL-intersection-closed subgroup property]] || || || ||
+|-
+| [[Weaker than::inverse image condition]] || inverse image of a subgroup satisfying the property under any homomorphism of groups satisfies the property. || || ||
+|-
+| [[Weaker than::transfer condition]] || If <math>H \le G</math> satisfies the property, and <math>K \le G</math>, then <math>H \cap K</math> satisfies the property in <math>K</math>. || || ||
+|-
+| [[weaker than::left-inner subgroup property]] || any subgroup property that can be expressed using a [[function restriction expression]] of the form inner <math>\to</math> something, i.e., every inner automorphism of the whole group restricts to a function of the subgroup satisfying some conditions purely in terms of the subgroup. || (via left-extensibility-stable) || ||
+|-
+| [[weaker than::left-extensibility-stable subgroup property]] || || [[left-extensibility-stable implies intermediate subgroup condition]] || ||
+|}
-{{disjunction-closed subgroup metaproperty}}
+===Weaker metaproperties===
-A disjunction (''OR'') of subgroup properties, each satisfying the intermediate subgroup condition, also satisfies the intermediate subgroup condition. This follows from the fact that it is a single-input-expressible subgroup metaproperty
+===Conjunction implications===
-{{left residual-preserved subgroup metaproperty}}
+* Any [[left-realized subgroup property]] satisfying intermediate subgroup condition must be [[identity-true subgroup property|identity-true]]. {{proofat|[[Left-realized and intermediate subgroup condition implies identity-true]]}}