Proving $\langle \Bbb R,+ \rangle \cong \langle \Bbb C,+ \rangle$ without choice
99382
What is needed to make Euclidean spaces isomorphic as groups?
123458
Prove $( \lnot C \implies \lnot B) \implies (B \implies C)$ without the Deduction Theorem
71064
How to prove that $\langle Av,w\rangle=\langle v,A^Tw\rangle$?
105363
$\mathbb Z^n/\langle (a,...,a) \rangle \cong \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle$
27086
proof for $\langle q| p \rangle = e^{ipq}$
1720
Show that $\langle 2,x \rangle$ is not a principal ideal in $\mathbb Z [x]$
51898
Show that $\operatorname{Hom}_{R} (R,M) \cong M$
43478
Prove that: $ m_a + m_b + m_c \le 4R + r $
30996
If $\langle Ta, a\rangle \in \mathbb{R}$ for all $a$ then $T$ is self-adjoint
27901
Proving $\sum\limits_{i=1}^k | \langle x,v_i \rangle \langle y,v_i\rangle| \leq \|x\|\cdot \|y\|$
50241
Cardinality of the quotient ring $\mathbb Z_5[i]/\langle 1+i\rangle$
102721
Number of elements in the ring $\mathbb Z [i]/\langle 2+2i\rangle$
4240
The proof of Triple Vector Products
25907
Show $a\Bbb Z+b\Bbb Z = \gcd(a,b)\Bbb Z$
108742
Proving commutativity of addition for vector spaces
141258
Why does $M \mathbin{\otimes_R} N \cong M_\mathfrak{p} \mathbin{\otimes_{R_\mathfrak{p}}} N$?
37414
Question on Groups $G=\langle x,y|x^4=y^4=e,xyxy^{-1}=e\rangle$