Lagrange's theorem

Lagrange's theorem states that in a finite group, the size (number of elements) of any subgroup divides evenly into the size of the entire group. In other words, the total number of elements in the larger group is a multiple of the size of its smaller subgroups. This relationship helps mathematicians understand how smaller structures fit within the larger group, ensuring certain symmetry and divisibility properties are maintained within the algebraic system.