Lagrange's theorem (group theory)

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo finite groups
gptkbp:category theorems in group theory
gptkbp:consequence groups of prime order are cyclic
gptkbp:field abstract algebra
group theory
https://www.w3.org/2000/01/rdf-schema#label Lagrange's theorem (group theory)
gptkbp:implies the order of any element divides the order of the group
gptkbp:namedAfter gptkb:Joseph-Louis_Lagrange
gptkbp:publishedIn 1770
gptkbp:relatedTo cosets
index of a subgroup
gptkbp:state the order of a subgroup divides the order of the group
gptkbp:usedIn proofs of Cauchy's theorem
proofs of Sylow theorems
gptkbp:bfsParent gptkb:Joseph-Louis_Lagrange
gptkb:Joseph_Louis_Lagrange
gptkbp:bfsLayer 5