Note on the group of isomorphisms

G. A. Miller

DOI: https://doi.org/10.1090/S0002-9904-1900-00718-X

1900-05-01

Abstract:LET SV a2, ••', sg represent all the operators of a group G and let tasa correspond to sa (a = 1, 2, •••, g) in any given simple isomorphism of G with itself. I t is evident that ta is some operator of G. When G is abelian these £a's must constitute a group T which is isomorphic with (?.* In this isomorphism, ta evidently can not be the inverse of sa unless sa = 1. As this condition is sufficient as well as necessary, we have THEOREM I.—Every simple isomorphism of an abelian group A with itself may be obtained by 1° making A isomorphic with one of its subgroups or with itself in such a manner that no operator corresponds to its inverse, and 2° making each operator of A correspond to itself multiplied by the operator which corresponds to it in the given isomorphism. The simplest case that can present itself is the one in which the subgroup of G, which corresponds to identity of T in the given isomorphism between G and T, includes T. The resulting simple isomorphism of G with itself must correspond to an operator in the group of isomorphisms of G, whose order is equal to the operator of highest order in T. When the order of T is an odd prime number p, or the double of an odd prime, only one other case can present itself ; viz, the case in which T corresponds to itself, or to its subgroup of an odd prime order, in the given isomorphism between G and T. The resulting simple isomorphism of G with itself may clearly correspond to a cyclical group of order p — 1, or to any one of its subgroups in the group of isomorphisms of G. These results lead to the following