＞てか、分数も負数も無いのに単位元関係ないｗ

これまたおかしなことを言う…
二項演算*においてeが単位元であるとは
x*e=e*x=x
が成り立つこと
自然数の演算体系でも（0を含むとき）
x+0=0+x=xが成り立つので0は加法単位元だし、
x*1=1*x=xが成り立つので1は乗法単位元だ