It's very simple: You built a new group on 2 other groups, by putting them together in a vector and applying the group operations component-wise (the Monoid instance exists already). Embedding works because of the law for neutral elements of monoids, for every m:

mempty <> m      == m
m      <> mempty == m