Weakly abnormal subgroup: Difference between revisions

Revision as of 12:21, 7 October 2008

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties [SHOW MORE]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

Definition

Symbol-free definition

A subgroup of a group is termed weakly abnormal if it satisfies the following equivalent conditions:

Every element of the group lies in the closure of this subgroup under the action by conjugation by the cyclic subgroup generated by that element.
Every subgroup containing that subgroup is a self-normalizing subgroup of the whole group.

Definition with symbols

A subgroup $H$ of a group $G$ is termed weakly abnormal or upward-closed self-normalizingif it satisfies the following equivalent conditions:

Given any $g \in G$ , $g \in H^{⟨ g ⟩}$ . Here $H^{⟨ g ⟩}$ is the smallest subgroup of $G$ containing $H$ , which is closed under the action by conjugation by the cyclic subgroup generated by $g$
If $H \leq K \leq G$ , then $K$ is a self-normalizing subgroup of $G$ .

Equivalence of definitions

For full proof, refer: Equivalence of definitions of weakly abnormal subgroup

Formalisms

In terms of the upward-closure operator

This property is obtained by applying the upward-closure operator to the property: self-normalizing subgroup
View other properties obtained by applying the upward-closure operator

Relation with other properties

Stronger properties

Non-normal maximal subgroup
Abnormal subgroup

Weaker properties

Weakly pronormal subgroup
Self-normalizing subgroup
Intermediately contranormal subgroup: For proof of the implication, refer Weakly abnormal implies intermediately contranormal and for proof of its strictness (i.e. the reverse implication being false) refer Intermediately contranormal not imlpies weakly abnormal.
Contranormal subgroup
Paracharacteristic subgroup
Paranormal subgroup
Polycharacteristic subgroup
Polynormal subgroup

Metaproperties

Intermediate subgroup condition

YES: This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

If a subgroup is weakly abnormal in the whole group, it is also weakly abnormal in every intermediate subgroup. For full proof, refer: Weak abnormality satisfies intermediate subgroup condition]]

Upward-closedness

This subgroup property is upward-closed: if a subgroup satisfies the property in the whole group, every intermediate subgroup also satisfies the property in the whole group
View other upward-closed subgroup properties

If a subgroup is weakly abnormal in the whole group, then every subgroup containing it is also weakly abnormal in the whole group. For full proof, refer: Weak abnormality is upward-closed

@@ Line 2: / Line 2: @@
 ==Definition==
+===Symbol-free definition===
+A [[subgroup]] of a [[group]] is termed '''weakly abnormal''' if it satisfies the following equivalent conditions:
+# Every element of the group lies in the closure of this subgroup under the action by conjugation by the cyclic subgroup generated by that element.
+# Every subgroup containing that subgroup is a [[self-normalizing subgroup]] of the whole group.
 ===Definition with symbols===
-A [[subgroup]] <math>H</math> of a [[group]] <math>G</math> is termed '''weakly abnormal''' if, given any <math>g \in G</math>, <math>g \in H^{<g>}</math>. Here <math>H^{<g>}</math> is the smallest subgroup of <math>G</math> containing <math>H</math>, which is closed under conjugation by <math>g</math>.
+A [[subgroup]] <math>H</math> of a [[group]] <math>G</math> is termed '''weakly abnormal''' or '''upward-closed self-normalizing'''if it satisfies the following equivalent conditions:
+# Given any <math>g \in G</math>, <math>g \in H^{\langle g \rangle}</math>. Here <math>H^{\langle g \rangle}</math> is the smallest subgroup of <math>G</math> containing <math>H</math>, which is closed under the action by conjugation by the cyclic subgroup generated by <math>g</math>
+# If <math>H \le K \le G</math>, then <math>K</math> is a [[defining ingredient::self-normalizing subgroup]] of <math>G</math>.
+===Equivalence of definitions===
+{{proofat|[[Equivalence of definitions of weakly abnormal subgroup]]}}
+==Formalisms==
+{{obtainedbyapplyingthe|upward-closure operator|self-normalizing subgroup}}
 ==Relation with other properties==
@@ Line 11: / Line 28: @@
 ===Stronger properties===
-* [[Abnormal subgroup]]
+* Non-normal [[maximal subgroup]]
+* [[Weaker than::Abnormal subgroup]]
 ===Weaker properties===
-* [[Weakly pronormal subgroup]]
+* [[Stronger than::Weakly pronormal subgroup]]
-* [[Polynormal subgroup]]
+* [[Stronger than::Self-normalizing subgroup]]
+* [[Stronger than::Intermediately contranormal subgroup]]: {{proofofstrictimplicationat|[[Weakly abnormal implies intermediately contranormal]]|[[Intermediately contranormal not imlpies weakly abnormal]]}}
+* [[Stronger than::Contranormal subgroup]]
+* [[Stronger than::Paracharacteristic subgroup]]
+* [[Stronger than::Paranormal subgroup]]
+* [[Stronger than::Polycharacteristic subgroup]]
+* [[Stronger than::Polynormal subgroup]]
 ==Metaproperties==
@@ Line 22: / Line 46: @@
 {{intsubcondn}}
-If a subgroup is weakly abnormal in the whole group, it is also weakly abnormal in every intermediate subgroup.
+If a subgroup is weakly abnormal in the whole group, it is also weakly abnormal in every intermediate subgroup. {{proofat|Weak abnormality satisfies intermediate subgroup condition]]}}
+{{upward-closed}}
+If a subgroup is weakly abnormal in the whole group, then every subgroup containing it is also weakly abnormal in the whole group. {{proofat|[[Weak abnormality is upward-closed]]}}