Ну, вот

Любая квази-контранетерова слева коалгебра является квази-конетеровой справа. И я понятия не имею, верно ли обратное.

Свойства артиновости и когерентности для комодулей и контрамодулей эквивалентны, в подходящем контексте. То ж и квази-кокогерентность. Про нетеровость и квази-нетеровость известно только, что контра-версия влечет ко-.

Убей меня Бог, если я мог в юности предположить, что на склоне лет буду страдать подобной фигней. Но положение "эксперта по коалгебрам" обязывает.

Если так дальше пойдет

Если так дальше пойдет, то через 3-5 лет количество моих публикаций, в которых упоминаются контрамодули, превысит количество тех, в которых упоминается кошулевость/кошулева двойственность.

Если так дальше пойдет, то через 7-10 лет количество моих рецензированных публикаций достигнет отметки, равной моему возрасту.

Если так дальше пойдет, то через 15-25 лет появится первая по-настоящему содержательная работа про контрамодули, написанная без моего участия.

Если так дальше пойдет, то через 50-100 лет контрамодули станут частью общепринятого стандартного языка, на котором будут говорить алгебраисты.

Если так дальше пойдет...