Order-dominating Hall subgroup

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 Order-dominating Hall subgroup, all facts related to Order-dominating Hall subgroup) |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

This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: order-dominating subgroup and Hall subgroup
View other subgroup property conjunctions | view all subgroup properties

Definition

Definition with symbols

A subgroup $H$ of a finite group $G$ is termed an order-dominating Hall subgroup if it satisfies the following equivalent conditions:

• It is both an order-dominating subgroup and a Hall subgroup: in other words, it is a Hall subgroup such that any subgroup $K$ of $G$ whose order divides the order of $H$ is contained in some conjugate of $H$.
• It is a $\pi$-subgroup and is $\pi$-dominating for some set of primes $\pi$: In other words, $H$ is a $\pi$-subgroup of $G$ and every $\pi$-subgroup of $G$ is contained in some conjugate of $H$.

Equivalence of definitions

For full proof, refer: Pi-dominating pi-subgroup implies pi-Hall