Right Artinian ring (source code)

= Right Artinian ring

A <ring> is right Artinian if its <right ideals> satisfy the <descending chain condition>, equivalently its right regular <module> is an <Artinian module>. Left and right chain conditions should be distinguished for a general <ring>.