Groups with One More Generator than Relators.
M. V. Sapir ha formulato la seguente congettura: non esiste un semigruppo infinito, finitamente generabile, soddisfacente l'identità e immagine omomorfa di un sottosemigruppo di un gruppo nilpotente. Se ciò vale, ogni gruppo risolubile con una base finita per le sue identità semigruppali è abeliano o di esponente finito. In questo lavoro si prova la congettura di Sapir quando l'interderivato è periodico o se è -generato e è periodico.
The main result of this note is that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent if and only if every infinite subset contains two distinct elements , such that