In Cohen forcing $\mathrm{Fn}(\kappa\times\omega, 2)$ prove $(\lambda^\vartheta)^{M[G]} = ((\max\{\lambda, \kappa\})^\vartheta)^M$
140662
Powers of infinite cardinals in the generic extension
115606
Proofs involving $ (A\setminus B) \cup (A \cap B)$
16602
Proving $M_n(I)\lhd M_n(R)$ and proofs about ideal rings.
154117
Showing $[(fg)h]_n = [f(gh)_n]$ in the linear algebra $F^\infty$
22149
How to prove $dim(Ker (A- \lambda I))=dim (Ker(A^t- \lambda I))$?
75009
$A = \bigcap_{\mathfrak{p} \in \text{Spec(A)}} A_{\mathfrak{p}} = \bigcap_{\mathfrak{m} \in \text{MaxSpec(A)}} A_{\mathfrak{m}}$
95806
Proving commutativity of convolution $(f \ast g)(x) = (g \ast f)(x)$
93621
Prove that $\mathbb{Z}[\omega]$ is an integral domain
156727
A step in the proof of Characterization of $W^{1,\infty}$
97583
Let $\alpha, \beta, \gamma$ be cardinals, $\beta \leq \gamma$, prove $\alpha ^{\beta}\le \alpha ^{\gamma}$
2235
Showing $\text{Aut}_\mathsf{Grp}(\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}) \cong S_3$
117533
$|A-\lambda I|$ and $|\lambda I-A|$
81879
$Av=λv$ basis proof problems
147888
Show that $M=\bigcap_{\mathfrak{p}\in\operatorname{Spec}(R)}M_\mathfrak{p}=\bigcap_{\mathfrak{m}\in\text{Max}(R)}M_\mathfrak{m}$ for certain $M$.
134840
Generators and relations for $\text{PSL}(2, \mathbb{F}_q)$
25498
Prove that $\omega + \omega_1 = \omega \cdot \omega_1 = \omega^{\omega_1} = \omega_1$
23037
Computing the order of $\mathrm{SL}_2(\mathbb F_p)$ as the kernel of $\mathrm{GL}_2(\mathbb F_p)$