Extendiendo el ejemplo de YACP, tenemos la siguiente clase general de ejemplos:
Sea $R$ un anillo conmutativo con 1, $p$ un ideal primo, $I$ cualquier ideal que cumpla $p^2 \not \subset pI$ y $V(I) \cap \operatorname{Spec}(R_p) \subset \{p\}$ (considerando que $\operatorname{Spec}(R_p) \subseteq \operatorname{Spec} R$). Entonces considerar a $S := p/pI$ como un anillo sin unidad da un ejemplo de un anillo no trivial sin ideales primos (siempre y cuando $p$ no tenga idempotentes módulo $pI$).
Para ver por qué, nota que $p^2 \not \subset pI$ es equivalente a decir que la multiplicación en $S$ no es trivial. Ahora, cualquier ideal primo de $S$ debe provenir de un ideal primo de $R$, contenido en $p$ y que contiene a $pI$. Por la suposición sobre $V(I)$, el único primo posible es $p$ mismo, que no es un ideal propio en $S, por lo que $S$ no tiene primos.
Como ejemplo, tomando $I = p^n$, para $n \geq 2$ (nota: ¡$n = 1$ nunca funciona!), se satisfacen las condiciones anteriores (siempre que $p^2 \not \subseteq p^3$, por ejemplo $p^2 \neq 0$ es finitamente generado). Esto recupera el ejemplo de YACP con $R = \mathbb{Z}$, $p = 2\mathbb{Z}$, $n = 2.
Observa que $2\mathbb{Z}/6\mathbb{Z}$ no es un ejemplo: el elemento $4$ actúa como un 1. Entonces, la suposición de que $p$ no tiene idempotentes módulo $pI$ no es una afirmación vacía. Sin embargo, parece cumplirse cuando $I = p^n$ y $R$ es noetheriano, por ejemplo, posiblemente considerando el orden en un anillo local (la potencia más grande del ideal maximal en la que yace un elemento) - ¿alguien puede proporcionar una prueba de esto?
Edición: Supongamos que $R$ tiene un ideal primo $p$, tal que $p/p^n$, $n \geq 3$, tiene un idempotente $x$. Reemplazando $R$ por $R_p$, podemos asumir que $p$ es maximal y $R$ es local. Entonces, $x^2 - x = x(x-1) \in p^n$, pero $1-x$ es una unidad en $R$ (ya que $x \in p$), así que $x \in p^n$, es decir, $x = 0$ en $p/p^n$. Entonces, el ejemplo $I = p^n$ sí funciona (sin hipótesis noetherianas).
