Normal implies Lagrange-like
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.
Template:Subloop property implication
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.