From Problems 2.9 and 2.11 , the group $\mathrm{D}_2=\{e, a, b, c\}$ has a factor (quotient) group with respect to the abelian invariant subgroup $H=\{e, a\}$,
$$
\mathrm{D}_2 / H=H+M=\{e, a\}+\{b, c\}
$$
with a map $\phi$ from $D_2$ to $D_2 / H$ given by
$\varphi:$
Show that if the space for $D_2$ is equipped with a topology defined by the open sets
$$
\tau=\{\emptyset,\{e\},\{a \mid,\{b \mid,\{c\},\{e, a, b, c\}\},
$$
the inverse $\operatorname{map} \phi^{-1}$ implies that the quotient space has a topology also. ***