cross-posted from: https://discuss.tchncs.de/post/29979244

Clearly it must be (left) noetherian! (Since we wouldn’t want a ascending subnormal chain that doesn’t stop where all of the elements are enjoyed by the larger ideals/submodules) :)

Sorry, writing “R is comm(unitive)” so many times can make you do things

Might be enjoyed here xd