Computational check whether $G\cong \tilde G$
139912
Complexity of finite group isomorphism problem
58033
$G\times H\cong G$ with $H$ non-trivial
154959
Proof of associativity of GCD?
38549
$\mathbb{Q}(\sqrt{n}) \cong \mathbb{Q}(\sqrt{m})$ iff $n=m$
42355
Double check $G\sim H$ iff $G≈H$
121707
Generating Elements of Galois Group
114221
A Group $G$ is soluble $\iff G^{(k)}=\{e\}$ for some $k$
85129
If $H_1, H_2\leq G$ are such that $H_1\cong H_2$ then $G/H_1\cong G/H_2$?
74924
identity element of $(D_n ,\gcd)$
43645
Show that $G/H\cong S_3$
158490
Prove that $G^{op} \cong G$ when $G^{op}$ is the opposite group of G
63478
Is $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$?
150199
How to prove for a finite group that $|\langle g \rangle|=o(g)$?
18330
Does $R[x] \cong S[x]$ imply $R \cong S$?
131031
Q: Proving G is d-colorable
35188
Counterexample: $G \times K \cong H \times K \implies G \cong H$
64582
Group covered by finitely many cosets