In fact, from the point of view of Universal Algebra, we want a group to have three operations: a binary operation $\cdot$ (that corresponds to the group product), a unary operation ${}^{-1}$ (that maps every element to its inverse), and a zeroary operation $e$ (distinguished element). read more