その最初の例は部分群としての対角線埋め込み