A Magnus theorem for free products of locally indicable groups

Abstract

A one-relator product Gof groups A and Bis defined to be the quotient of their free product A * B by the normal closure, «W»A*B, of a single element W, which is assumed to be cyclically reduced and of length at least 2. For convenience, the group Gwill be denoted by (A * B)/W.