Proving that $K\otimes_{\mathbb{Q}}\mathbb{C}\simeq \prod_{\tau}\mathbb{C}$
32302
Neukirch’s Number Theory – why is $ℂ \otimes_ℚ K → K_ℂ,~z \otimes a ↦ (j(z)a)_τ$ an isomorphism?
158343
how to prove an element is non-zero in a tensor-product
117688
Prove that $\def\Aut{\operatorname{Aut}}\Aut(\mathbf{Z_{n}})\simeq \mathbf{Z_{n}^{*}}$
18540
Isomorphism from $\mathbb{C}[G]$ to $\prod_{i=1}^h M_{n_i}(\mathbb{C})$.
17241
How to prove $ \prod_{d|n} d= n^{\frac{\tau (n)}{2}}$
16548
Prove $(x+y) \text{ mod } n = ((x \text{ mod } n)+(y \text{ mod } n)) \text{ mod } n,\,$ and product analog
5069
$GL_n(\mathbb F_q)$ has an element of order $q^n-1$
134885
proving that $\mathbb{Q}(\sqrt{5}, \sqrt{6}) = \mathbb{Q}(\sqrt{5}+ \sqrt{6}) $
27472
Prove that $PSL(2,\mathbb{Z})$ is free product of $C_2$ and $C_3$
62755
The simplest way of proving that $|\mathcal{P}(\mathbb{N})| = |\mathbb{R}| = c$
14815
How prove this $\prod_{1\le i<j\le n}\frac{a_{j}-a_{i}}{j-i}$ is integer
70066
Show that product of primes, $\prod_{k=1}^{\pi(n)} p_k < 4^n$
111129
Show that $[K:F]_s = [K:L]_s [L:F]_s$ and $[K:F]_i = [K:L]_i [L:F]_i$.
62224
Need help with proof for Dedekind cuts on $\mathbb{Q}^+$
145752
Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$
52483
Showing that $(m)\cap (n)=(\operatorname{lcm}(m,n))$ and $(m)+(n)=(\gcd(m,n))$ for any $m,n\in\mathbb{Z}$
13606
Prove that $K$ is isomorphic to a subfield of the ring of $n\times n$ matrices over $F$.