Description: A subset of the
multiplicative group has the multiplicative identity as
its identity if the identity is in the subset. (Contributed by Mario
Carneiro, 27-Dec-2014.) (Revised by Mario Carneiro,
30-Apr-2015.)