Модули и кольца Безу

Для любого кольца $A$ существуют кольцо Безу $R$ и идемпотент $e\in R$, такие что $A\cong eRe$. Каждый модуль над любым кольцом является прямым слагаемым модуля эндо-Безу. Над любым кольцом каждый свободный модуль бесконечного ранга является модулем эндо-Безу.