isomorphism between $k[[x]]$ into $\varprojlim_n k[x]/(x^n)$
41742
inverse limit of $k[x]/(x^n)$
40321
$\operatorname{Aut}(\mathbb Z_n)$ is isomorphic to $U_n$.
25383
Morphism between quotient sheaf ($K_{X}/\mathcal{O}_{X}$) and $\bigoplus_{x\in\mathcal{X}}i_{x,*}(K(X)/\mathcal{O}_{X,x})$
55393
Existence of a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot)$
19346
Isomorphism of affine varieties
13761
Automorphisms in $\mathbb{Z}_n$
70249
Irreducibility of Polynomials in $k[x,y]$
41846
$(\mathbb{R}^n,\|\cdot\|_{p})$ is isometrically isomorphic to $(\mathbb{R}^n,\|\cdot\|_{q})$ iff $p=q,$
116594
Finite fields are isomorphic
115129
Constructing an explicit isomorphism between finite extensions of finite fields
73652
Exhibiting an isomorphism between two finite fields
134458
Isomorphisms preserving integral domains and fields
90071
Why don't we have an isomorphism between $R[x]$ and $ R[[x]]$?
14830
A transformation of F[x]
145221
Ring isomorphism (polynomials in one variable)
67199
Isomorphism $H_n(D^n, S^{n - 1};A)$ and $A$
91911
A linear operator between $C[0,1]$ and $C[0,1]$ defined as $Tf = f + \int f$; Show $T$ is an isomorphism