Gruppo libero: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m nota disambigua |
|||
Riga 36:
La costruzione della sezione precedente dimostra l'esistenza di un gruppo libero su ''S'' comunque sia scelto ''S'': si può scegliere infatti ''F'' = F(''S'') e ''i'' come la proiezione naturale di ''S'' in F(''S'').
L'insieme ''S'', identificato con la sua immagine ''i''(''S''), è detto '''base''' di F(''S''). Più in generale, un sottoinsieme ''S'' di un gruppo libero ''F'' è detto base se ''F'' è un gruppo libero su ''S'' rispetto alla funzione
== Sottogruppi ==
|