Si ("G",*) es un grupo, se define a su grupo opuesto ("G", *) como sigue: "G" es el mismo conjunto que "G", y la operación * es definida por "a"*"b" = "b"*"a".