"a" * "g" = "g" * "a" para todo "g" ∈ "G".