>>667
>非可換環は便宜上単位元を仮定してる場合が多いが
>別になくてもいい。

それを言ったら可換環だってなくてもいいんだよ。
ただし、単位元がないといい結果が出てこない。