Proof from Axioms for a Ring
31783
Is this proof of $ab = 0$ correct?
20252
The Axiom of Choice and the Cartesian Product.
84149
Prove that an infinite ring with finite quotient rings is an integral domain
27899
Can we prove the existence of $A\cup B$ without the union axiom?
135025
Axiomatization of a Topology using the Boundary
116943
Proof for maximal ideals in $\mathbb{Z}[x]$
138897
help with some Hilbert style proofs in a propositional logic axiom system.
154613
Showing a set of fractions is a ring
157488
Proving that $k[x,y,z]/(xz - (y^2 + 1))$ is a normal ring.
19838
Prove that in general the set of the right zero divisors is different from the set of left zero divisors in a ring R
158426
Proving lemma about centrality of idempotent elements in a Ring with no nilpotent elements.
149519
Prove that a Boolean ring is a Bezout ring .
75315
How to prove that homomorphism from field to ring is injective or zero?
131132
Proofs using vector properties
135422
$\operatorname{Hom}(-,A) \cong \operatorname{Hom}(-,A') \Rightarrow A \cong A'$, proof verification
154363
Prove that $\text{aff}(X) = \text{aff}(\text{closure}(X))$
16602
Proving $M_n(I)\lhd M_n(R)$ and proofs about ideal rings.