Gruppo libero: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
→‎Proprietà universale: Tolto grassetto secondo WP:STILE
m →‎Proprietà universale: Tolto grassetto secondo WP:STILE
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 identità. In generale la base di un gruppo libero non è unica.
 
== Sottogruppi ==