]> 2026-07-12T15:07:12+00:00 Lagrange's theorem 0 en 2 Fact 2012-06-07T20:44:29Z 2456086.3642245 Lagrange's theorem 0 Lagrange's theorem#Order of a group;1 1 0 Lagrange's theorem#Subgroup;1 1 0 Lagrange's theorem#Group;1 1 0 Lagrange's theorem#Size;1 1 0 Lagrange's theorem#Left coset space;1 1 0 Lagrange's theorem#Artin 0 Lagrange's theorem#DummitFoote 0 1 plainlist 2 [[Uses::Lagrange's theorem]] Lagrange's theorem# QUERY85535bf04c9b9ba7fa60080a36656a01 0 2 plainlist 4 [[Uses::Lagrange's theorem|| <q>[[<q>[[Uses::Lagrange's theorem]]</q>]]</q> ]] Lagrange's theorem# QUERY9e0060d5dcc8dbbc8c645335036d2094 0 3 plainlist 6 [[Uses::Lagrange's theorem|| <q>[[<q>[[Uses::Lagrange's theorem|| <q>[[<q>[[Uses::Lagrange's theorem]]</q>]]</q> ]]</q>]]</q> ]] Lagrange's theorem# QUERY856aee104733da1ddf833955c5291000 0 1 plainlist 2 [[Survey article about::Lagrange's theorem]] Lagrange's theorem# QUERY6c62a21959f133faa71ff478959cd553 Classification of cyclicity-forcing numbers 0 en Classification of cyclicity-forcing numbers Normal Sylow satisfies transfer condition 0 en Normal Sylow satisfies transfer condition Order has only two prime factors implies solvable 0 en Order has only two prime factors implies solvable Orbit-counting theorem 0 en Orbit-counting theorem Odd-order implies solvable 0 en Odd-order implies solvable Prime power order implies center is normality-large 0 en Prime power order implies center is normality-large Finite supersolvable implies subgroups of all orders dividing the group order 0 en Finite supersolvable implies subgroups of all orders dividing the group order Hall implies join of Sylow subgroups 0 en Hall implies join of Sylow subgroups Sylow subgroups exist 0 en Sylow subgroups exist Uses 132 en Uses