[假设H是一个组，'a'是H的任意元素，然后通过为H中的所有x设置h（x）= ax来定义函数h：H→H（我认为这个例子很有意义到目前为止，请在评论中显示lmk）。
现在'h（x）= ax'中的运算不是乘法，而是“对两个运算”，其中一个将“使用组H的未命名运算将a和x与该给定运算放在一起“;这就是为什么证明这是双射的变得如此困难的原因（因为我无法绕开它接受逆的方式，更不用说如何证明它了……）
到目前为止，我一直在思考，如果我们引入并分配id_H作为H的标识元素，那么我们可以显示对其应用的某些值，该值将使我们返回该标识元素（从而表明它具有标识）；但在这些步骤之间我缺少一些主要的关键思想]
感谢所有输入/帮助
由于H是一个组，a是H的元素，所以根据组的定义，a具有一个倒数，将其称为b。
为了证明注入，如果h(x)=h(y)，我们有ax=ay，然后是bax=bay，我们得到ax=ay。
[为了证明假设，给定y中的H，我们只需要验证h(by)=y，显然by在H中。