如何证明第二个等式得到第一个同构群的概念？
如果存在群同态A：G～H和B：H～G，则两组G和H被称为同构，使得在两个可能阶中的每一个依次应用这两个函数，给出了G和H的恒等函数，即A（B（H））＝H和B（A（G））＝G，在G和H中的任何G，从抽象的观点来看，同构群携带相同的信息。例如，证明g的某个元素g的g•g=1G等于证明a（g）*a（g）=1H，因为将a应用于第一个等式得到第二个等式，而将b应用于第二个等式得到第一个等式。
将a应用于第一个等式得到第二个等式