Hall implies paracharacteristic: Difference between revisions

From Groupprops
(New page: {{subgroup property implication| stronger = Hall subgroup| weaker = paracharacteristic subgroup}} ==Related facts== ===Corollaries=== * Hall implies paranormal * [[Hall of normal im...)
 
No edit summary
 
Line 12: Line 12:
==Facts used==
==Facts used==


# [[uses::Sylow subgroups exist]]
# [[uses::Hall implies join of Sylow subgroups]]
# [[uses::Sylow implies paracharacteristic]]
# [[uses::Sylow implies paracharacteristic]]
# [[uses::Paracharacteristicity is strongly join-closed]]
# [[uses::Paracharacteristicity is strongly join-closed]]

Latest revision as of 13:47, 25 September 2008

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., Hall subgroup) must also satisfy the second subgroup property (i.e., paracharacteristic subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about Hall subgroup|Get more facts about paracharacteristic subgroup

Related facts

Corollaries

Facts used

  1. Hall implies join of Sylow subgroups
  2. Sylow implies paracharacteristic
  3. Paracharacteristicity is strongly join-closed