so you see the homomprphism between this ring of automorhisms to the homomorphic image of this ring under our original homomorhism is actually an isomorphism, because there always exists a homological chain of isomorhisms due to the fact that every group is isomorphic to a direct external product of groups of groups of natural numbers, and this tells us a lot about society