Lagranges sats

Lagranges sats är en sats i den abstrakta algebran. Om G är en ändlig grupp och H är en delgrupp i G är ordningen för H en delare till ordningen för G. Satsen är uppkallad efter Joseph-Louis Lagrange.

Alla vänstersidoklasser till undergruppen H bildar en partition av G:

${\displaystyle G=g_{1}H\cup g_{2}H\cup ...\cup g_{m}H}$

${\displaystyle g_{i}H\cap g_{j}H=\emptyset ~~\mathrm {om} ~~i\neq j}$

och då storleken av en union av parvis disjunkta mängder är summan av storleken på de ingående mängderna får man att:

${\displaystyle |G|=|g_{1}H|+|g_{2}H|+...+|g_{m}H|\,}$

Då en egenskap hos vänstersidoklasser är att varje sidoklass innehåller lika många element som undergruppen den konstruerades ifrån, ${\displaystyle |g_{i}H|=|H|}$, får man att

${\displaystyle |G|=m|H|\,}$

vilket skulle bevisas.

Lagranges sats säger, att det är nödvändigt att en delgrupps ordning delar gruppens ordning. Det är dock inte tillräckligt att ett tal är delare till gruppens ordning, för att det skall finnas en delgrupp med denna ordning. Exempelvis har den alternerande gruppen A₄, vilken har tolv element, inte någon delgrupp av ordning 6.

För alla element ${\displaystyle g\in G}$ är ordningen av g, ${\displaystyle o(g)}$, en delare till ${\displaystyle |G|}$.

För alla ändliga grupper G med ordning n gäller att ${\displaystyle g^{n}}$ är det neutrala elementet för alla element g i G.

Alla grupper med primtalsordning är cykliska grupper.

• I. N. Herstein, Topics in Algebra, Blaisdell, Waltham 1964.