an operator that leaves unchanged the element on which it operates; "the identity under numerical multiplication is 1"