主理想升链条件

• ascending chain condition for principal ideal