A combinatorial problem in infinite groups.
We report on a partial solution of the conjecture that the class of finite solvable groups can be characterised by 2-variable identities. The proof requires pieces from number theory, algebraic geometry, singularity theory and computer algebra. The computations were carried out using the computer algebra system SINGULAR.
Answering a 1982 question of Sidney A. Morris, we construct a topological group G and a subspace X such that (i) G is algebraically free over X, (ii) G is relatively free over X, that is, every continuous mapping from X to G extends to a unique continuous endomorphism of G, and (iii) G is not a varietal free topological group on X in any variety of topological groups.
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.