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

>>664 なんで-∞?