I found different definitions of a 'group'. One stated that the neutral element has to be unique, the other only that it had to exist. I assumed that this means that the neutral element will be unique if it exists, but I was only able to prove this for commutative groups.
Could there possibly be multiple neutral elements in non-abelian groups? If not, how can I prove it?