Basic fact used in proofs in Eisenbud's commutative algebra book.
30029
Can we always choose the generators of an ideal of a Noetherian ring to be homogeneous?
109470
Proof of whether a specific element is in a commutative, invertible monoid.
42923
A Book for abstract Algebra
94239
Proof that if group $G/Z(G)$ is cyclic, then $G$ is commutative
61103
Prove that $\mathbb{|Q| = |Q\times Q|}$
51018
Proof of proposition 5.3.1 of Ravi Vakil's notes on algebraic geometry
139288
Formal proof that $e^x$ is not algebraic
134896
Enlightening proof that the algebraic numbers form a field
88887
Using the properties of real numbers, verify commutativity on complex numbers.
5893
On the commutative property of multiplication (domain of integers, possibly reals)
105913
Calculations in quotient rings
36996
If $x^{2}-x\in Z(R)$ for all $x\in R$, then $R$ is commutative.
80876
Proof of $A\cap(B\cup C) = (A\cap B)\cup(A\cap C)$
27086
proof for $\langle q| p \rangle = e^{ipq}$
151721
Uhlmann's Theorem: proof of $\text{tr}(A^{\dagger} B) = \langle m | A \otimes B |m\rangle $
104068
Prove that $\forall a,b\in\mathbb{C} \exists c,d \in \mathbb{C}: c+d = a \land cd = b$
133884
A proof using Yoneda lemma