>>37
その定義、ae = ea と単位元について可換であるように定義されているけれども、もしかして要らないのでは？という話
教科書から逸脱して考えてみるのも悪くないのでは？

しかし今のところ私んところでは、可換でないと唯一性は導けていない。