Normal implies Lagrange-like

From Groupprops
Jump to: navigation, search

Template:Subloop property implication

Statement

In a finite loop, any normal subloop is a Lagrange-like subloop, i.e., the order of a normal subloop divides the order of the loop.