on magnus' freiheitssatz and free polynomial algebras

The freiheitssatz of magnus for one-relator groups is one of thecornerstones of combinatorial group theory. in this short note which is mostlyexpository we discuss the relationship between the freiheitssatz and corre-sponding results in free power series rings over fields. these are related toresults of schneerson not readily available in english. this relationship usesa faithful representation of free groups due to magnus. using this method infree polynomial algebras provides a proof of the freiheitssatz for one-relationmonoids. we show how the classical freiheitssatz depends on a condition oncertain ideals in power series rings in noncommuting variables over fields. aproof of this result over fields would provide a completely diferent proof of theclassical freiheitssatz.