Todo grupo cíclico "G" es abeliano, pues si "x", "y" ∈ "G" = , "x" = "a" y "y" = "a" para algunos "m", "n" enteros, con lo cual, "xy" = "a""a" = "a" = "a" = "a""a" = "yx".