Размерность тензорной алгебры проективного бимодуля

Доказывается, что размерность тензорной алгебры проективного с одной из сторон бимодуля отличается от размерности кольца, над которым рассматривается этот бимодуль, не больше, чем на единицу. Дается критерий совпадения этих размерностей. Библ. 2 назв.