Let G be a group with generators a" v = l, ■ • • , n. An application of any automorphism A of the free group on the a, or, equivalently, of a sequence of P-transformations (defined below) maps G upon an isomorphic group G'. If G is defined by a set of prescribed relations for the a" G' can be defined by transcribing the original relations in terms of the A_1a,. Even if G is defined by a single relation, it is not known how far the set of all groups with a single defining relation and isomorphic to a given one is determined by the transformations A. However, Grushko's theorem [2]2 implies that at least the decomposibility of G into a free product of two of its proper subgroups can be made obvious by applying a properly chosen A. We shall show that for a G with a single defining relation a result of J. H. C. Whitehead [l] provides a constructive method for finding A and some simple tests for the free indecomposability of G.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.