Gauss lemma for arbitrary commutative ring
90921
Product of two primitive polynomials
115541
Subrings of polynomial rings over the complex plane
158232
Tensor product of a module with an ideal is isomorphic to their standard product
77198
Showing that the characteristic of a commutative ring R without zero divisors is 0 or prime
144572
Proof that ideals in $C[0,1]$ are of the form $M_c$ that should not involve Zorn's Lemma
147157
Modules over commutative rings
60674
Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma
63277
Gordan’s lemma equivalent statement
152730
Example of a finitely generated faithful torsion module over a commutative ring
63207
Zorn's lemma and maximal ideals
157488
Proving that $k[x,y,z]/(xz - (y^2 + 1))$ is a normal ring.
5802
Proving the universal mapping property for polynomial rings
143429
Kernel of ring homomorphism $k[X,Y] \rightarrow k[t^2, t^3]$
144988
Commutator Subgroup of Direct Product equals the Direct Product of the Commutator Subgroups
81040
proof about commutative operators and T-cyclic vectors
16023
Are associates unit multiples in a commutative ring with $1$?
92420
Characteristic of  a Non-unital Integral Ring