Also there is no way to have 2 different identity elements (both left and right identities). And this follows straight from the usual prove that the identity element is unique (that prove depends only on the existence of at least one neutral element and the fact that the binary operation is associative).