Right Noetherian ring (source code)

= Right Noetherian ring

= Right Noetherianity
{synonym}

A <ring> is right Noetherian when every ascending chain of right <ideals> stabilizes.