>>278

つまらない指摘ではありますが、
A は K 代数なのだから、その証明を見る限りでは、
「単位元を持ち、結合的」と言う条件は要らないと思うのですが。