とどのつまり

結合則，可換則，分配則は誰でも同じものを考える．

群と単位的半群も誰でも同じものを考えるっぽい．

でも半環になると人によって定義が違う．とくに乗算に可換則を入れてしまっているのがちらほら……　これでは行列が半環をなさなくなってしまう．

閑話休題．

加算の単位元が乗算の零元という要請はどこら辺で効いてくるんだろう？　半環から別の代数的構造を作るときには有用だけど，それを考えない限りは要らないよね……

Search

Feeds

Page Top