设GG为两个群，f:G1三G2，证明a-fdl，其中aG1

首先，我们需要明确一些定义和符号：

- 设GG为两个群，即G1和G2为两个不同的群。
- f:G1三G2，表示f是从G1到G2的一个映射或者函数。
- aG1表示元素a属于G1。

要证明a-fdl，我们需要证明以下两个命题：

- a-fd
- d-fl

证明第一个命题a-fd：

由于f:G1三G2，所以对于任意的aG1，f(a)属于G2。

又因为d是G1的一个元素，所以dG1。

由于f是一个函数，所以对于任意的x，y属于G1，如果x=y，则f(x)=f(y)。

因此，可以得到以下结论：

- f(a)属于G2
- f(d)属于G2
- f(a)=f(d)

由于f(a)=f(d)，所以可以得到a=f^-1(f(a))=f^-1(f(d))=d，即a-fd。

证明第二个命题d-fl：

由于f:G1三G2，所以对于任意的dG1，f(d)属于G2。

又因为l是G2的一个元素，所以lG2。

由于f是一个函数，所以对于任意的x，y属于G1，如果x=y，则f(x)=f(y)。

因此，可以得到以下结论：

- f(d)属于G2
- l属于G2
- f(d)=l

由于f(d)=l，所以可以得到d=f(f^-1(d))=f^-1(l)，即d-fl。

综上所述，我们证明了a-fd和d-fl，因此可以得到a-fdl。