I improved the page a bit more.
]]>There’s a lot more about this group on another page, so I added this:
This group is also called the compact symplectic group, since both it and the symplectic group are real forms of the a complex Lie group. See more at compact symplectic group.
]]>added cross-pointer
A Riemannian manifold of dimension is called a quaternion-Kähler manifold if its holonomy group is a subgroup of the direct product group .
]]>added mentioning of the first two exceptional isos and
]]>