Semantic search

Jump to: navigation, search
Search

Edit query Show embed code

The query [[Fact about.Page::Hall subgroup]] was answered by the SMWSQLStore3 in 0.0084 seconds.


Results 1 – 20    (Previous 50 | Next 50)   (20 | 50 | 100 | 250 | 500)   (JSON | CSV | RSS | RDF)
 UsesFact about
Analogue of focal subgroup theorem for Hall subgroupsHall subgroup (?)
Focal subgroup of a subgroup (?)
Hall and hyperfocal implies retractHall subgroup (3)
Hyperfocal subgroup (1)
Retract (3)
Hall retract (1)
Normal complement (3)
Hall does not satisfy transfer conditionHall subgroup (1)
Transfer condition (2)
Hall implies join of Sylow subgroupsSylow subgroups exist
Sylow of Hall implies Sylow
Lagrange's theorem
Hall subgroup (2)
Join of Sylow subgroups (2)
Hall implies order-conjugate in solvableFinite solvable group (?)
Hall subgroup (?)
Order-conjugate subgroup (?)
Hall subgroup of finite solvable group (2)
Order-conjugate subgroup of finite solvable group (3)
Hall implies order-dominating in finite solvableFinite solvable group (?)
Hall subgroup (?)
Order-dominating subgroup (?)
Hall subgroup of finite solvable group (2)
Order-dominating subgroup of finite solvable group (3)
Hall implies paracharacteristicHall implies join of Sylow subgroups
Sylow implies paracharacteristic
Paracharacteristicity is strongly join-closed
Hall subgroup (2)
Paracharacteristic subgroup (2)
Hall is transitiveIndex is multiplicative
Lagrange's theorem
Hall subgroup (1)
Transitive subgroup property (2)
Hall not implies WNSCDINHall subgroup (2)
WNSCDIN-subgroup (2)
Hall not implies automorph-conjugateFinite group (2)
Hall subgroup (2)
Automorph-conjugate subgroup (2)
Hall not implies order-conjugateHall not implies automorph-conjugate
Hall not implies isomorph-automorphic
Hall not implies order-isomorphic
Hall subgroup (2)
Order-conjugate subgroup (2)
Hall not implies order-isomorphicFinite group (2)
Hall subgroup (2)
Order-isomorphic subgroup (2)
Hall not implies procharacteristicFinite group (2)
Hall subgroup (2)
Automorph-conjugate subgroup (2)
Hall not implies pronormalHall not implies order-conjugate
Hall is transitive
Hall subgroup (2)
Pronormal subgroup (2)
Hall satisfies intermediate subgroup conditionIndex is multiplicativeHall subgroup (1)
Intermediate subgroup condition (2)
Hall satisfies permuting transfer conditionIndex is multiplicative
Lagrange's theorem
Product formula
Hall subgroup (1)
Permuting transfer condition (2)
Hall subgroups exist in finite solvable groupSolvability is subgroup-closed
Solvability is quotient-closed
Minimal normal implies elementary abelian in finite solvable group
Sylow subgroups exist
Normality is quotient-transitive
Frattini's argument
Product formula
Finite solvable group (2)
Hall subgroup (?)
Hall subgroups need not existHall subgroup (?)
Nilpotent Hall implies isomorph-conjugateNilpotent Hall subgroups of same order are conjugate
Sylow implies intermediately isomorph-conjugate
Hall implies join of Sylow subgroups
Nilpotent join of intermediately isomorph-conjugate subgroups is intermediately isomorph-conjugate
Finite group (?)
Nilpotent Hall subgroup (?)
Isomorph-conjugate subgroup (?)
Nilpotent Hall subgroup of finite group (2)
Isomorph-conjugate subgroup of finite group (3)
Hall subgroup (?)
Nilpotent group (?)
Nonsolvable proper Hall subgroup of symmetric group is contained in symmetric group on subset of size one lessHall subgroup (?)