Kが半環（可換とは限らない）として「Kn = Km ⇒ n = m」が、どんな条件でどの程度成立するか？が、シリアスな課題になっている。半環Kと半加群Xに対して、Dim(X) = {k∈N | Kk = X}として、Dim(X)が空でないX（有限で自由な半加群）だけを相手にする。dim(X) …