\documentclass{article}
\usepackage[all]{xy}
\begin{document}
\xymatrix @R=2mm @C=2mm {
H \ar@{>>}[r] & H\cdot 1= {_H}{I}{_Q} \supset 1\cdot Q & & Q \ar@{>>}[ll]_-{\epsilon}^-{\cong} \\
&\hspace*{3cm} \parallel &&\\
&\hspace*{3cm} \tilde{E}(R) &&\\
&\hspace*{3cm} \cup &&\\
&\hspace*{3cm} R &=&R \ar@{>->}[uuuu]
}
\end{document}
