Der Satz von Lagrange ist ein mathematischer Satz der Gruppentheorie. Er besagt in seiner einfachsten Form, dass die Mächtigkeit (oder Ordnung) jeder Untergruppe einer endlichen Gruppe deren Mächtigkeit teilt. Er wurde nach dem italienischen Mathematiker Joseph-Louis Lagrange benannt.