Вот что было особенно трудно себе представить семь лет назад

так это что я когда-нибудь выучу, что такое "избыточный подмодуль", superfluous submodule. До такой степени, что буду отвечать на соответствующие вопросы на MathOverflow. Однако же, пожалуйста -- https://mathoverflow.net/questions/363665/example-of-a-projective-module-with-non-superfluous-radical (Не говоря о том, что у меня теперь есть ряд препринтов на эту тему, но это ладно...)