幺元是群中的元素吗?半群和独异点能不能有零元?