Es sei G {\displaystyle {}G} eine kommutative Gruppe und x , y ∈ G {\displaystyle {}x,y\in G} Elemente der endlichen Ordnungen n = ord ( x ) {\displaystyle {}n=\operatorname {ord} \,(x)} und m = ord ( y ) {\displaystyle {}m=\operatorname {ord} \,(y)} , wobei n {\displaystyle {}n} und m {\displaystyle {}m} teilerfremd seien.
Dann hat x y {\displaystyle {}xy} die Ordnung n m {\displaystyle {}nm} .
