可換環は多項式環の一般化に見えるので単位的であってほしい
非可換環は行列環の一般化に見えるので非単位的であってほしい