Pinter's Abstract Algebra, Lemma in Chapter 26
8317
Understanding a proof of "If $R$ is an integral domain, then $R[x]$ is an integral domain as well".
3902
Does $k+\aleph_0=\mathfrak{c}$ imply $k=\mathfrak{c}$ without the Axiom of Choice?
136943
A problem with a proof about formal series in Lang's Algebra
47670
Algebraic proof of $\sum_{i=0}^k{{n \choose i}{m \choose {k-i}}}= {{m+n}\choose k}$
62484
Proving Hartshorne's Exercise I-1.9 by using exercise I-1.8
109325
Euclid Lemma proof reasoning
138851
Euclid's Lemma in a PID: irreducibles are prime: $ \pi\mid ab\Rightarrow \pi\mid a\,$ or $\pi\mid b$
158426
Proving lemma about centrality of idempotent elements in a Ring with no nilpotent elements.
81221
The prime number theorem over a finite field - Lang's *Algebra*, Chapter V, Exercise 23(b)
38963
Ideals in ring of continuous functions $\mathcal{C}[0,1]$ ... NBHM- Algebra
91947
Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
24561
$\mathbb S_n$ as semidirect product
144502
Showing that $A\cap B = A\setminus (A\setminus B)$
118189
Proving the pairing axiom from the rest of ZF
123419
Abstract algebra: homomorphism and an element of a prime order
60674
Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma
57105
Probs. 12 & 13 , Sec. 2.3, in Herstein's TOPICS IN ALGEBRA, 2nd ed: Existence of only right-sided identity and right-sided inverses suffice