Description: Subtraction of the identity from a group element. (Contributed by Mario Carneiro, 14-Jan-2015)