The Group Properties Wiki (pre-alpha)
TIP: Learn how to better make use of textbook references
ABOUT US: We use Semantic MediaWiki. Learn more about using Semantic MediaWiki
ALSO CHECK OUT: Topospaces: The Topology Wiki
Paracharacteristic subgroup
From Groupprops
|
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
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 | | | | |
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.
Definition
A subgroup H of a group G is termed paracharacteristic in G if for any automorphism σ of G, H is a contranormal subgroup of the subgroup
.
Relation with other properties
Stronger properties
- Intermediately isomorph-conjugate subgroup
- Procharacteristic subgroup
- Characteristic subgroup
- Abnormal subgroup
- Weakly abnormal subgroup
Weaker properties
- Paranormal subgroup
- Polycharacteristic subgroup
- Polynormal subgroup
- Normal-to-characteristic subgroup
Facts
- Paracharacteristic of normal implies paranormal
- Left residual of paranormal by normal equals paracharacteristic
Metaproperties
Trimness
This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself)
View all trim subgroup properties OR view trivially true subgroup properties OR view identity-true subgroup properties
Facts about Paracharacteristic subgroupRDF feed

