Noether probó que en un anillo que satisface la condición de cadena ascendente sobre un ideal, todos los ideales se generan de forma finita.