R:(Id
), in,out:(|R|IdLnk), i,j:|R|.
Thm* ring(R;in;out)
i = p(j) d(i;p(j)) = d(i;j)-1R:(Id), in,out:(|R|IdLnk), i,j:|R|.
Thm* ring(R;in;out)
Thm*
Thm*
x.n(x)^d(i;j)(i) = j & (k:
. k<d(i;j) x.n(x)^k(i) = j)R:(Id), in,out:(|R|IdLnk), j:|R|. ring(R;in;out) n(p(j)) = jn,m:, f:(TT). f^n+m = f^n o f^mR:(Id), in,out:(|R|IdLnk).
Thm* ring(R;in;out)
(i,j:|R|. n(i) = n(j) i = j)