Proof-verification about prime and maximal ideals.
45962
Show that any prime ideal from such a ring is maximal.
149412
Every prime ideal of a finitely generated $\mathbb{R}$-algebra is an intersection of maximal ideals?
135586
Prove that the preimage of a prime ideal is also prime.
42170
$R$ integral domain where every prime ideal is principal then set of non-principal ideals has maximal element
93641
A maximal ideal among those avoiding a multiplicative set is prime
108380
Assume $P$ is a prime ideal s.t. $K \subset P$, show $f(P)$ is a prime ideal
81743
Prime ideals in $C[0,1]$
138168
Prove: The pre-image of an ideal is an ideal.
76661
Checking the maximality of a principal ideal in $R[x]$
104377
Maximal Ideals in Ring of Continuous Functions
119056
If in a UFD every maximal ideal is principal then it is a PID
17247
Localisation and prime ideals
93658
Proving that an ideal in a PID is maximal if and only if it is generated by an irreducible
60674
Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma
138882
A prime poset of ideals
50809
Proving $R-S$ contains a prime ideal when $S$ is a multiplicative set
67237
Pull back image of maximal ideal under surjective ring homomorphism is maximal