Tener algunos no-cero finito ideal $I$ del primer anillo con identidad $R$ demostrar que $R$ es también finito.
Mi única conjetura sería mostrar que si $R$ era infinito, sólo un número finito de elementos, sería distinto de cero (basándose en la definición de un primer anillo). Sin embargo, estoy luchando por encontrar algo para empezar. Yo estaría muy agradecido por una dirección de pensamiento o una referencia a una tarea similar.