Придумал фразу, хожу довольный

The condition for m=0 simply means (or in any event should be read to mean) that ...

Это к вопросу о нуле и единице.

Сподобился

использовать в своей работе теорему Говорова-Лазара о том, что всякий плоский модуль является направленным прямым пределом конечно-порожденных свободных. Теперь мне нужно обобщение этого дела на "большие" кольца (в смысле, предаддитивные категории).

P.S. Ну да, теорема Г.-Л. для больших колец доказывается совершенно так же, как и для обыкновенных. Вообще, если так подумать, то в теории некоммутативных колец есть естественное направление обобщения на градуированные (в том числе, некоммутативной группой, некоммутативной полугруппой...) кольца и дальше следующий шаг -- большие кольца.