そもそも自然数全体は半群なのだから
群の単位元と言えば零元を指す
零元の逆元はないぞw