Suppose $G$ a group and $H \triangleleft G$ (proper normal subgroup). The simplest way to visualize this basic setup is that (Venn-wise) of a bubble ($H$) into a bigger one ($G$), sharing the unit and more.
Now, any given $h \in H$ determines an equivalence class of $H$ by conjugacy, namely $O_h:=\lbrace g'^{-1}hg', g' \in G\rbrace$, and -for any $g \in G$- an equivalence class of $G$, namely $C_G(h)g$ (right coset by $g$ of the centralizer of $h$ in $G$).
Is there any "topologically coherent" visualization of the two "manifolds" $O_h$ and $C_G(h)g$ in the naïve picture of $G$ and $H$ above?
Addendum
I've realized that the naïve setup in the opening is actually inconsistent: $G$, its "slicing" (or "foliation") into "sheets" (or "shells") $Hg$, and $H$'s partitioning into "fibers" or "orbits" $O_h$, must have "least dimension" 3, 2 and 1, respectively. Therefore, my question is rather turned into an investigation on the openness/closure of $Hg$'s and $C_G(h)g$'s in $G$ and $O_h$'s in $H$, and on their mutual intersections (if any).
In my question, "topologically coherent" meant not contradicting -and possibly visually hinting- algebraic facts. It seems to me that the model 1$\div$12 hereafter is coherent for a group $G$ which fixes the conjugacy classes of $H$ under conjugation (such that $C_G(h)g \cap H \ne \emptyset, \forall h \in H, g \in G$), or perhaps even a specialization of it (see item 10):
The following picture shows the whole.
Do you see any contradiction or inconsistency?
Do you see other algebraic facts that I could add to the model as visual feature?
Do you see some "morphing" of the above model into one representing more general groups?