The Group Properties Wiki (pre-alpha)
TIP: Having trouble locating the wiki page for a term/definition? Get tips
ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki
ALSO CHECK OUT: Commalg: The Commutative Algebra Wiki
Intermediately subnormal-to-normal subgroup
From Groupprops
This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof.
View a complete list of subgroup properties|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | | Subgroup metaproperty satisfactions | | |
RANDOM TIP:The metaproperties section lists important facts about the subgroup property, and addresses many of the natural questions that arise about it. It has links to proofs.
|
BEWARE! This term is nonstandard and is being used locally within the wiki. 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 | Survey articles about this
Learn more about terminology local to the wiki | view a complete list of such terminology
Definition
Symbol-free definition
A subgroup of a group is termed intermediately subnormal-to-normal if it satisfies the following equivalent conditions:
- Whenever it is subnormal in any intermediate subgroup, then it is also normal in that intermediate subgroup.
- Whenever it is 2-subnormal in any intermediate subgroup, then it is also normal in that intermediate subgroup.
Formalisms
In terms of the intermediately operator
This property is obtained by applying the intermediately operator to the property: subnormal-to-normal subgroup
View all properties obtained by applying the intermediately operator
Relation with other properties
Stronger properties
- Normal subgroup
- Abnormal subgroup
- Weakly abnormal subgroup
- Pronormal subgroup
- Weakly pronormal subgroup
- Paranormal subgroup
- Polynormal subgroup
- Intermediately normal-to-characteristic subgroup: For full proof, refer: Intermediately normal-to-characteristic implies intermediately subnormal-to-normal
- Self-normalizing subgroup: For full proof, refer: Self-normalizing implies intermediately subnormal-to-normal
Weaker properties
- Subnormal-to-normal subgroup
- Subgroup with self-normalizing normalizer: For full proof, refer: Normalizer of intermediately subnormal-to-normal implies self-normalizing
Metaproperties
Intermediate subgroup condition
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
View all subgroup properties satisfying the intermediate subgroup condition|View facts related to the intermediate subgroup condition
If H is intermediately subnormal-to-normal in G, it is also intermediately subnormal-to-normal in any intermediate subgroup K.
Facts about Intermediately subnormal-to-normal subgroupRDF feed

