>>10933967Well Lagrange's Theorem is important as it makes a lot of problems of finite group theory easy to deal with. Also cosets are connected via this. Do you mean important in math or important in real world applications? The only thing I can think of is coding theory.
